Multiple dispatch using compile-time metaprogramming

Seyed Hossein Haeri; Paul Keir

Multiple dispatch using compile-time metaprogramming

Seyed Hossein Haeri, Paul Keir

School of Computing, Engineering and Physical Sciences

Research output: Contribution to conference › Presentation

Abstract

We solve the multiple dispatch problem for a components-for-cases encoding of algebraic datatypes in C++. For the multi-method, the programmer is required to specify the decentralised match statements using overloads of template functions. Then, they employ a one-liner preprocessor macro, which expands to the real dispatcher. The expanded one-liner performs iterative pointer introspection to accomplish late-binding using overload resolution. Even though we present our solution for ADTs, one can use the same technology for other types too.

Original language	English
Publication status	Published - 4 Nov 2018
Event	ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity - Boston Park Plaza Hotel, Boston, United States Duration: 4 Nov 2018 → 9 Nov 2018 https://2018.splashcon.org/

Conference

Conference	ACM SIGPLAN Conference on Systems, Programming, Languages and Applications
Abbreviated title	SPLASH 2018
Country/Territory	United States
City	Boston
Period	4/11/18 → 9/11/18
Internet address	https://2018.splashcon.org/

Keywords

Metaprogramming
C++
Functional Programming

Access to Document

https://2018.splashcon.org/event/meta-2018-multiple-dispatch-using-compile-time-metaprogramming

Cite this

@conference{ff7258a847a145e8bd616d5e35f7884b,

title = "Multiple dispatch using compile-time metaprogramming",

abstract = "We solve the multiple dispatch problem for a components-for-cases encoding of algebraic datatypes in C++. For the multi-method, the programmer is required to specify the decentralised match statements using overloads of template functions. Then, they employ a one-liner preprocessor macro, which expands to the real dispatcher. The expanded one-liner performs iterative pointer introspection to accomplish late-binding using overload resolution. Even though we present our solution for ADTs, one can use the same technology for other types too.",

keywords = "Metaprogramming, C++, Functional Programming",

author = "Haeri, {Seyed Hossein} and Paul Keir",

note = "This presentation was delivered remotely.; ACM SIGPLAN Conference on Systems, Programming, Languages and Applications : Software for Humanity, SPLASH 2018 ; Conference date: 04-11-2018 Through 09-11-2018",

year = "2018",

month = nov,

day = "4",

language = "English",

url = "https://2018.splashcon.org/",

}

TY - CONF

T1 - Multiple dispatch using compile-time metaprogramming

AU - Haeri, Seyed Hossein

AU - Keir, Paul

N1 - This presentation was delivered remotely.

PY - 2018/11/4

Y1 - 2018/11/4

N2 - We solve the multiple dispatch problem for a components-for-cases encoding of algebraic datatypes in C++. For the multi-method, the programmer is required to specify the decentralised match statements using overloads of template functions. Then, they employ a one-liner preprocessor macro, which expands to the real dispatcher. The expanded one-liner performs iterative pointer introspection to accomplish late-binding using overload resolution. Even though we present our solution for ADTs, one can use the same technology for other types too.

AB - We solve the multiple dispatch problem for a components-for-cases encoding of algebraic datatypes in C++. For the multi-method, the programmer is required to specify the decentralised match statements using overloads of template functions. Then, they employ a one-liner preprocessor macro, which expands to the real dispatcher. The expanded one-liner performs iterative pointer introspection to accomplish late-binding using overload resolution. Even though we present our solution for ADTs, one can use the same technology for other types too.

KW - Metaprogramming

KW - C++

KW - Functional Programming

UR - https://2018.splashcon.org/track/meta-2018

M3 - Presentation

T2 - ACM SIGPLAN Conference on Systems, Programming, Languages and Applications

Y2 - 4 November 2018 through 9 November 2018

ER -

Multiple dispatch using compile-time metaprogramming

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this