Источник местами некорректен, но зато охват широкий. А корректность можно подтянуть

проверил, есть такое дело • Too many parameters for class ‘MonadError’ (Use MultiParamTypeClasses to allow multi-parameter classes) • In the class declaration for ‘MonadError’ значит источник так себе, есть ошибки

Нужно включить расширение MultiParamTypeClasses, о чем и говорит компилятор

включил MultiParamTypeClasses и потом ещё FunctionalDependencies

А когда будешь объявлять инстанс, то ещё потребуется и FlexibleInstances :)

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

Рано или поздно понадобится

Что "это"?

Эти конкретные расширения - must have практически

MonadName a | a -> b

Такой подход очень популярен нынче (т.н. "mtl-style тайпклассы"), так что это не "необязательная" магия

фандепы - не слишком сложная штука, польза от мультипараметровые тайпклассы тоже сразу понятна :)

Вот всякие FlexibleInstances в первое время включаешь, когда компилятор попросит - это можно считать "магией". Благо компилятор тут достаточно лаконичен в плане сообщений

для конкретного m может быть только один парный e, да

То есть я правильно понимаю, что это значит, что где-то внутри индексов m обязательно должен быть e? Магией я это считаю из-за того, что мы не указываем явно "где", мы указываем "где-то тут в типе"

Да, либо ты должен указать конкретный тип

instance MonadError () Maybe where такое должно сойти тоже

То есть я правильно понимаю, что это значит, что где-то внутри индексов m обязательно должен быть e? Магией я это считаю из-за того, что мы не указываем явно "где", мы указываем "где-то тут в типе"

можно это как ассоциированный тип себе представлять type Fundep String = Char и т.д.

instance MonadError () Maybe where такое должно сойти тоже

instance MonadError () Maybe where throwError () = Nothing catchError Nothing f = f () catchError x _ = x > catchError (do { throwError (); Just 1 }) (const $ Just 42) Just 42

можно это как ассоциированный тип себе представлять type Fundep String = Char и т.д.

Хм, ну так легко, да. Там Char, потому что [Char], а какой type FD Bool = Char бы уже не вышел, верно?

почему?

все бы нормально было

Не вышло бы FD String = Int

а FD () = Char - ок

Направление стрелки в фундепе не просто так есть

тут не нужны контейнерные ассоциации

может быть пример, если у нас первое слагаемое дабл то и результат операции дабл например ит.д.

Хм, ну таки да, Bool -> Char вполне работает

Это все таки намного проще рассматривать как ассоциированный тип

Чем какую-то магию по поиску типа внутри типа

Наконец-то я понял фандепы

С просветлением!

(/me так говорит, будто сам всё понимает)

Интуиция для фандепов неплохо развивается, если попробовать реализовать mtl с нуля.

все таки имхо синтаксис для них не самый удачный, потому что синтаксически выглядит как будто для класса "* -> * -> Constraint" мы получаем Type*Type всех комбинаций, а на определении "a b" и "a c" уже ругается, что понятно после понимаю фандепов, но синтаксически неочевидно Да и не нужно лишний раз указывать второй тип, он же все равно однозначно выводится из первого

через семейства явно лучше

Это вкусовщина

учитывая что семейства строго слабее

даже type families dependencies

у которых такой же синтаксис

но они ещё и не доделаны

можно еще http://www.cse.chalmers.se/~hallgren/Papers/Hallgren01.pdf почитать, там более общая интуиция вырабатывается, оттуда и понятно почему у них такой синтаксис

даже type families dependencies

это которые ~>?

это которые ~>?

нет

но они ещё и не доделаны

Это можно вообще про всё писать в GHC

которые type family Foo a b | b -> a

А! Ок

да, фундепы тоже недоделаны

просто их уже давно и не доделывают

ну там совсем не доделаны

только 1 к 1 переменными связь

Но выкинуть боятся

а заменить то нечем

но тут-то под недоделанностью подразумеывается, что первоначальный план/пропозал не имплементирован полностью

как первоначальные семейства до 7,2

ухты, я по статсам на 3м месте! Правда @qnikst и @A64m_qb0 никто не догонит.

@qnikst ты как-то говорил что зачал новый "сервис" с апишечкой в стиле http-rpc. оно у тебя на серванте?

уже да

ты стал мутить свой комбинатор для типа ошибок, или забил?

забил пока

я вообще не уверен что хочу с сервантом заморочится

слишком он тайп левел

ошибки на 25 экранов. компиляшка медленная.

/me мучается

ошибки на 25 экранов. компиляшка медленная.

25 экранов?)

я когда начал ErrorT переизобретать и автосбор-разбор сообщений

и захотел сваггер, то решил взять сервант

учитывая что это все надо было "завтра"

ERROR: S client not available

вот сваггер это пока единственное что хотелось бы

и то не факт.

ошибки на 25 экранов. компиляшка медленная.

Есть servant-named и ещё какой-то вариант на рекордах - всё не дотягиваюсь поковырять до конца

внезапно https://github.com/haskell-servant/servant-js

да этого добра много

да чтож такое

как не зайдешь сюда обсуждают js

внезапно https://github.com/haskell-servant/servant-js

старо же

я такое еще для котлин нашел

https://hackage.haskell.org/package/servant-kotlin

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

Даёшь servant-whitespace!

кстати у пурсы тоже есть тайплевел https://github.com/owickstrom/hyper

посмотрел доклад про этот ваш котлин, потрясающее убожество делают, конечно. Сделали опять C# (ну не совсем, противонуллострадания там все еще никак недоделают) через 10+ лет, ну, хорошо что не Го.

@A64m_qb0 измученные явой андройдописцы радуются

посмотрел доклад про этот ваш котлин, потрясающее убожество делают, конечно. Сделали опять C# (ну не совсем, противонуллострадания там все еще никак недоделают) через 10+ лет, ну, хорошо что не Го.

ты бываешь вообще чем-то довольный?)

на F(by) 2016 был доклад про ФП на Kotlin. Это всё, что надо знать о.

писали новый Смолтолк а получился как всегда C#

писали новый Смолтолк а получился как всегда C#

ruby?

ты бываешь вообще чем-то довольный?)

все верно ведь

какой там смолток еще?

@A64m_qb0 измученные явой андройдописцы радуются

ну так C# же, т.е. жава с немного уменьшенными страданиями

ты бываешь вообще чем-то довольный?)

конечно. вот, например: > хорошо что не Го

зачем Крис Мартин придумал PartialSemigroup? https://hackage.haskell.org/package/partial-semigroup-0.0.0.1

> A partial semigroup is like a semigroup, but the operator is partial.

чтобы жизнь малиной не казалась :)

получается что что угодно образует partial semigroup ?

К примеру, суммы/ произведения интов с учётом переполнения

Для чего угодно и просто semigroup можно определить

Через First или Last

PartialMonoid PartialFunctor PartialApplicative PartialMonad PartialBifunctor PartialArrow :D

Они такие и есть же