On Vox: Я сошла с ума...

[migmit]

newtype Foo t a b = Foo ((b -> t) -> a -> t)
data BlaBlaBla t q r a b = BlaBlaBla (Foo t a b) (a -> Either b ((q, Foo t a b), BlaBlaBla (q, Foo t a b) r r b))

И вот на этом надо задать (>>>) :: BlaBlaBla t q r a b -> BlaBlaBla t q r b c -> BlaBlaBla t q r a c. Кто там вякал про ублюдочный код на C++?

P.S.: Очень помогает правило: если при сборке результата функции остались лишние аргументы - значит, вы что-то делаете не так.

Originally posted on migmit.vox.com

Comments

[zamotivator.livejournal.com]

Чем-то на http://zabivator.livejournal.com/271987.html?format=light#cutid1 похоже...

[migmit.vox.com (from livejournal.com)]

О! Точно, именно этого ублюдка я и имел в виду.

[vanja-y.livejournal.com]

У третьего BlaBlaBla вроде пять аргументов должно быть?

[migmit.vox.com (from livejournal.com)]

Да, первый t забыл. На самом деле, он фиксированный. А ещё на самом деле, этот тип неправильный - нефиксированных аргументов тоже должно быть пять.