MK
Или мне этот мл нужен раз в жизни, чтобы какой-то код портировать в другой язык?
Size: a a a
2020 June 23
АВ
А если я просто на гитхабе код читаю?
не думаю что с хаскелем на гитхабе проще
YP
Спасибо
higer kind https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
gadt https://www.cl.cam.ac.uk/~jdy22/papers/first-class-modules.pdf
по сабтайпингу интересное https://arxiv.org/abs/1905.06546#:~:text=First%20class%20type%20equalities%2C%20in,in%20most%20functional%20programming%20languages.
gadt https://www.cl.cam.ac.uk/~jdy22/papers/first-class-modules.pdf
по сабтайпингу интересное https://arxiv.org/abs/1905.06546#:~:text=First%20class%20type%20equalities%2C%20in,in%20most%20functional%20programming%20languages.
_:
Что за редактор? Код выглядит классно
VS Code + Fira Code + лигатуры + One Dark Pro Theme
MK
higer kind https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
gadt https://www.cl.cam.ac.uk/~jdy22/papers/first-class-modules.pdf
по сабтайпингу интересное https://arxiv.org/abs/1905.06546#:~:text=First%20class%20type%20equalities%2C%20in,in%20most%20functional%20programming%20languages.
gadt https://www.cl.cam.ac.uk/~jdy22/papers/first-class-modules.pdf
по сабтайпингу интересное https://arxiv.org/abs/1905.06546#:~:text=First%20class%20type%20equalities%2C%20in,in%20most%20functional%20programming%20languages.
Сохранил
АВ
VS Code + Fira Code + лигатуры + One Dark Pro Theme
rainbow braces ещё наверное
_:
Ага
AA
Отлично, давайте всё валить на тулинг
без тулинга все равно не посмотреть типы там где это может быть интересно внутри фкнкции и т.д.
AA
эт про то что в стеке бэкпак не поддерживается?
да
АХ
рекорды, строчный полиморфизм, модули, сигнатуры, как следствие тайп-фемили и гадт как совершенно естественная часть языка, открытые и расширяемые перечисления, в чем-то местами более удобный паттерн-матчинг, симпотичный синтаксис... И, как буд-то этого было мало — полноценное опционально иммутабельное ООП. Которое никто не пользует)
Вот не надо про синтаксис. Его так какие-то наркоманы придумывали
АХ
Еще очень весело когда типы не сходятся не там где ошибка. Сигнатуры хотя бы ограничивают полет мысли тайпчекера одной функцией
YP
буд-то в хаскеле синтаксис хороший... Отступы это, конечно, приятно, но... Где-то правоассоциативность, где-то левоассоциативность, где-то есть скобочки, где-то нет, приоритет зависит от конкретной декларации; где-то indentation, где-то alignment; отступы везде разные, а вертикальное выравнивание хаотичное; сигнатуру и определение функции нельзя написать в однострочник без расширений языка... О да, кстати, расширения...
YP
ну и вечный адок с инстансами, которые в уме не выведешь, так что без тулчейна код тоже не особо читается, если не сам его писал.
AA
синтаксис в хаскеле лучше, но и в окамле норм. не то что в скалах-раста-свифтах-котленах всяких
YP
синтаксис в хаскеле лучше, но и в окамле норм. не то что в скалах-раста-свифтах-котленах всяких
ну это да. Есть в окамле что-то лисповское в синтаксисе.
YP
AA
это про агду же, какая кложа
к
а я и не шучу