[
Не знаю
Size: a a a
2021 May 29
[
Я так понимаю, это анонимный класс, который всасывает себе в поля весь скоп, если список захвата = или &, да?
[
Ну или часть скопа, если список захвата ограничен какими-то переменными
2021 May 30
AK
Что значит hkt в данном контексте?
t
higher kinded types?
KV
Pro tip: для выражения монад типы ваще не нужны
JS
да
[
Особенно если их нет?
AA
в хаскеле нету такого разделения. оно есть в каком-нить ди или там сишарпе где можно промаркировать чистую функцию как чистую с минимальными последствиями или вовсе без них. в хаскеле есть только функции, которые могут быть незаконными из-за всяких лупхолов типа ансейфперфррм или ансейф коэрс, но первые неотличимы от вторых средствами языка
[
в сишарпе нельзя промаркировать чистую функцию
[
а вот constexpr, мне кажется, делает как раз именно это
AA
можно. когда для дотнета делали прувер типа ликвид хаскеля во времена второй-третьей версии завели соотвествующий атрибут и промаркировали библиотечный код некоторый
[
хм, не слышал об этом
[
в общем, ты за разделения языка на тотальную и не-тотальную части?
AA
у меня нету сформировавшейся позиции по этому вопросу
[
звучит как "it depends"
AA
не обязательно
[
Ну всё, у меня в голове теперь любой такой ответ трансформируется в "зависит от обстоятельств", так что считаю, что это "it depends", завернутый в монаду "it depends".
Надо делать join...
Надо делать join...