On Sat, Apr 08, 2006 at 10:16:53PM +0400, Serge D. Mechveliani wrote: > I think that without dependent types for a Haskell-like language, > it is impossible to propose any adequate and in the same time plainly > looking algebraic class system.
Agreed. Is there anything really wrong with the Kiselyov-Shan approach to dependent types? Does it look too bizarre? http://okmij.org/ftp/Haskell/types.html#Prepose http://okmij.org/ftp/Haskell/number-parameterized-types.html Peace, Dylan Thurston
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
