Template haskell: A report from the field (2003) [1 citations — 0 self]
|
Abstract:
We have now had a year since the introductory Template Haskell paper was written. In this report I look back upon what I have used it for in this time giving an idea of the ways in which I have found it useful and explaining the problems I have encountered with it. In most cases there are existing tools that provide the functionality we can implement with Template Haskell. The advantages Template Haskell oers here are a single syntax and semantics to learn and it operates without a preprocessor phase which simplies build systems. Template Haskell is still young, so it is still lacking in functionality necessary for some applications. By highlighting what was needed most we hope to guide the direction of future development to give the best payo. There are some applications for which the current design is insucient. The key problem is that type and strictness information is not available to applications, so safety conditions for some transformations on abstract syntax trees we may wish to do cannot be checked easily.
Citations
| 82 | Template meta-programming for Haskell – Sheard, Jones - 2002 |
| 63 | Scrap your boilerplate: a practical design pattern for generic programming – Lämmel, Jones - 2003 |
| 39 | H/Direct: a binary foreign language interface for Haskell – Finne, Leijen, et al. - 1998 |
| 23 | Compiling embedded languages – Elliott, Finne, et al. - 2000 |
| 11 | Card: a foreign-language interface for Haskell – Green - 1997 |
| 6 | C-> Haskell: yet another interfacing tool – Chakravarty - 1999 |
| 1 | Coallier et al. Interface De Language (IDL – F |
| 1 | Generic Haskell: Practice and Theory. LNCS – Hinze, Jeuring - 2003 |
| 1 | DrIFT user guide. URL: http://repetae.net/john/computer/haskell/ DrIFT/drift.html – Meacham |
| 1 | printf-a-like in Haskell 98. URL: http: //repetae.net/john/computer/haskell/Format.hs – Meacham |
