A64m
вот в клине контекст в инстансе справа, но он и в схеме типа справа, что не логично
кана
в purescript просто стрелку перевернули, если ты про это
Leonid 🦇
вот эта странная перевернутая стрелка да
Leonid 🦇
прямо до слёз может довести
Alexander
в purescript просто стрелку перевернули, если ты про это
И мне это не нравится.
А еще добавили уникальные имена для инстансов.
Влод
о чём это?
что за перевёрнутая стрелка
кана
имена для инстансов там тупо для красоты генерации жс-кода
Leonid 🦇
ЧТО ТЕБЕ НАДО, КОМПИЛЯТОР! ЧТО ТЫ ХОЧЕШЬ?! а он такой "Мне надо развернуть стрелку, и примерно 3.50"
кана
посмотрел clean, мне очень нравится как там "классы" сделаны
A64m
мне казалось логичным
instance Eq [a] => Eq a
в клине
instance Eq [a] | Eq a
Alexander
о чём это?
что за перевёрнутая стрелка
Это о маниакальном желании сделать "не как в Haskell". Как будто бы это добавляет языку уникальности.
Дима
Лол, вот уж кого кого а purescript обвинять в отклонении от линии партии не приходится
A64m
теперь-то конечно поздно не как в хаскеле такое делать, только лишнюю нагрузку людям на мозги созавать
Влод
даже :: оставили как хаскеле
кана
@A64m_qb0 если класс A будет требовать класс B, то когда мы в коде требуем A, мы получаем B?
кана
в клине
A64m
:: это как в миранде
кана
то есть требуя >>= мы получем map сразу (если предположить, что >>= требует map)?
A64m
ничего не понял
кана
class map f :: (a -> b) -> (f a -> f b)
class >>= m :: m a -> (a -> m b) -> m b | map m
f :: m a | >>= m
f = ... -- вот тут я могу использовать map?
кана
нужно таки поставить clean и поиграться самому
A64m
:: появился так. Тернер делал нетипизированные языки, пока вывод типов не появился, т.е. у него был некий язык без аннотации типов, в котором : он занял под конс. Так что когда он сделал миранду, он максимум всего сохранял из SASL, и раз уж : был занят, то изобрел :: для аннотирования типов
Andrew
Пропорционально кол-ву программистов на хаскел
Anonymous
Ну хз, я себе библиотечку набрал, читать-неперечитать
A64m
class map f :: (a -> b) -> (f a -> f b)
class >>= m :: m a -> (a -> m b) -> m b | map m
f :: m a | >>= m
f = ... -- вот тут я могу использовать map?
емнип да, это же просто сокращенный синтаксис для объявления классов
Alexander
Мне казалось, книг по хаскелю от силы пять. Ну восемь.
A64m
больше
A64m
или речь про те, что на русском языке? эти я не считал
Alexander
А что, их на русском больше, чем 1?
кана
по моему только новых 5
kosc
https://wiki.haskell.org/Books
A64m
хотя сокращенный это не то слово, наверное, правильнее сказать "экономный для пространства имен"
Alexander
Погодите, вы предлагаете считать трехтомник Душкина и переводные тайтлы? Я ж про хороший, оригинальный контент на русском
Ю ли я? 🤔
ФП-жемчудины Бёрда можно приписать, наверное.
Ю ли я? 🤔
Ааа =\
Влод
Погодите, вы предлагаете считать трехтомник Душкина и переводные тайтлы? Я ж про хороший, оригинальный контент на русском
https://anton-k.github.io/ru-haskell-book/book/home.html
Andrew
Я все негодую, что видеодокладов нет по Haskell на русском
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
есть курс на степике
он вполне видео
Andrew
Ну я имел в виду с конференций
кана
и просто лекций много
Влод
чёто яндекс давно когда-то выкладывал доклады
мб с касперского ещё есть
Andrew
На ютубе не нашел
Ю ли я? 🤔
С fpconf же были какие-то доклады
кана
fby записывал, там помню был минимум один доклад на русском в 2017
касперский
кана
фпконф
https://www.youtube.com/channel/UCmiGqOz-jojsWUVXLZJ8mCw
Влод
о ещё журнал был) хотя он про любое фп
Ю ли я? 🤔
ОМГ, я только сейчас понял, что изображено на логотипе FPсonf
Alexander
Я лично такой делал. Но мне стыдновато за него
Ю ли я? 🤔
Мне эта zebrafish в своё время спать не давала
Andrew
Голова чел-ка, вид снизу 🤔
A64m
голова почти отрезана
Ю ли я? 🤔
"Кошка, вид сзади" (с)
kosc
Puten?
Влод
Leonid 🦇
А книжки от Packt они же говно, да?
Vitaly
Да
Leonid 🦇
ппц они себя тут рекламируют https://wiki.haskell.org/Books
Andrew
фпконф
https://www.youtube.com/channel/UCmiGqOz-jojsWUVXLZJ8mCw
Ох хо, спасибо, плохо искал значит я
A64m
даже если всякие пактовские не считать все равно
1) Берд-Вадлер
2) Томпсон
3) Худак
4) Хаттон
5) RWH
6) LYAH
7) Мена
8) Аллен-Моронуки
9) Новая какая-то, как там его Курт Танк?
A64m
10) Берд, не то чтобы учебник по хаскелью, книга больее специальная
A64m
11) Марлоу, тоже специальная
Anonymous
Оглвсите весь список пожалуйста :)
Приветствую.
С осени в немногочисленные часы свободного времени я серьезно изучал Haskell.
С того времени подобрался набор литературы, большей части которой нет в сети и которая была куплена за деньги на амазоне.
Собственно выкладываю эти книги в общую копилку с небольшими комментариями.
Всё, кроме книги "Изучаем Haskell" Серано Мены и "Изучай хаскель во имя добра" - на английском языке.
Книги:
1. "Изучаем Haskell" Серано Мена. 2015. Русский.
2. "Изучай хаскель во имя добра" Мирана Липовач. 2012.
3. "Programming in Haskell" Graham Hutton. 2016.
4. "Thinking functionally with Haskell". Richard Bird. 2015.
5. "From Simple IO to monad transformers". J Adrian Zimmer.
6. "Haskell high perfomance programming". Samuli Thomas
1. "Learning Haskell Data analysis". James Church. 2015
2. "Haskell design pattern". Ryan Lemmer. 2016
3. "Developing web apps with Haskell and Yesod" Michael Snoyman 2015
4. "Haskell tutorial and cookbook." Mark Watson 2016
5. "Haskell programming from first principles"
6. Саймон Марлоу - Параллельное и конкурентное поограммирование на языке Haskell
7. Haskell cookbook - Yogesh Sajanikar
8. Get programming with Haskell - Will Kurt
Влод
с разрезанной шеей
Anonymous
Черт, пардон, забыл потереть шапку.
Andrew
Спасибо!
Vitaly
А почему, и что вообще это за говноиздательство такое?
Нет редактирования, практически каждый может что-нибудь написать и там издать, никакого контроля качества нет.
Anonymous
Кстати, последняя книга весьма хороша имхо
A64m
А да, Вил Курт, конечно, не запомнил пока его