Comments on: An amazing functional

By: Heinrich Apfelmus

Heinrich Apfelmus — Sat, 07 Aug 2010 08:48:43 +0000

Awesome! A small remark: I think the remark on laziness of p True versus if p True then True else False is nonsense. Both have the same behavior: they are strict in p, because forcing either expression will force p as well. Maybe you're thinking of a strict-by-default semantics with suspensions along the lines of Lazy (p True) versus if p True then Lazy True else Lazy False, but that's not how it happens in Haskell.

By: Andrej Bauer

Andrej Bauer — Fri, 30 Jul 2010 19:37:33 +0000

@Dan: Yes of course, but that doesn’t look as cool, does it :-) ?

By: Dan Doel

Dan Doel — Thu, 29 Jul 2010 23:32:19 +0000

Not only that. Given the type, I expect that if you have the Monad instance defined, ox is one line:

ox = sequence :: [S r x] -> S r [x]