8 Apr
2006
8 Apr
'06
2:19 p.m.
On 2006-04-08, Serge D. Mechveliani
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 -><-