Template meta-programming for Haskell

2025-01-16 Classification：language Click()
Author：Sheard, T; Jones, SP

Article Title：Template meta-programming for Haskell

Abstract：
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta programming. The purpose of the system is to support the algorithmic 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.

Keywords: languages; design; meta programming; templates

DOI: 10.1145/636517.636528

Source：ACM SIGPLAN NOTICES

Welcome to correct the error, please contact email: humanisticspider@gmail.com

Related Reading

Articulatory movements in adolescents: Evidence for protracted development of speech motor control pArticulatory movements in adolescents: Evidence for protracted development of speech motor control p
Direct magnitude estimation and interval scaling of naturalness and severity in tracheoesophageal (TDirect magnitude estimation and interval scaling of naturalness and severity in tracheoesophageal (T
Having a laugh at work: how humour contributes to workplace cultureHaving a laugh at work: how humour contributes to workplace culture
Dyadic versus individual storytelling by preschool childrenDyadic versus individual storytelling by preschool children