А Rust разве идеалогически не к камлу ближе?
не особенно. ЯП с ГЦ в принципе другие, да и всяких характеризующих окамл фич вроде функторов и объектов на row-полиморфизме в расте нету
A64m
Alexey
не особенно. ЯП с ГЦ в принципе другие, да и всяких характеризующих окамл фич вроде функторов и объектов на row-полиморфизме в расте нету
Зато есть возможность определять переменную с тем же названием сколь угодно раз какого угодно типа в одном скопе 😊
Alexey
раст явно на хаскель похож меньше чем на камло
A64m
не в одном, там на каждое объявление скоп свой, они вложенные просто
Anonymous
бесполезная информация
A64m
но на хаскель-то конечно меньше похож, ленивые и чистые языки тем более отличаются
A64m
но главное средство организации кода родственное с главным средством организации кода в хаскеле
Евгений
A64m
да
A64m
они конечно не такие как в хаскеле, но больше на них похожи чем на эмельные модули
Евгений
По-моему они практически такие как были в hs98
A64m
hs98 были с hkt и сиротами, ну и ньютайпы там были, которые фактически такое средство ручного запечатывания, вот с теми которые из первого драфта лучше сравнивать, где ничего этого не было
A64m
вообще раст редкий случай, когда действительно какие-то хаскельные фичи повлияли, такого почти не бывает
Ilyas
Замечаю что некоторым трейтам вроде Deref реально не хватает гарантии "чистоты"
Ilyas
В том смысле чтобы в compile-time можно было быть уверенным что её реализация после нескольких вызовов на одном объекте не будет разные вещи возвращать, дабы можно было кэшировать
A64m
вообще, на первый взгляд, тайпклассы как раз меньше требуют чистоты языка чем, что довольно забавно, окамловские функторы
A64m
хотя надо тут подумать насчет инстансов, которые из других инстансов собираются
A64m
там наверное та же проблема будет
A64m
ну может не при полнопрограммном анализе, когда каждый словарь тайпкласса только один раз собирается
Andrei
?
навскидку
> the whole “no side effect” thing and “no unpredictable crazy behavior” thing make it an acceptable choice."
– ложь
分解物質
навскидку
> the whole “no side effect” thing and “no unpredictable crazy behavior” thing make it an acceptable choice."
– ложь
ну это про erlang а не про haskell, не по основной теме
Andrei
ну это про erlang а не про haskell, не по основной теме
он даже с erlang не в состоянии разобраться, а псит на haskell
A64m
в эрланге сайдэффекты-то есть
Andrei
"IO захотели?! так в этом хаскели он через МОНАДЫ!!!1111"
Andrei
фубл№
A64m
ВОТ УЖАС-ТО
分解物質
"IO захотели?! так в этом хаскели он через МОНАДЫ!!!1111"
нет такого текста в источнике
Andrei
"не страшно? вот тебе картинку из учебника по теоркату про МОНАДЫ!!!!111 и ещё раз: МОНАДЫ!!!111"
kitsu
Andrei
нет такого текста в источнике
два абзаца перед СТРАШНОЙ КАРТИНКОЙ ИЗ УЧЕБНИКА ПО ТЕОРКАТУ (но это не точно)
Andrei
компилятор ему гигабайт занимает. то ли дело гигабайт на precompiled headers с объектниками отжалеть.
A64m
так это фактически и есть гигабайт прекомпилед хидерс с объектниками
Andrei
это божья роса всё
Andrei
не мешай
Andrei
> 3. haskell goes ham with the whole ‘purely functional’ thing. purely functional languages are cool and useful to logicians whose problems only exist on paper in university libraries. for the reasons i’ve listed, haskell is never a smart choice for a real problem
Fear. Uncertainty. Doubt.
分解物質
два абзаца перед СТРАШНОЙ КАРТИНКОЙ ИЗ УЧЕБНИКА ПО ТЕОРКАТУ (но это не точно)
совсем не точно:
"pathways you must use in a functional language really, really do not suit the problems you are trying to solve with a computer."
分解物質
> 3. haskell goes ham with the whole ‘purely functional’ thing. purely functional languages are cool and useful to logicians whose problems only exist on paper in university libraries. for the reasons i’ve listed, haskell is never a smart choice for a real problem
Fear. Uncertainty. Doubt.
> haskell is never a smart choice for a real problem
причины были нормально изложены при чём тут "Fear. Uncertainty. Doubt."?
A64m
РЕАЛЛИ РЕАЛЛИ РЕАЛЛИ, ТРАСТ МИ
Tuntz
у фанбоев хаскеля припекло
доня.
Tuntz
а хаскель как был нечитаемым говном в духе перла так и остался
Andrei
> haskell is never a smart choice for a real problem
причины были нормально изложены при чём тут "Fear. Uncertainty. Doubt."?
потому что ОП натягивает сову на глобус в каждом абзаце?
分解物質
Tuntz
разработчики раста хотя бы об эргономике думают, из кожи вон лезут чтобы писать было приятно
Andrei
пример?
> a realistic answer is “not much” as haskell has failed to escape academia to any reasonable degree for several reasons i’ll get to in a bit
A64m
Andrei
дальше можно не читать
Alexander
кстати Раст гораздо менее читаемый чем haskell
Alexander
чего бы это ни значило
Tuntz
Andrei
начинайте двигать ворота
分解物質
> a realistic answer is “not much” as haskell has failed to escape academia to any reasonable degree for several reasons i’ll get to in a bit
> haskell has failed to escape academia to any reasonable degree
> reasonable degree
смотря что под этим подразумевалось
A64m
и где же хаскель в проде?
очень смешно, конечно, когда любитель экзотического языка задает такой вопрос любителю другого экзотического языка
Alexander
standard chartered, Amgen, pfizer
Alexander
куча всяких бирж и других банков
Andrei
опять божья роса
Loo
Tuntz
очень смешно, конечно, когда любитель экзотического языка задает такой вопрос любителю другого экзотического языка
ну Раст не экзотический, он просто очень поздно стабилизировался ) и ещё много чего недопилено
Tuntz
например, асинхрон
Andrei
ну Раст не экзотический, он просто очень поздно стабилизировался ) и ещё много чего недопилено
which is exactly the definition of
Loo
ну Раст не экзотический, он просто очень поздно стабилизировался ) и ещё много чего недопилено
он просто очень игрушечный
Loo
кто вообще
Loo
на нём пишет
doc
никто