Vladislav
Автор решил с ФП познакомиться, а не с типами
Миша
> Просто я на js пишу, немного на python.
Haskell будет сильно отличаться, тут еще типизация статическая, я думаю после JS или Python будет проще понять какой-нибудь Clojure, а потом перейти на Haskell, (ну или можно сразу хардкорно типы осваивать)
С Хиндли-Милнером статическая типизация это не больно
Vladislav
без тайпклассов еще нормально
Alexander
вот все эти композиции функций и прочее легко умустить
Alexander
так а я что-то не на то ссылку дал :(
Vladislav
@valsaven вот тебе идея на сотку, попробуй Elm, он как JS только функциональный и со статическими типами
Vladislav
отличная подготовка для Haskell потом
Vladislav
http://elm-lang.org/
Alexander
что за статья вадлера была, где вычисление через takeWhile . map ...
水
Хм, он сам по себе или надстройка над java? Просто я от clojure отказался из-за этого, хоть он и понравился во многом - не хочется лишний бэкграунд из java изучать ещё
水
Мне же не работать на нём, а так... для себя
Vladislav
Clojure над Java, а Elm над JS
Vladislav
т.е. Elm в браузере работает
Alexander
потерялась, почему я думал что это essence of functional programming :/
Alexander
@A64m_qb0 может ты знаешь про какую я думаю?
Зигохистоморфный
что за статья вадлера была, где вычисление через takeWhile . map ...
я только у Брагилевского видел dropWhile через foldr
Зигохистоморфный
это? https://rkrishnan.org/files/wadler-1985.pdf
Anonymous
Alexander
не, другое что-то
Alexander
ну и ладно
A64m
не, другое что-то
может Why calculating is better than scheming?
или вообще не Вадлер, а Why functional programming matters?
Alexander
а наверное
Alexander
@A64m_qb0 да, why functional programming matters
Alexander
спасибо!
水
Про Elm почитал, но мне нужно что-то компилируемое в бинарники, а не браузерное. Буду Хаскель дальше мучить😅
Anonymous
Elm компилируется в джаваскрипт
Aliester
А жаваскрит в бинарник
Alexander
Dmitry
а у нас stack не сломался случаем?
Selecting the best among 12 snapshots...
Downloaded lts-10.1 build plan.
AesonException "Error in $.packages.cassava.constraints.flags['bytestring--lt-0_10_4']: Invalid flag name: \"bytestring--lt-0_10_4\""
Hithroc
А какая версия stack у тебя?
Andrei
я вчера обнаружил, что 1.6.3 вышел
Dmitry
да, в 1.6 починили
Dmitry
редко делаю update/upgrade
Alexander
Alexander
stack upgrade
Dmitry
ага, уже. спасибо
A64m
я тут как-то писал, что один микробенчмарк который я переодически запускаю для новых ghc впервые на моей памяти стал в новой версии (8.2) быстрее работать чем в предыдущей
так вот, в 8.4 он медленнее чем в 8.2 (но не сильно)
Зигохистоморфный
Andrew
Andrew
С Новым Годом, товарищи!
Alexander
\o/
Kirill
Воистину ибо!
Евгений
Желаю в следующем году побольше фич в компиляторе!
Anatolii
С наступающим всех 😉
Anonymous
Потока идей,
скорой сборки.
Λrtem
Здоровья глазам, больше прогулок на свежем воздухе :)
И в целом поярче жизнь вне хаскеля :)
Aliester
Хаскель это жизнь
Donat
haskell is love, haskell is life
Leonid 🦇
Aleksei (astynax)
Pauline
Alexander
в общем всех типов, завершимости, выводимости и отсутствия багов в РТС
Lev
Зигохистоморфный
Pauline
с новым годом)
Hithroc
🎉
Denis
желаю всем софта не из говна и палок(лол, невозможно)
Denis
с новым годом!
kake
с новым годом
A64m
идрис это сапог, топчащий лицо вечно
хаскель - сапог, топчащий лицо по будним дням
Антон
Почему?
A64m
потому что боль, ужас, ничего нет, ничего не работает
Антон
Что, даже тайпчекер не работает?
A64m
случается и такое
Taras 🦀
идрис это сапог, топчащий лицо вечно
хаскель - сапог, топчащий лицо по будним дням
и эрланг топчет по выходным?))
A64m
ну всякие эрланги это уже не сапог, это совсем другой уровень ужаса
Taras 🦀
почему так? разве хаскель так сильно далеко отьехал от эрланга?
( интересуюсь так как хочется переехать)) )
Антон
Ну, за вычетом убогости языка как такового платформа годная вроде
Антон
почему так? разве хаскель так сильно далеко отьехал от эрланга?
( интересуюсь так как хочется переехать)) )
Вопрос некорректен, haskell связан с Erlang генеалогически чуть менее, чем никак
A64m
ну речь-то про языки
A64m
почему так? разве хаскель так сильно далеко отьехал от эрланга?
( интересуюсь так как хочется переехать)) )
конечно далеко, ленивый язык отличается от строго больше чем любые строгие между собой, типизированный отличается от нетипизированных больше, чем любые нетипизированные между собой
A64m
насколько это далеко может понравится - это уже другой вопрос
Taras 🦀
Вопрос некорректен, haskell связан с Erlang генеалогически чуть менее, чем никак
pattern matching ))
мне с моей нубской высоты,
хаскель видится как эрланг на стероидах —
те же возможности + ряд дополнительных
Aliester
OTP нет
Anonymous
"ряд дополнительных" ))