Haskell prime wiki

Iavor Diatchki iavor.diatchki at gmail.com
Thu Apr 13 15:30:23 EDT 2006

The wiki page says that we should alert the committee about
inaccuracies etc of pages, so here are some comments about the page on

1) The example for non-termination can be simplified to:
f = \x y ->  (x .*. [y]) `asTypeOf` y

2) The example for 'non-confluence' has a typo (bullet 2 should have a
'c' not a 'b',  as it is the the two are syntactically equal :-))

3) In the section on references it seems relevant to add a reference
to "Simplifying and Improving Qualified Types" by Mark Jones, because
it provides important background on the topic.

Hope this helps

More information about the Haskell-prime mailing list