Ты учишься всему постепенно

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

не вижу что такое рофляные аннотации в ghc manual

Если какой-нибудь джун будет сидеть на проекте, не будет же он дергать сеньера по каждой функции

Я поддержу только идею, что к пакетам надо добавлять норм примеры использования кодом и добавлять в доки типичные use cases. Про ленивость и порядок композиции это уже жертвы не нужные

в общем я написал то, что необходимо в документации, чтобы понять и научиться

пример кстати, по поводу "натягиваемости типов": потенциально аппликацию можно обобшить до ArrowApply хоть вижу тут некоторые проблемы

наличие примеров использования это хорошо

противопостявлять наличие нормальных источников отсуствию примеров - и интуиции глупо

по нормальным источникам можно получить нормальную информацию и понимание - наоборот нельзя

примеры и cookbook-и конечно нужны

@A64m_qb0 а где тот комментарий?

Если какой-нибудь джун будет сидеть на проекте, не будет же он дергать сеньера по каждой функции

вообще желательно дергать

но если "по каждой функции" происходит в течении нескольких дней, то что-то с этим джуном не так

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

хотя растдоки в том же стиле что и хаддоки

синьор должен иметь возможность дать джуну по башке книгой, где описано хотя бы 90% часто встречающегося на практике подмножества хаскеля

90% хаскеля описано везде, оно весьма простое

всякая хитрая "магия" это очень малая часть проектов

разве, что сервант это исключение

он используемый и там есть type level вычисления

всякая хитрая "магия" это очень малая часть проектов

ну вот как раз сервант сразу вспомнился

а кроме?

тем более ты в магию не лезешь

и у серванта как раз есть cookbook

который просят

ну вот всякие линзы есть к примеру, это часто встречается?

а где комментарий?

На реддите? https://www.reddit.com/r/haskell/comments/9fefoe/if_you_had_the_ultimate_power_and_could_change/

К линзам много документации есть и туториалов понятных

а есть книги, где они описаны?

в линзах обычно используется те примитивы, которые даже я понимаю

^., %~, .~, &

просто подход, когда человек узнаёт из чатиков или из практики о том, что фича X довольно широко используется - это очень порочный подход

ну и изредка призмы

Ну линзы магией были лет 10 назад, щас-то они задокументированы донельзя

ну для меня они магия

я тут раз в 3 месяца спрашиваю как сделать то или другое

Они для меня магия, потому что мне лень на них много времени выделять

но правда там хотелки странные

Хотя основы там очень простые, нужно ещё часиков 10 в них порыться просто

С сабжем проблема в том, что у него слишком хороший рантайм. Написать свой такой не получится, поэтому сваливать некуда. Это как с ядром линуска

Хотя основы там очень простые, нужно ещё часиков 10 в них порыться просто

очень простые и 10 часиков - это противоположные вещи

И сделать strict по умолчанию тоже не выйдет

очень простые и 10 часиков - это противоположные вещи

Это чтобы изучить типичные usecases и все хаддоки

Просто такой джун прочитал книжку, поделал на хаскеле примерчики и приходит в контору на продакшн код

так то я линзы сам могу реализовать

Где начинается настоящее обучение

и там у него количество WTF просто начинает зашкаливать

ну вот матан простой

Это чтобы изучить типичные usecases и все хаддоки

10 часиков - это дофига вообще то

но чтобы понять нужно пол-демидовича прорешать

это 300+ часов

10 часиков - это дофига вообще то

Это я тугоум, люблю позалипать

с линзами нужна практика

или хорошо написанный задачник

Демидович по линзам!

да-да-да

ну вот матан простой

относительно языков программирования матан не прост, вообще не прост

тутораилы что я видел в этом отношении дурацкие, все решил, сразу а как применять простой

Что в матане сложного?

сложные функциональный анализ и т.п.

мат физика частично сложная

когда у тебя всякие нехорошие протранства

Что в матане сложного?

одни доказательства теорем чего стоят

да и то они для меня наверное сложные были, т.к. мне работать пришлось

у нас 1-2 курс все в школе было

того, что 1-2 на физфаке, например

просто если взять тот же богомерзкий Go

и написать на нём богомерзкий paxos

то если у тебя есть опыт программирования уже, даже небольшой

со всеми оптимизациями

то ты его изучишь спокойно за те же 10 часов

/stat@combot

combot.org/c/-1001043143583

/stat@combot

combot.org/c/-1001043143583

Ну в узко понимаемом матане конечномерье и всё хорошо

давайте в _blah?

или хорошо написанный задачник

Есть такой https://github.com/data61/lets-lens

я знаю