Translating Lambda Calculus into C++ Templates
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10430938" target="_blank" >RIV/00216208:11320/21:10430938 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/chapter/10.1007/978-3-030-83978-9_5" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-83978-9_5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-83978-9_5" target="_blank" >10.1007/978-3-030-83978-9_5</a>
Alternative languages
Result language
angličtina
Original language name
Translating Lambda Calculus into C++ Templates
Original language description
The C++ template system is capable of performing arbitrary compile-time computations, which is typically exploited in generic programming libraries. However, the template language itself is syntactically cumbersome. A variety of tools, ranging from libraries to dedicated compilers, was created to alleviate this issue. One such approach is translating a functional program into a template metaprogram. In this work, we present a new way of translating functional programs based on lambda calculus into template metaprograms. The translation produces metaprograms with clearly defined lazy semantics and supports common functional features such as recursion and algebraic data types. We demonstrate its viability by providing a proof-of-concept implementation.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Trends in Functional Programming
ISBN
978-3-030-83977-2
ISSN
0302-9743
e-ISSN
—
Number of pages
21
Pages from-to
95-115
Publisher name
Springer Nature
Place of publication
Switzerland
Event location
online
Event date
Feb 17, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—