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

Dylan Thurston dthurston at barnard.edu
Mon Apr 17 23:55:46 EDT 2006

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?


	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

More information about the Haskell-Cafe mailing list