17 Apr
2006
17 Apr
'06
11:55 p.m.
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