[Haskell] Plea for separate kind annotations
g9ks157k at acme.softbase.org
Fri Sep 7 11:20:54 EDT 2007
Am Freitag, 7. September 2007 17:06 schrieb Pablo Nogueira:
> Just quickly, in light of some wiki tracs on Haskell prime i've read
> 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.
> 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?
More information about the Haskell