On Thu, Feb 28, 2008 at 11:23 PM, Matthew Sackman <[EMAIL PROTECTED]> wrote: > If however, you are as mad as I, and enjoy pushing the GHC type system > to the limit, then you may enjoy looking at the implementation in all > its glory. base10 numbers, lists, associative maps and a whole lot of > other madness works correctly at the type-level in ghc 6.8.2.
Only if I had known before before .... I recently released a library, "type-level" [1], which implements type-level base10 numbers and Booleans. I could have reused your implementation but didn't know about it ... The plan is to include a common type-level implementation to avoid reinventing the wheel all the time. I'm still know if people will find it useful but if they do I could include your implementation of lists and maps. What do you think? [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level-0.1 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe