M
Size: a a a
2020 February 23
G
Я как раз, кстати, надыбал книжку по Идрису
M
Да закопай идрис нахуй
M
Хаскель вот збс
G
Почему?
G
Идрис круче же
M
А чем?
G
Полноценными зав. типами как минимум
G
Ещё у него есть тоталити чекер
G
Ещё он проверяет доказательства законов для эндофункторов/монад/etc
M
Так нахуй
M
Тут нужен веча
G
Мне хаскеллисты в расточатике сказали, что нет в Хаскелле зав. типов полноценных
G
Тут нужен веча
Он по-моему ушёл отсюда
ED
Вроде как я понял щас типикал штука купить пак нацепить на него логики нацепить купленное ui и высрать это как игру
Не исключено, что это одна из причин indiepocalypse.
ED
Да у него каша в голове с парадоксом какого то блять блаба приперся. Прежде чем рассуждать про таки веши как мощность языков ее нужно научиться определять за пределами системы типов
Да не, как я понял автор статьи за Rust.
M
Да не, как я понял автор статьи за Rust.
Там сложно, парадокс блаба какой то хотя в принципе никакого парадокса и нет и прочее
M
У амеров считается высшим пилотажем придумать какую нибудь империческую хуету и толкнуть в массы
M
Типа ГоуТу говно