AV
Они оба сводятся к этой проблеме
Size: a a a
2020 May 16
YS
Ну допустим, даже если не рассматривать это
AV
На самом деле в фиксированном случае, а не в обобщенном, я думаю как-то можно решить
YS
Александр ведь выдвигает тезис что "ФМ лучше потому что можно написать так, что абстракции не протекут, а в ФТ так не получится", насколько я помню, пусть меня поправят
AV
Есть такое
AV
Если я правильно понял в HFM мы пишем основной интерпретатор в одном месте, значит у нас доступен весь стейт в одном месте, а значит не будет проблемы, что исключение протекает по всем веткам сразу в т.ч. в catch ветку
AV
Но это сложно, надо брать листок и думать
YS
Ну я даже про обычные ФМ мало что знаю и никогда не пользовался)
YS
Но думаю, если мне показать код с ними, и сказать, что так сделать в ФТ нельзя, я думаю, я смогу его прочитать и проверить это утверждение на уровне моих знаний
R
Но думаю, если мне показать код с ними, и сказать, что так сделать в ФТ нельзя, я думаю, я смогу его прочитать и проверить это утверждение на уровне моих знаний
я уже проверил и нашел его ложным: https://github.com/effectfully/sketches/tree/master/hierarchical-free-monads-mostly-pointless
R
В хаскеле?
ага
R:
ага
Заучит как неправда
R
Заучит как неправда
почему?
YS
я уже проверил и нашел его ложным: https://github.com/effectfully/sketches/tree/master/hierarchical-free-monads-mostly-pointless
О, спасибо!
R:
почему?
Ну, в хаскеле не приходилось ни разу дебаггером пользоваться. Думаю тут много таких как я. Ребята по-опытнее пользовались, но очень мало, я предполагаю
ΛO
Ну, в хаскеле не приходилось ни разу дебаггером пользоваться. Думаю тут много таких как я. Ребята по-опытнее пользовались, но очень мало, я предполагаю
я пользовался пару раз, помогло, но это очень больно
ΛO
и там какой-то не очень сложный код был
ΛO
Всё правильно, дебаг в хаскеле в привычном императивном понимании - это крайне малополезная вещь. Да и в императивном программировании тоже. В смысле, это полезная вещь, но разработчик должен уметь обходиться без дебага. Дебаг нужен для каких-то совсем сложных кейсов. А так это инструмент, который приводит к ленности мозга.
Но я же не запрещаю!
Но я же не запрещаю!
да, можно писать идеальный легко тестируемый в репле код, но как минимум не всё всегда зависит от нас, и дебагер часто очень полезен
да, все умеют без него, но это не значит, что с ним не было бы легче
да, все умеют без него, но это не значит, что с ним не было бы легче
АГ
Нет, не все умеют без него
АГ
Есть даже debug driven development