АГ
На монады у меня ушло полгода
Size: a a a
2020 April 09
AA
ну я вообще лет пять использовал хагс как калькулятор, а потом только гхц поставил, но тогда ниче на хаскеле все равно нельзя было
λ
Кому-то, конечно, нужно больше недели, чтобы понять Хаскель на базовом уровне.
но с "пониманием хаскеля на базовом уровне" даже гуэсинг гейм не написать
A
я самое своё норм хаскельное приложение писал как раз на hugs
AA
хотя лет пять это я загнул, конечно
AA
года два
A
причём делал это в vi на sharp zaurus, на самособранном debian под это
λO
Я писал на хаскеле в прод до того как понял монады
A
Я писал на хаскеле в прод до того как понял монады
я тоже
АГ
Я не понял монады до сих пор, это не мешает мне писать в прод.
λ
Я не понял монады до сих пор, это не мешает мне писать в прод.
Программистские монады не понял или категорные?
AA
я самое своё норм хаскельное приложение писал как раз на hugs
а что за приложение?
A
Я не понял монады до сих пор, это не мешает мне писать в прод.
это не было бы проблемой, а вот то, что создатели раста не поняли монады - доставляет кучу проблем.
АГ
Программистские монады не понял или категорные?
Настоящий хаскеллист сейчас бы попросил ссылку на пейпер, где рассказывается разница между ними.
A
а что за приложение?
транслатор какой-то с nponeccop пилили
АГ
это не было бы проблемой, а вот то, что создатели раста не поняли монады - доставляет кучу проблем.
Я почему-то уверен, что все они понимают
АГ
Брагилевский того же мнения. Создатели языков многое понимают, но нам не говорят, во избежание.
A
Я почему-то уверен, что все они понимают
ну да, понимать как это работает немного недостаточно для создателей, надо понимать как это поможет в языке
A
Про Nim, например, так сказали про HKT:
"""
Note that higher kinded types are not as required since you can simply underspecify generic constraints in Nim (Nim's generics are close to C++ templates in this regard).
"""
"""
Note that higher kinded types are not as required since you can simply underspecify generic constraints in Nim (Nim's generics are close to C++ templates in this regard).
"""