SA
в частности я не собирал этого раньше
Size: a a a
2021 January 01
SA
а просто думал типа вот
SA
еще
DP
для написания таких языков хаскель сильно проще
возможно, я с хаскелем знаком поверхностно. на уровне прочтения половины книги "learn haskell for a great good" и написания простеньких примеров, книгу дочитать так и не осилил в свое время (лет 10 назад)
DP
потому что по ходу пьесы хаскель показался какой-то неюзабельной херней (если мягко)
DP
не в смысле даже синтаксиса упоротого, когда чуть дальше хеллоуворлда, а отсутсвием гетерогенных списков и прыжками вокруг да около когда нужны состояния
DP
ну то есть для сферической какой-то хрени оно возможно применимо (в условиях вакуума), но так вообще нет. возможно сейчас уже все не так, и обмазавшись дюжиной расширений оно стало +- юзабельным, но тогда так не было и простейшие вещи требовали какой-то ацкой эквилибристики и теории категорий (при чем не к месту)
DP
хотя вывод типов и разные даже веселые синтаксические штучки были весьма прикольными. но тот же typed racket, на сколько я понимаю, многое из этого взял
DP
локальный вывод типов и даже синтаксис частично
SA
там кстати много текстов про вывод типов
SA
в целом есть куча вранья про нынешний борщ
SA
например народ любит пиздеть про то как клос — это просто библиотека
SA
такой де у нас язык мощный
SA
хотя это полная хуйня и никакая клос не библиотека
SA
вы скажете — но ведь он может быть библиотекой
SA
может
SA
еще он может хуев пососать
SA
томущо будет все медленно как в жопе (хотя в жопе все не так уж и медленно так что будет еще хуже)
SA
а вот надо чтоб он был таки библиотекой
SA
я про вывод типов и вообще про систему типов молчу