Quet
а где это все обсуждалось?
Quet
реддит?
Alexander
Но Санта Барбара никому не интересна, а книжка хорошая
Alexander
Наша перепалка в слаке была
Alexander
Как мудаки они поступили когда подписали петицию именами людей не дававших согласие на это
Quet
про haskell-lang я не оч в курсе истории
там снойберг и сотоварищи запилили свой сайт про хаскел потому что оригинальным сайтом занимался КОМИТЕТ и через это все было пиздец как медленно?
Alexander
Ну и если хочешь пообщаться с упертым бараном который не воспринимает ничего кроме себя и льет на тебя говно, то можно к нему обращаться
Alexander
:)
Alexander
Но это мое личное мнение, я вообще не адекватен могу быть
Alexander
Книжка все равно хорошая
Misha
Аллен производит впечатление очень претенциозного и склочного чувака
Alexander
Вот это вот
Misha
хотя книжку они затеяли хорошую вроде
Quet
а то что запилили haskell-lang это круто. теперь вместо одного сайта который был унылым говном — есть два, каждый из которых лучше того что было раньше
Misha
ну его бесконечные наезды на haskell planform (в общем обоснованные), но haskell planform - это лучшее, что было до стэка. Потом все эти телеги про то, что Х-лю/ФП учат неправильно и вообще надо не так (на ютубе где-то видео есть с какой-то конференции про что-то типа 5 years haskell blabla)
Misha
то есть да, это обосновано, но можно было и без скандала
Anonymous
Dmitry
я вообще удивляюсь, как вы умудряетесь следить за всем этим вот
Dmitry
еще и хаскел-кафе небось читать
Dmitry
а по си и прочим языкам надо тоже всё читать?
Misha
это вместо программирования
Dmitry
расту еще
Anatolii
Там наверное нету столько драмы
Dmitry
да си сам по себе это огромная драма
Misha
про х-ль все говорят и примерно никто на нем не пишет типа
Dmitry
у меня сотрудник ушел с хаскеля на хаскель в касперский
Dmitry
драма
Dmitry
"никто не пишет"
Dmitry
и это не в отдельных проектах, а в самом что ни на есть основном
Ilya
А что Касперский на хаскеле написан?
Dmitry
говорить на чем написан касперский это примено то же самое, как говорить, о том, на чем написан "яндекс". например, на "перле" или там на "питоне"
Dmitry
там пачка проектов, в отдельных используется и хаскел тоже
Mansur
Alexander
Alexander
один
Alexander
Dmitry
походу там бабла им государство обещало, они опять засуетились
Serghei
не пойму, почему часто частичное применение называют карированием и наоборот. этож разные вещи. не синонимы
Quet
в расте вот интересно, да
движуха
Anatolii
там целый Сохацкий!:)
Quet
о не, этот наркоман пусть сам там как-нибудь
Konstantin
Alexander 🐕
Сохацкий уже в расте?
Это место проклято!
Konstantin
мне кажется это ненадолго
Anonymous
максимка увлекся сейчас всей этой теорией типов и пруверами.
это чистая математика, а математика, как известно, облагораживает разум и дух человека, делает его мудрее и т.д. как там говорил Ломоносов: "vатематику уже затем учить надо, что она ум в порядок приводит".
однако в случае максимки всё совсем наоборот — он стал еще мизантропичнее (хотя куда уж больше) и еще больше людей его захейтило в ответ. математика там какого-то на деньги кинул, молодец вообще
Anonymous
и везде-то ему буддизм мерещится, он там буквально с каждой понятой им теоремой просветление испытывает.
Anonymous
вот только я буддистов не так себе представлял, ну очень он агрессивный
Anonymous
жаль человека
Konstantin
муддизм
Anonymous
Anonymous
Serghei
Сори за офтоп. Кто такой Сохацкий? Это имя нарицательное? Я в танке 😊
Anatolii
http://maxim.livejournal.com/
Anatolii
на ютубчике его выступления есть
Алдар
Мерль
[last news]
The Haskell School of Music [pdf](http://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf)
Anonymous
Интересно
Serghei
весьма
Serghei
спасибо
Serghei
https://arxiv.org/pdf/1610.06918v1.pdf
Serghei
не уверен, насчет чатика, но мало ли, кому интересно
Serghei
> LEARNING TO PROTECT COMMUNICATIONS WITH ADVERSARIAL NEURAL CRYPTOGRAPHY
folex
Это те сетки, которые независимо от людей изобретают свою криптографию? @serghei_k
Serghei
ну, я пока сам читаю )
Oleg
https://geektimes.ru/post/285704/
Ссылка на чат засветилась :) Отсюда наплыв новых пользователей.
Vladimir
Привет, новые пользователи! Хотите поговорить от наших спасителях и повелителях - монадах?
Dmitry
нет. следующий
Berkus
Oleksandr
Oleksandr
fibStream = 0 : 1 : (zipWith (+) fibStream $ tail fibStream)
Oleksandr
как оно работает, расскажите пожалуйста
Алдар
fibStream = 0 : 1 : (zipWith (+) fibStream $ tail fibStream)
представь что у тебя бесконечный список чисел фибоначчи
[1, 1, 2, 3, 5 ...]
берем хвост от него
[1, 2, 3, 5... ]
[2, 3, 5, 8 .. ] зипуем
конкатенируем с 1: 1
[1, 1, 2, 3, 5, 8 ...]
Danila Matveev
сделай подстановки в правой части, оно и развернется
Oleksandr
представь что у тебя бесконечный список чисел фибоначчи
[1, 1, 2, 3, 5 ...]
берем хвост от него
[1, 2, 3, 5... ]
[2, 3, 5, 8 .. ] зипуем
конкатенируем с 1: 1
[1, 1, 2, 3, 5, 8 ...]
а [2,3,5,8..] откуда взялось?
Алдар
после zipWith (+)
Oleksandr
чот сложна ( zipWith возвращает список, в котором количество элементов равно наименьшему аргументу, так ведь? как после zipWith список может увеличиваться?
Anatolii
zipWith примает операцию и 2 списка и применят операции к элементам списка с одинаковыми индексами формируя новый список