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

Aaron Denney wnoise at ofb.net
Sat Apr 8 14:19:39 EDT 2006

On 2006-04-08, Serge D. Mechveliani <mechvel at botik.ru> 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.

Depends on what you count as adequate.  Mostly I don't need
runtime-varying parameters, so, that's not necessary, and the edifice
you've constructed is both overkill and unwieldy.

Aaron Denney

More information about the Haskell-Cafe mailing list