во, нашёл!
но да, маловато на эту тему.
https://dl.acm.org/citation.cfm?id=3236779
вот ещё, но этот закрыт :(
https://dl.acm.org/citation.cfm?doid=2784731.2784750
Хех. Я пролистал, ну это уже чистейший пейпер
Alexander
Alexander
Опять же. Известно, что для решения проблемы разработчики на других языках идут читать туториалы и документацию, а хаскеллисты идут читать пейперы.
Алексей
И вообще хаскель сложный язык.
NC
Не, в первую очередь иду на хакадж смотреть, не решил ли кто проблему до меня
Anonymous
Хех. Я пролистал, ну это уже чистейший пейпер
кстати, там ссылки на Кмета: profunctor, lens libs
также на пана Милевского и других
в докладе ссылки на либы. Теория следует из практики.
NC
Пейперы это если уже отчаяние
Зигохистоморфный
Ну порой в пейперах есть интересные вещи. Не скажу что практически ценные, но как теоретика очень даже ок
Anonymous
Пейперы это если уже отчаяние
после того, как все пути перепробованы, обращаемся к документации.
NC
Да, после пейпера только
Timofey
Эм, нет, пейпер - это не документация
Timofey
Документация пишется в хаддоке
NC
На хаддоке удобнее всего сразу тыкать в Source
NC
там и норм ссылки на символы
Зигохистоморфный
Документация пишется в хаддоке
Или в основном не пишется, да и примеров использования толком нет. Один Гонзалес ещё что-то делает как примеры, так и доки
Timofey
К сожалению, да. Когда прочтения хаддока достаточно - это праздник
Timofey
Или в основном не пишется, да и примеров использования толком нет. Один Гонзалес ещё что-то делает как примеры, так и доки
Я имел в виду "должна писаться"
A64m
откуда пейперобаязнь вообще? пейпер лучше чем средний интернетовыблев-"туториал", там хоть худо бедно как-то структурируется материал, ссылки на другие работы есть.
о каком отчаяньи речь-то?
NC
В тех пейперах, которых я копаюсь (3д графика) предлагаются лишь идеи как что-то сделать, реализацию пиши сам
A64m
В приведенной доке по TF, например, первый же пункт (2.1) - не дожимает мысль до конца. Где пример того, как изменится функция readAndPrint после введения новой конструкции? Ну ввели, а использовать-то как? Что мне писать нужно в определении типа? Как задачу-то основную решили?
ну т.е. примеры есть, но кто-то что-то "недожимает". что это значит - непонятно
Dmitry
NC
Код авторы пейперов, конечно же, никогда не прикладывают
Timofey
Я не обращал внимания на авторов нужных мне пакетов, но хорошие доки - редкость
A64m
Читать надо, думать :(
там надо думать в одной единственной главе, которая и нужна-то в основном имплементаторам фичи или для разрешения каких-то сложных вопросов, все остальное легкое чтение с шутейками
Anonymous
Код авторы пейперов, конечно же, никогда не прикладывают
1 пример есть:
https://pdfs.semanticscholar.org/0ed6/421510d1bf6cfd407db69e1ea9670c9bad75.pdf
https://hackage.haskell.org/package/mzv
Dmitry
Код авторы пейперов, конечно же, никогда не прикладывают
В диплёнинге ещё другая проблема есть - что код не работает или выясняется, что подход заточен под данные авторов. В результате, хорошо, если одна работа из пяти подходит
Влод
Влод
фазер наверное неправильно написал
NC
1 пример есть:
https://pdfs.semanticscholar.org/0ed6/421510d1bf6cfd407db69e1ea9670c9bad75.pdf
https://hackage.haskell.org/package/mzv
Кстати такую аномалию только в хаскелле видел, что к либе пейпер прилагается
Влод
отцовская работа
NC
ну или наоборот
Dmitry
Вообще, накидайте @graninas плюсов. Вон, он уже второй день чятик поджигает!
Alexander
Лол :)
Λ y (0) увеличил репутацию Александр Гранин (2)
A64m
правда, это в основном касается всяких ФП-пейперов, другие часто бывают действительно суровыми
NC
1 пример есть:
https://pdfs.semanticscholar.org/0ed6/421510d1bf6cfd407db69e1ea9670c9bad75.pdf
https://hackage.haskell.org/package/mzv
Самое забавное, что у либы документации ноль, читайте пейпер
NC (0) увеличил репутацию Александр Гранин (3)
NC
Скоро тут будет как в Чёрном Зеркале
Anonymous
Самое забавное, что у либы документации ноль, читайте пейпер
readme пуст, но доки подробные - как, зачем, 3 примера:
https://hackage.haskell.org/package/mzv-0.1.0.2/docs/Control-Monad-Cont.html
NC
https://hackage.haskell.org/package/mzv-0.1.0.2/docs/Control-Monad-RWS-Lazy.html
NC
Alexander
мне кстати гонзалесовые доки не удобны только путают
A64m
Кстати такую аномалию только в хаскелле видел, что к либе пейпер прилагается
я такое даже в C# видел, но такие либы потом живут а не просто на мороз выкидываются в основном в хаскеле только, это да
Alexander
директория examples в этом отношении лучше
Alexander
но это не про пейперы
NC
Комплияемые примеры лучше, чем туториал модули, да
Alexander
кукбуки где написано, как, а не почему, нужны конечно, но если такое будет в пейперах то язык можно закапывать
A64m
и доктесты
A64m
лучше некомпиляемых примеров в доках вообще не делать, они мгновенно сгнивают и потом только путаницу создают
Anonymous
зато они сразу на виду. Помогают быстро решить, пробовать либу или нет.
конечно, лучше взять пример из рабочего теста.
Alexander
мне кстати гонзалесовые доки не удобны только путают
А вот мне многие его статьи прям помогли в свое время. Очень грамотные.
A64m
речь про специфический гонзалес-стайл туториал, а не про блогпосты его
Alexander
да
Alexander
мне нравится питоний формат cookbook для этого
Alexander
отдельные примеры, которые компилятся и лежат отдельным документом и решают типовые задачи
Alexander
из хаскель пакетов optparse-applicative например нормальное
Alexander
там Readme описывает кучу примеров, потом уже нормально по хаддокам лазаешь
Alexander
просто примеры это нужная, но другая форма документации
Alexander
не понимаю почему ее требуют от хаддоков и пейперов
Aliester
стоит ли читать скул оф хаскель?
Alexander
Да я уж подумываю открыть консультационный бизнес по Haskell, где я буду писать нормальные доки для людей. Потому что пейперов уже полно, а документации все равно не хватает. И не только по каким-то отдельным элементам языка или либам, но и по тому (в особенности по тому), как это все в комплексе использовать
Aliester
почему https://wiki.haskell.org/Learning_Haskell на половину состоит со старья и битых ссылок?
A64m
в смысле, по архитектурке? как для ооп что-ли?
Aliester
FP Patterns Remastered
Alexander
почему https://wiki.haskell.org/Learning_Haskell на половину состоит со старья и битых ссылок?
Потому что в Хаскельном сообществе ответственность по принципу мира науки. "Я же пейпер написал, PhD получил, что вам еще надо? Я дальше своими делами пошел заниматься." А в мире индустрии есть еще такое понятие как поддерживаемость.
A64m
почему https://wiki.haskell.org/Learning_Haskell на половину состоит со старья и битых ссылок?
хаскельвики вообще фактически 10 лет как заброшена, все ссылки там отгнили уже годы назад
Aliester
а где брать инфу?
A64m
такого вообще быть не должно
Alexander
Давайте я Patreon открою и буду Haskell-доки писать full time, сайт поддерживать, инфу со всех уголков интернета в одном месте оформлять и облагораживать.
Alexander
Ну или может, FP Complete такую должность введет.
A64m
напишите какой-то док для примера, посмотрим нужно ли такое продолжать делать
Alexander
Я очень много доков уже написал разных, все доступно онлайн
Aliester
A64m
как их найти?
Ю ли я? 🤔
кто-нибудь пытался запилить lamdabot для телеграм? интересно, насколько это будет сложно сделать
Я пытался и обломался о сервант, а потом потерял интерес.
Leonid 🦇
В тех пейперах, которых я копаюсь (3д графика) предлагаются лишь идеи как что-то сделать, реализацию пиши сам
Ну 50/50. В последние годы значительно лучше чем 10 лет назад