Re: [Haskell] Plea for separate kind annotations

Am Freitag, 7. September 2007 17:06 schrieb Pablo Nogueira:

Just quickly, in light of some wiki tracs on Haskell prime i've read recently.

I wonder if any one else is also of the opinion that kind annotations should be available and that they should be separated from type definitions in the same way as type annotations are separated from value definitions.

Example:

data T :: * -> *

data T a = T a

There are two levels of lambda calculus (values and types), with types structuring values and kinds structuring types. So why not let programmers deal with them in similar ways?

Sounds reasonable. Best wishes, Wolfgang