the (ST m () [lbl ::: State Innocent :-> State Toxic]) Oleg

Toxic ? а это причем?

Итого: ты отстой

the Oleg это другой

так я ж написал в типе какой :)

а

идрисошутка

а это сингтон?

а то может там много таких Олегов

главное чтоб преобразовывал как надо

the Oleg это другой

Посмотрим, посмотрим. Вот как дочитаю всё про зависимую линейщину, да как налеплю своих папиров, так пойдут liboleg и во всех языках в мою честь

зависимая линейщина это другое направление

зависимая линейщина независима!

а ну хотя оно не занято

зависимая линейщина это другое направление

Вот именно

Люди и забудут, что когда-то программисты были настолько тотально ленивые, что вместо тотальных компиляторов использовали левые вычисления

И кто-нибудь откопает ваши эти freer или там tagless final, и подумает "Неужели было больше одного великого кодера по имени Олег"

в смысле в Either-ах использовали только Left?

в смысле в Either-ах использовали только Left?

Теперь и фиксить жалко

Кто-нибудь пишет на хаскеле что-то серьёзное? На нём вообще пишут реальные проекты с популярностью типа телеграма?

Wire chat

в Facebook много пишут

это из сильно популярных

Кто-нибудь пишет на хаскеле что-то серьёзное? На нём вообще пишут реальные проекты с популярностью типа телеграма?

ну, неужели это хоть сколько то важно

хехе

раз в месяц врывается чел в чат и такой делает типа вброс

в hex research много пишут

Серьёзного много что пишут. Популярное — это несерьёзно.

как будто никто не ждал

раз в месяц врывается чел в чат и такой делает типа вброс

Таки да, было уже такое.

а на вашем хаскеле вообще пишут

Мне было интересно, что на нём делают ибо те начальные знания которые я получил не сильно показывают сильные стороны языка

да ну. обычно на первый взгляд очень даже неплохой язык. потом уже начинаешь думать, что делал бы некоторые моменты иначе

Elm вон написали, Идрисы всякие.

Xmonad даже популярен, хотя я не смотрел его кот.

пандок, хотя я о нём слышал только когда начал учить хаскел и так ни разу не пользовался и больше нигде он не проскакивал на слуху

pandoc много где используется "под капотом"

все что надо то и делают, разве что low-level совсем или системы реального времени или embedded девайсы не делают

хотя для последних код генерят когда надо

Postgrest вполне себе пользуется популярностью в узких кругах

Hakyll, Gitit

git-annex

вообще haskell программы как просто распространяемые не очень удобно

большие нужно меинтейнить зависимости, люди на это ругаются

если собирать на месте, то ещё ghc большой

а для себя фирмы и внутренних продуктов все прекрасно

На месте никто не собирает почти, даже гентушники

А пакетирование хаскеля не сложнее, чем пакетирование C++

Всё таки нативные бинарники, все дела

гентушники собирают, не надо тут сказок

=)

Не все и не всё

покажешь binhost хоть один?

=)

Всяко дебианизировать или рпэмить хаскелепрограммы не сложнее, чем любые другие программы, использующие динамически линкуемые диблиотеки

Даже под виндой .exe/.dll вполне обычные получаются

@sojalei поищи в чатике сообщения от @lightgreen было относительно недавно. ответы на платиновые вопросы

хочется обычно нормально обновлять когда зависимости обновляются

Чем хаскелепрограммы тут отличаются от крестопрограмм?

Ничем

в крестах такой же упоротый ABI?

что транзитивно ломается при изменении зависимостей

Ну ок, мейнтейнеру пакетов больше боли будет. Но конечному то пользователю ок.

Что-то пандок не разламывается у меня на убунте каждый месяц :)

а как часто он обновляется?

Не каждый месяц, конечно, но раз в полгода бывает. Но его зависимости обновляются чаще самого пандока небось. И ничего, всё работает :)

Package: pandoc Version: 1.16.0.2~dfsg-1 ... Depends: pandoc-data (= 1.16.0.2~dfsg-1), libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, liblua5.1-0, libluajit-5.1-2, libpcre3, libyaml-0-2, zlib1g (>= 1:1.1.4) libc точно обновляется достаточно часто

Postgrest вполне себе пользуется популярностью в узких кругах

о, спасибо! Не знал о таком

ну с libc то проблем нет

проблемы с haskell-ными, которые тут забандлены

и не факт, что одинаковые со скажем git-annex

Так если пакет входит в некий дистрибутив, то версия пакета с общеё зависимостью будет одна на снапшот

как написать факториал знаешь?

на типах не знаю кстати как написать

можно ещё на крестовых шаблонах и считать факториал уже на этапе компиляции

можно ещё на крестовых шаблонах и считать факториал уже на этапе компиляции

Уже банально

(читай: даже я могу понять о чём речь)

можно ещё на крестовых шаблонах и считать факториал уже на этапе компиляции

Я может глупость спрошу, но... как вы будете считать функцию на этапе компиляции?

Используя особенности крестового "instantiation" для шаблонов. Можно за примером посмотреть книжку Александреску про modern c++ design

Я может глупость спрошу, но... как вы будете считать функцию на этапе компиляции?

Типы в плюсах можно параметризовать целочисленными значениями.

Константными целочисленными выражениями.