-
- Tim Sheard
- Oregon Health & Science University
-
- Simon Peyton Jones
- Microsoft Research Ltd.
書誌事項
- 公開日
- 2002-12
- 権利情報
-
- https://www.acm.org/publications/policies/copyright_policy#Background
- DOI
-
- 10.1145/636517.636528
- 公開者
- Association for Computing Machinery (ACM)
この論文をさがす
説明
<jats:p> We propose a new extension to the purely functional programming language Haskell that supports <jats:italic>compile-time meta-programming</jats:italic> . The purpose of the system is to support the <jats:italic>algorithmic</jats:italic> construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc. </jats:p>
収録刊行物
-
- ACM SIGPLAN Notices
-
ACM SIGPLAN Notices 37 (12), 60-75, 2002-12
Association for Computing Machinery (ACM)