I guess I should mention that this sort of compile-time dispatching is natural, without
macros, in ML variants and in Haskell. Such languages can be good for coding compilers, given
an implementation with a GC that respects cache locality. Recoding Gcc in Eager Haskell, it
might take years before you got anything useful, but you'd learn a lot, and have a better
sense of what the successor to Haskell should look like.
Posted Jun 18, 2008 21:31 UTC (Wed) by flewellyn (subscriber, #5047)
[Link]
Mmh, well, I was hardly recommending that anybody rewrite GCC in Common Lisp. While I'm sure
someone could do it, the result would be a hell of a lot harder to bootstrap. :-)