December 2010 - Haskell-prime

Functor hierarchy proposal and class system extension proposal
by Howard B. Golden 07 Jan '11

07 Jan '11

Hi, In 2006, Ashley Yakeley proposed the functor hierarchy proposal (http://www.haskell.org/haskellwiki/Functor_hierarchy_proposal) and, in 2007, Brianh (his wiki handle since I don't know his name) proposed the class system extension proposal (http://www.haskell.org/haskellwiki/Class_system_extension_proposal) I recently Googled these proposals and didn't see any significant discussion since they were originally proposed. If there has been some, please point me to it so I can read it. Making functor a superclass of monad has the benefit of consistency with the mathematical definitions. It may also simplify the libraries. The class system extension proposal makes it possible to inherit the default implementations of functions from a superclass, thus simplifying the code that would otherwise be required to create a monad if the functor hierarchy proposal is adopted. Is there any interest in considering these proposals for the next iteration of Haskell'? Cheers, Howard B. Golden Northridge, California, USA

6 8

ExplicitForAll complete
by Ian Lynagh 05 Jan '11

05 Jan '11

Hi all, I've completed the ExplicitForAll proposal, started by Niklas Broberg (but any errors are doubtless mine!): http://hackage.haskell.org/trac/haskell-prime/wiki/ExplicitForall http://hackage.haskell.org/trac/haskell-prime/ticket/133 I imagine this is too late for H2011 (if that will actually be happening?), but there wasn't an H2012 milestone, so I put it in H2011 anyway. Please feel free to remilestone. Thanks Ian

5 8

Small report fixes
by Ian Lynagh 23 Dec '10

23 Dec '10

Hi all, I've made a couple of tickets for small fixes to the report: http://hackage.haskell.org/trac/haskell-prime/ticket/140 http://hackage.haskell.org/trac/haskell-prime/ticket/141 Thanks Ian

2 1