[Haskell-cafe] Re: Proposal for restructuring Number classes

[Dylan Thurston]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20060417/780ecba8/attachment.bin