Re: [Haskell-cafe] Haskell meta-programming

2011-12-28 Thread Heinrich Apfelmus
John Lato wrote: From: Heinrich Apfelmus apfel...@quantentunnel.de * Meta-programming / partial evaluation. When designing a DSL, it is often the case that you know how to write an optimizing compiler for your DSL because it's usually a first-order language. However, trying to squeeze that into

[Haskell-cafe] Haskell meta-programming

2011-12-21 Thread John Lato
From: Heinrich Apfelmus apfel...@quantentunnel.de * Meta-programming / partial evaluation. When designing a DSL, it is often the case that you know how to write an optimizing compiler for your DSL because it's usually a first-order language. However, trying to squeeze that into GHC rules is