Д
кстати, насколько мне известно, ТС не совсем надмножество ЖС
Size: a a a
2021 April 05
AK
Хаскель тож из ML, но разве код на Хаскеле не выполнится в Идрисе, ну какое то основное стандартное подмножество?
JS
категорически не согласен.
есть языки, определённые реализациями,
и есть языки, определённые спецификациями.
в обоих случаях это языки
есть языки, определённые реализациями,
и есть языки, определённые спецификациями.
в обоих случаях это языки
JS
ок, я их плохо знаю, отбросим сравнение
WB
Не любой хаскель код выполнится в идрисе
AK
Некое стандартное подмножество, чтото на prelude например
D
почему? любой жс скомпилится тсом
JS
там отличается самое главное — аннотация типа. в Хаскеле
а форма
::, в Идрисе :а форма
(foo (bar x) (baz y)) общая не только для Идриса и Хаскеля, но и для всех ML, лиспов и лямбда-исчисления ЧёрчаWB
Еще в Идрисе аннотации типа обязательны, да и много еще чего отличается
D
кун же про науку говорил, а мы тут про кодинг, хехе
JS
как этот термин из философии науки в языки программирования попал, тоже Брагилевский рассказал
D
ну и че, он рассказал ещё, что парадигмы можно совмещать?
AK
А LiquidHaskell это получается линтер для Haskell?
JS
не только можно, но их уже совместили все кому не лень
JS
скорее, прувер
AK
Не все, Голанг к примеру не совмещает пока
JS
он может и обычный хаскельный код проверять, и оперировать доказательствами на своём языке
JS
вот ему как раз лень
[
Ленивый, получается. Прям как хаскель.
JS
Хаскель не ленивый,
например, когда ты вводишь кучу строчек, мапаешь их и выводишь, Хаскель сразу начинает показывать результат, в отличие от других языков, где обычно весь файл программа потащит в память. Хаскель резвый!
например, когда ты вводишь кучу строчек, мапаешь их и выводишь, Хаскель сразу начинает показывать результат, в отличие от других языков, где обычно весь файл программа потащит в память. Хаскель резвый!
main = do
contents <- getContents
let inputs = lines contents
let outputs = map process inputs
for_ outputs print