[<<][meta][>>][..]Sat Jan 22 16:19:00 EST 2011
One of the interesting features of Haskell is the ease at which composite algebraic operations like complex numbers and stream lifting can be implemented using the type class mechansim. Inference will then usually work, selecting the right operations. Doing this multiple times gives "stacking" of number structures. I'd like to get a similar behaviour in the Scheme metaprogramming.