A64m
о, он до 8.2 обновился? Я думал он помер уже
Aleksei (astynax)
Да не, живой, шевелится
Leonid 🦇
length всё не даёт покоя людям http://lambda-the-ultimate.org/node/5481#comment
Leonid 🦇
и советуют hugs...
A64m
AntC просто тролль астрономической толщины
Leonid 🦇
Ant ony C owley?
A64m
нет
Leonid 🦇
ну да, тот практик. чо ему делать на ltu
A64m
Клайден его фамилия
Евгений
hugs в 2k17???
Крылатый
Обнимашки!
Leonid 🦇
ну так ghc был уничтожен как образовательный хаскель
A64m
hugs неудобный же, пожалейте детей
Leonid 🦇
плохой комитет и FTP (некоторым даже AMP припёк)
A64m
можно же написать ОБРАЗОВАТЕЛЬНУЮ ПРЕЛЮДИЮ
Евгений
Ну что угодно будет лучше чем hugs, даже мёртвый jhc
Leonid 🦇
@A64m_qb0 effort
A64m
нет, hugs лучше jhc
Евгений
Потому что jhc умер 5 лет назад, а hugs все 10
Alexander
и образовательная прелюдия будет лучше почти всех прелюдий что есть
A64m
11, но он на этот момент был более-менее зрелой имплементацией, да и даже убогий репл лучше, чем вообще без него
A64m
и уж точно hugs намного проще поставить чем jhc
kosc
jhc?
kosc
Или имеется в виду таки ghc?
kosc
Jersey Haskell Compiler?
kosc
Java Haskell Compiler? ...
Leonid 🦇
Подайте идею Брагилевскому! А то у него студенты на go пишут
kosc
Окей, понял.
parket
заставлять студентов писать образовательную прелюдию самим
Так и запишем "заставляет студентов делать прелюдию".
Vitaly
Не надо подавать мне идеи, пожалуйста
A64m
Ну теперь начнут подавать с удвоенной силой
Vitaly
На то и расчёт
A64m
Таки в generic-lens поддержку лейблов по просьбам трудящихся добавили https://github.com/kcsongor/generic-lens/commit/5b0c027be46734c2e194ba6541590e9423688917
Leonid 🦇
в общем давайте соберем комитет по разработке прелюдии, и будем всеми силами издеваться над студентами
Vitaly
Вообще, кстати, подход, когда при обучении повторяют стандартную библиотеку и реализуют известные вещи с нуля, мне кажется немного сомнительным. Вот тут его в полной мере реализуют: https://github.com/data61/fp-course. Впрочем, его результативность сильно зависит от преподавателя, у некоторых получается, как я слышал.
A64m
пропозал один: объявить стрелку Берда и все типы аннотировать с ее использованием
parket
Вообще, кстати, подход, когда при обучении повторяют стандартную библиотеку и реализуют известные вещи с нуля, мне кажется немного сомнительным. Вот тут его в полной мере реализуют: https://github.com/data61/fp-course. Впрочем, его результативность сильно зависит от преподавателя, у некоторых получается, как я слышал.
А как иначе. Разве есть способ научиться лучше, чем пройти путь самому?
parket
Но я не педагог. Просто меня тоже так учили.
Vitaly
Ну, если цель научиться реализовывать стандартную библиотеку, то нет ничего лучше, чем реализовывать стандартную библиотеку, это да.
parket
Ну, она ведь многогранна. В этом смысл? Можно решать задачки про фермера и коров, конечно.
Vitaly
Можно про фермера и коров, а можно линейные односвязные списки изучать, реализуя модули к апачу, например: идеи те же, но хоть смысл видно.
A64m
the silent majority of the committee approves of this, so consider this accepted
Alexander
это гед?
Leonid 🦇
это к RFC про do без бакса, и скобок
A64m
реальная цитата из ghc-steering-committee (про пропозал, который приняли за месяц до того, но секретарь забыл и принял второй раз)
Leonid 🦇
А, ок
A64m
пропозал один: объявить стрелку Берда и все типы аннотировать с ее использованием
но я-то это вспомнил в контексте разработки местной прелюдии
A64m
вобщем, со стрелками определились, какие еще предложения будут?
Alexander
а что со стрелками?
A64m
ну, как в книге Берда "Алгебра программирования" сигнатуры объявлять head :: a <- [a] и т.д.
Alexander
чтозажесть
A64m
раньше надо было возражать
A64m
теперь поезд ушел уже
Alexander
серьезно приняли?
A64m
нет, это шутка
Alexander
а хорошо
Alexander
вообще нужно обязательно explicit-ex-prelide
Alexander
в котором все методы которые делают throw возвращали бы Either
A64m
но в хаскеле все методы такие
Alexander
которые делают explicit throw
A64m
так а смысл?
Alexander
так то понятно, что что угодно где угодно взорваться может
Alexander
но это все равно полезно
A64m
вообще, если делать сейчас прелюдию, то надо смотреть в будущее, а не за прошлое цепляться.
аннотации жидкохаскеля везде, минимум рантайм проверок так что никаких head :: Just a <- [a], только хардкор
A64m
пропозал два: заменить все функции, врозвращающие Maybe, Either и т.д. на функции с соотвествующими предусловиями где это возможно
Alexander
убрать все текущее И/О
A64m
да, проблема И/О не решенная пока, в прелюдии быть его не должно
A64m
в крайнем случае какую-нибудь бекпаковую сигнатурку самого общего вида стандартизировать
Leonid 🦇
На Тейлора всегда можно рассчитывать, срач не утихнет быстро. https://twitter.com/taylorfausak/status/939853320608415744
Leonid 🦇
Подписаться что-ли
A64m
GHC should strive to make life as easy as possible for downstream tools
One way to make life easy is never to make any changes
Alexander
https://hackage.haskell.org/package/lens
Alexander
а потом нажмите s