AA
они и сейчас ограниченно есть
ну я и говорю, типа как в хачкеле "есть"
Size: a a a
2020 May 10
NV
В хачкеле их нет
KV
они и сейчас ограниченно есть
Насколько ограниченно? Ассоциативность конкатенации чекается?
AA
В хачкеле их нет
ну да, как и в скале
AA
Насколько ограниченно? Ассоциативность конкатенации чекается?
настолько, что их нет
KV
настолько, что их нет
Ну в хаскеле-то вроде можно написать, чтобы чекалось, вряд ли не напоровшись на бесконечную рекурсию, но всё-таки
AA
Ну в хаскеле-то вроде можно написать, чтобы чекалось, вряд ли не напоровшись на бесконечную рекурсию, но всё-таки
для этого просто завтипы не нужны
𝛈µ
Scala лучше, ведь там есть целая библиотека для DI, которой больше нигде нет, схавайте вот это, хаскелисты
это, кстати, святая правда
𝛈µ
вы эту библиотеку просто не пробовали
KV
А обязательно на скале писать, чтобы её попробовать?
𝛈µ
можно на кошкеле попробовать переимплементировать, но вряд ли получится так же заебись
KV
Если я правильно помню, то там по сравнению с регистри только связные подграфы можно вывести, чтобы посмотреть, чё не так
𝛈µ
по сравнению с регистри там можно знать конечный результат, не выполняя эффектов
KV
Вижу, какой-то граф там таки можно посмотреть
KV
по сравнению с регистри там можно знать конечный результат, не выполняя эффектов
А какие эффекты нужны регистри?
KV
Впрочем, я всё равно не вижу в этом чего-то ужасного, оно же один хрен где-то около IO будет
R
околоИО
2020 May 11
R
Aminion
https://github.com/moonad/Formality
Уже был трибунал по этому?
Уже был трибунал по этому?
Мне нравится проект, но то ли я что-то не понимаю, то ли у них Очень Странный Тайпчекер, см первую часть вот этого коммента: https://github.com/moonad/Formality/issues/54#issuecomment-581072754
