[Haskell-cafe] Re: Proposal for restructuring Number classes
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.
More information about the Haskell-Cafe