AK
каких именно яп ? )
Ну из очевидных ocaml/reasonml, Haskell, purescript, Scala, kotlin. Поменьше знают про это в typescript, JavaScript.
Size: a a a
2020 August 03
S
Ну из очевидных ocaml/reasonml, Haskell, purescript, Scala, kotlin. Поменьше знают про это в typescript, JavaScript.
# 1 + 2.5;;
^^^
This expression has type float but is here used with type int
^^^
This expression has type float but is here used with type int
AK
Сильная типизация? Тоже хорошая штука
ЕР
# 1 + 2.5;;
^^^
This expression has type float but is here used with type int
^^^
This expression has type float but is here used with type int
ЕР
Определи себе операцию сложения и складывай хоть объекты)
AK
Можно самому комплексные числа запилить)
A
Это не показательный пример.
а вот теперь складывай
a :: Int
a = 5
b :: Float
b = 1.5
а вот теперь складывай
VS
Оо хаскель пошел в пхп чатике. Вот это уровень))
AL
Vlad Sobenko
Оо хаскель пошел в пхп чатике. Вот это уровень))
уровень чего?
A
уровень чего?
Ходят мифы, что хаскель сложный. И без степени в теории категорий там делать нечего.
A
Типичное "монада - это всего-лишь моноид в категории эдофункторов, чего сложного"
ЕР
Ходят мифы, что хаскель сложный. И без степени в теории категорий там делать нечего.
Я по прежнему думаю что рассказы о его простоте тоже немного лукавство
AK
Ну хаскель да, не самый простой язык. "А вот тут мне бы лог добавить..."
A
Я по прежнему думаю что рассказы о его простоте тоже немного лукавство
Почему?
A
Ну хаскель да, не самый простой язык. "А вот тут мне бы лог добавить..."
Это скорее сложность в построении архитектуры программы.
AK
Это скорее сложность в построении архитектуры программы.
Ну она есть в хаскеле и ее нет в условном пыхе, могу echo/printf/logger почти где угодно ляпнуть
ЕР
Почему?
Потому что сложный он)
Погружаться во всякие библиотеки/линзы/монадные трансфомеры можно долго
Погружаться во всякие библиотеки/линзы/монадные трансфомеры можно долго
S
Потому что сложный он)
Погружаться во всякие библиотеки/линзы/монадные трансфомеры можно долго
Погружаться во всякие библиотеки/линзы/монадные трансфомеры можно долго
а главное какой в них смысл
ЕР
а главное какой в них смысл
Смысл в них есть.