Погодите, там только 4 главы?

Там страшно, я там ХаскельБук ругал

Зато эта ругань собрала очень много лайков!

Там страшно, я там ХаскельБук ругал

Да ладно люди хорошие

а есть живой чат по идрису на русском?

я тут понял что мечта должна быть несбыточной, так что хаскель слишком плохая мечта

а есть живой чат по идрису на русском?

Есть

я тут понял что мечта должна быть несбыточной, так что хаскель слишком плохая мечта

Invite link: https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw Please stay on the topic (dependent types, automated theorem proving, verification and related themes) and refrain from using stickers/memes.

@bravit111 а какой лучший способ мелкие и бесполезные комментарии к книжке писать?

Лучше всего здесь: https://forums.manning.com/forums/haskell-in-depth, но нужно учитывать, что: > During the MEAP, we welcome reader comments about anything in the manuscript — other than typos and other simple mistakes. These will be cleaned up during production of the book by copyeditors and proofreaders. It is not as helpful for the author to focus on these types of errors at an early stage of writing, while feedback on the content is most helpful.

Хотя я всё буду учитывать и исправлять.

ок попробую пописать там, если не поленюсь

Ребят, расскажите плз для каких именно целей вы используете Haskell?

Ребят, расскажите плз для каких именно целей вы используете Haskell?

промышленная операционная система Kaspersky OS

ну погуглить же легко

Ребят, расскажите плз для каких именно целей вы используете Haskell?

Расширяем сознание, пишем прототипы и продакшен, тащим полезные паттерны в другие языки

тем временем в чате завтипов нашествие людей

Людей-молчунов?

Чат завистливых типов, все друг другу завидуют.

Ребят, расскажите плз для каких именно целей вы используете Haskell?

Бэкенды к оперденям

Бэкенды к оперденям

и фронтенды

Ребят, расскажите плз для каких именно целей вы используете Haskell?

Как повод пообщаться с умными людьми

и фронтенды

Ну это для любящих боль

Как повод пообщаться с умными людьми

GHC прошёл тест тьюринга?

Как повод пообщаться с умными людьми

Льстец

Ребят, расскажите плз для каких именно целей вы используете Haskell?

Вот к примеру неполный список, кто как использует: https://wiki.haskell.org/Haskell_in_industry

Ребят, расскажите плз для каких именно целей вы используете Haskell?

достаточное глубокие и широкие ответы?

список весьма неполон, там ни Касперского, ни Твига, ни fpcomplete

Вот к примеру неполный список, кто как использует: https://wiki.haskell.org/Haskell_in_industry

есть ещё такой список, относительно свежий https://github.com/erkmos/haskell-companies

какой-то servant-auth странный всё-же

интересующийся был очередным троллем, что ли?

Может, задал вопрос - читает по ссылкам? Что ещё можно добавить?

интересующийся был очередным троллем, что ли?

У вас токсичность к троллям

У вас токсичность к троллям

нет, мы их любим и наставляем на путь истинный

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

В #haskell@freenode как-то добрее всё, хотя тролли и туда заходят. @qnikst в backendsecret'е как-то выкладывал лог, как один даже перевоспитался )

В #haskell@freenode как-то добрее всё, хотя тролли и туда заходят. @qnikst в backendsecret'е как-то выкладывал лог, как один даже перевоспитался )

этому логу уже лет пять. Тогда на фриноде сидело куда меньше человек и все всех знали

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

никто не шипит с порога. вы о чём?

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

тролльское здесь поведение — задать вопрос и убежать. (ну и вопрос тоже сомнительный)

тролльское здесь поведение — задать вопрос и убежать. (ну и вопрос тоже сомнительный)

типа нет бы спасибо написать?

Вот классный тролле-вопрос: Как можно писать на языке, где maximum(2, 1) == 1 ??

Вот классный тролле-вопрос: Как можно писать на языке, где maximum(2, 1) == 1 ??

@qnikst помню "любил" эту тему ?

типа нет бы спасибо написать?

ну хотя бы "а я думал, только академики на нём пишут", хоть что-нибудь

Может, человек написал, а потом чем-то отвлёкся.

Вот классный тролле-вопрос: Как можно писать на языке, где maximum(2, 1) == 1 ??

используя каррированные функции

Вот классный тролле-вопрос: Как можно писать на языке, где maximum(2, 1) == 1 ??

кстати, а как это работает?

хитрый инстанс Foldable для (,)?

хотя да, это логично, в паре все по правому элементу делается

так же, как и length (1,2) == 1

я скорее удивлен что он есть

не хитрый, а единственно возвможный

некоторые кастомные прелюды этот инстанс выкидывают :)

все что может быть написано - должно быть написано

инстанс выкинуть невозможно

никак вообще

ну какая разница как именно, но эффект в этом

в чем эффект?

что инстанса нет =)

инстанс foldable для пары всегда естт

этого не может быть

ну можно сделать свою пару…

можно или свой Foldable

> length (1,2) <interactive>:2:1: error: • Do not use 'Foldable' methods on tuple

Foldable даже проще

ERROR: S client not available

я понятия не имею как это работает конечно

:i Foldable

да инстанс на месте

instance Foldable ((,) a) -- Defined in ‘Data.Foldable’

но воспользоваться им не дадут

кстати, как такие кастомные еррор мессаджы делаются?

если я не ошибаюсь при большом желании можно перезаписать любой метод

ну и переписали метод из инстанса на error небось

ребят

а кто Bartosz Milewski переводит?

на ютубе уроки его по теркату

есть польностью переведенная его "книга"

есть польностью переведенная его "книга"

можно линк?

https://henrychern.wordpress.com/2017/07/17/httpsbartoszmilewski-com20141028category-theory-for-programmers-the-preface/

спасибо

кстати, как такие кастомные еррор мессаджы делаются?

через type family кайндп ErrorMessage

у тебя ж Universum под рукой а Container.Class

там примеры

посмотрел, прикольно

не хитрый, а единственно возвможный

проблема в том, что он делает неправильный код легальным

как это?

код правильный, но он делает не то, что ты хочешь от него

sort [2,4,3] тоже не возвращает [4,2,3]

даже если я этого хочу

least surprise наверное тут тоже не встречен, и.к. warning от компилятора как у серокелов наверное лучше

sort _ = [] print $ sort [1, 2]

чем отсутствие инстанса или наличие

код абсолютно верный

вполне возможно, спецификации нету чтобы ответить на него

название не очень удачное

ну так и название length не очень удачное для пары