[Haskell-cafe] closed classes [was: Re: exceptions vs. Either]
john at repetae.net
Mon Aug 9 18:26:32 EDT 2004
On Mon, Aug 09, 2004 at 04:00:44PM +0100, Simon Peyton-Jones wrote:
> At the moment I'm only thinking of parameter-less kind declarations but
> one could easily imagine kind parameters, and soon we'll have kind
> polymorphism.... but one step at a time.
> Any thoughts?
My first thought is I am going to need a better editor mode that can
tell from context whether an identifier is a value, type, or kind (or
meta-kind?) constructor and differentiate them visually :)
would these kind constructors need to be encoded into system F or the
lambda cube, or would it be possible that they be eliminated right
after typechecking or easily desugared away like classes?
The idea is quite interesting. I was thinking about explicit kinds the
other day, but just as an idle curiosity, now that this thread has
provided some real-world interesting uses, I will have to think about
them some more :)
John Meacham - ⑆repetae.net⑆john⑈
More information about the Haskell-Cafe