NDLI: Toward foundations for type-reflective metaprogramming

Content Provider	ACM Digital Library
Author	Garcia, Ronald Lumsdaine, Andrew
Abstract	C++ template metaprogramming has been used with great success to build software applications and libraries. In practice, however, template metaprogramming suffers usability, reliability, and capability shortcomings, and it is not well understood in theory. Template metaprogramming has these problems because it relies on emergent properties of disparate language features that were tailored to other purposes. As a step toward solid and sound language support for metaprogramming, this paper establishes firm semantic foundations for select capabilities of template metaprogramming. We analyze C++ and the idioms of template metaprogramming and isolate, in a language-neutral fashion, fundamental capabilities of C++ that enable metaprogramming. Guided by this analysis, we present a design for a core calculus that directly expresses fundamental metaprogramming capabilities, including static computation, code generation, and type reflection. We prove a typesafety property for compile-time evaluation of metaprograms. To formally connect the core calculus to programming practice, we present a more convenient surface language for metaprogramming. Its semantics are captured by type-directed translation to the core calculus. We prove that this translation preserves well-typing. This idealized presentation averts some of the shortcomings of C++ template metaprogramming and provides a framework for further study.
Starting Page	25
Ending Page	34
Page Count	10
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/1837852.1621613
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	45
Issue Number	2
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Metaprogramming C++ Semantics Reflection
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Toward foundations for type-reflective metaprogramming

Incremental type-checking for type-reflective metaprograms

Ur:statically-typed metaprogramming with type-level record computation

Elaborator reflection: extending Idris in Idris

Lazy lists in C++

Explicitly heterogeneous metaprogramming with MetaHaskell

Toward foundations for the understanding of type (SIGP, Vol. 11, Issue. SI)

Modular logic metaprogramming

Backstage Java:making a difference in metaprogramming

Toward foundations for type-reflective metaprogramming

Similar Documents

Toward foundations for type-reflective metaprogramming

Incremental type-checking for type-reflective metaprograms

Ur:statically-typed metaprogramming with type-level record computation

Elaborator reflection: extending Idris in Idris

Lazy lists in C++

Explicitly heterogeneous metaprogramming with MetaHaskell

Toward foundations for the understanding of type (SIGP, Vol. 11, Issue. SI)

Modular logic metaprogramming

Backstage Java:making a difference in metaprogramming

Toward foundations for type-reflective metaprogramming