Haskell prime wiki

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


Hello,
The wiki page says that we should alert the committee about
inaccuracies etc of pages, so here are some comments about the page on
FDs
(http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies)

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
-Iavor


More information about the Haskell-prime mailing list