ну так "сливай" то что не матчится

предположения должны быть записаны

Разумное мнение...

в этом и смысл фунцкционального программирования

как в школе

дано

решение

результат

если не все данные смог описать то фигово

И оценки по пятибалльной системе, ага

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

чем это гарантировано?

ты программируешь функцию

Тем, что канал типизирован.

она должна всегда одно на входе и одно на выходе давать

без вариантов

если нужны типы

то ты должен типизировать вход

нужны гарантии

вычислений

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

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

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

Нет... призмы там пока не применяются. Ладно... в целом пока всё хорошо. Эстетику оставим в стороне, тем более как выглядит идеал вопрос сложный и не до конца ясный...

но это же АТД с нескольими конструкторами которые объединяются в другие?

блин, опять какое-то абстракционирование идет

не знаю как по русски

DoList - это...

УЖАС это

https://www.stackage.org/lts-10.3/package/do-list-1.0.1

разве прикольно понимать, то что другие не понимают

?

мы решаем по большому счеты задачи

которые относятся к классическим морфизмам

но как моей маме это обяснить?

так просто блин функция

https://www.stackage.org/lts-10.3/package/do-list-1.0.1

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

как ей объяснить что выпечка хлеба - морфизм?

но как моей маме это обяснить?

никак... протестировано на моей маме :)

А зачем тогда это надо если моя мама это не понимает?

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

На выходе пересекающиеся множества сигналов... пока в этом месте достаточно.

ну всегда были вроде математики

а сейчас вдруг все это рядом стало

На выходе пересекающиеся множества сигналов... пока в этом месте достаточно.

ну а сигналы эти - конструкторы? Т.е. мы работаем с некоторыми множдествами конструкторов, которые могут пересекаться

Ага, верно.

Ладно, я спать...

Давай

Спокойной ночи

Я че то залип

В размышлениях

Ага, верно.

как тут примерно https://gist.github.com/nkpart/c3bcb48c97c5ded6e277#file-err-hs-L13

Дмитрий Taras Serduke это ты? -)

Я точно не Тарас :))

Ладно, не суть важно. Код прикольный

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

либа вообще класс. идея

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

то он бы понял что автокомплит врпинципе неплох

и этим джава лучше руби, например

я к тому что

не стоит заводить полностью свой словарь

есть определенное сообщество

есть такая прекрасная либа

http://www.functionaljava.org/

но она не прижилась

потому что как и в скала, там свои коллекции

свои идеи

ERROR: S client not available

http://www.functionaljava.org/

https://github.com/xgrommx/awesome-functional-programming#java

Еще и упрощённая версия показана, как будто мы тут сложных вещей не понимаем

Еще и упрощённая версия показана, как будто мы тут сложных вещей не понимаем

Устройство не на хачкеле, вот и не понимает.

традиционный конкурс "угадай эксперта"

Картер?

А какие есть пакеты упрощающие работу с TH?

th-lift например, смотря что под упрощать имеется ввиду

Взять структуру скобками и поменять в ней какой-то кусок чем-то походим на map, например, имена. Первое, что в головуц приходит.

Int | Double

| = `Either`

Взять структуру скобками и поменять в ней какой-то кусок чем-то походим на map, например, имена. Первое, что в головуц приходит.

но это-то как раз это в ТН нормально, матчинг по топлевел структуре не очень конечно, а дальше все хорошо

Не очень это мягко сказано, но может я что-то упустил? Мне хотелось бы видеть функцию с типо f: (a->b) -> Epx -> Exp, Для примеру... не знаю, думаю пока.

в зависимости от того, что такая функция делает большой сложности написать я не вижу

но с другой стороны это абуз TH какой-то

Да собственно это действительно не сложно (по крайней мере концептуально), я просто не дозрел пока, чтобы сесть писать свой набор инструментов для работы с AST.

Не очень это мягко сказано, но может я что-то упустил? Мне хотелось бы видеть функцию с типо f: (a->b) -> Epx -> Exp, Для примеру... не знаю, думаю пока.

есть же инстансы дженериков для TH, т.е. lens, uniplate, syb и т.д. можно темплейтхаскельное аст переписывать

Картер?

да

есть же инстансы дженериков для TH, т.е. lens, uniplate, syb и т.д. можно темплейтхаскельное аст переписывать

так, а вот в этом месте прошу ссылки на это дело.

Я в TH не слишком глубоко, просто решаю прикладные задачи и подбираю набор инструментов, с которым это будет делать комфортнее всего.

это не про ТН а про хаскель в принципе

ну вот линзовые дженерики https://hackage.haskell.org/package/lens-4.15.4/docs/Control-Lens-Plated.html со всякими обобщенными переписываниями деревьев, там же инстансы для ТХ

есть генерик инстанс описывающий любоэую структуру через базовую

и можно работать с базовой

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

есть другие менее нативные подходы гбхожк любой структуры типа syb

по названиям выше смотрите пакет на хакадже

там статьи и документацию

Благодарю...

вон например в inline-r мы генерим Haskell код по аст которое вернул R

через ТН можно по похожему принципу идти, там через lift-th

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

например hlint пакет основан на таком принципе, он правда свое представление обходит, а не представление TH но принципиальной разницы нет

если это для A | B, то я не уверен, что игра стоит свеч, конечно, можно улучшить матчинг такой структуры с помощью TH, но как-то это печально все равно

хотя вроде OpenUnion через Here a | There (OU as) можно полноценно матчить