ЕР
ну основной посыл там был в идеологии... мол есть наркоманы рубисты похапэшники которые не верят в типы и верят только в тесты. А есть наркоманы пишущие на хаскелях и идрисах и фапающие на верификацию
Хаскелю до верефикации ещё жить и жить)
Size: a a a
2020 May 29
ЕР
Но система типов там мощная, да
ЕР
Я думаю выразительность языка, позволяющая писать меньше кода тоже имеет значение
SP
ну тогда тебе нужен язык который позволяет себя расширять
SP
а не городить миллионы вариантов синтаксиса
ЕР
ну тогда тебе нужен язык который позволяет себя расширять
В смысле "расширять"?
DE
Отлавливают, в некоторых языках.
Круто, чо. Язык, сам отлавливающий ошибки в твоих формулах :)
ЕР
С композабельностью разных типов из разных библиотек там тоже всё неплохо
ЕР
DE
Отлавливают, в некоторых языках.
И потом оп:
Compile Error: You should use + instead of – for cost calculation.
Compile Error: You should use + instead of – for cost calculation.
SP
DE
С else { ... } смотрелось бы прикольнее
A
мне вот это понравилось
ЕР
Круто, чо. Язык, сам отлавливающий ошибки в твоих формулах :)
Описываешь формулу в типах => доказываешь компилятору что твой код расчитывает именно её, компилятор проверяет ваши доказательства и говорит правильно ли код считает или нет
ЕР
Ну или пишешь тип и говоришь комплитору сгенерировать код по типу :)
ЕР
Но я не знаю на сколько эта штука сильна и чего может генерировать
2020 May 30
KN
