[Haskell-cafe] Re: Proposal for restructuring Number classes
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?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
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