Fluent APIs in Functional Languages (SPLASH 2023 - OOPSLA) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Ori Roth, Yossi Gil

Track

SPLASH 2023 OOPSLA

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 25 Oct 2023 16:00 - 16:18 at Room II - DSLs Chair(s): Ben Greenman

Abstract

Fluent API is an object-oriented pattern for elegant APIs and embedded DSLs.
A smart fluent API can enforce the API protocol or DSL syntax at compile time.
Since fluent API implementations typically rely on overloading function names, they are hard to realize in functional programming languages.
This work shows how functional fluent APIs can be implemented in the absence of name overloading, by relying on parametric polymorphism and Hindley-Milner type inference.
The implementation supports fluent API protocols in the regular- and deterministic context-free language classes, and even beyond.

Link to Preprint

https://arxiv.org/abs/2211.01473

DOI

https://doi.org/10.1145/3586057

Ori Roth

Technion

Israel

Yossi Gil

Technion

Israel

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 25 Oct
Displayed time zone: Lisbon change

	16:00 - 17:48	DSLsOOPSLA at Room II Chair(s): Ben Greenman Brown University, USA

	16:00 18m Talk		Fluent APIs in Functional Languages OOPSLA Ori Roth Technion, Yossi Gil Technion DOI Pre-print
	16:18 18m Talk		A Pretty Expressive Printer OOPSLA Sorawee Porncharoenwase University of Washington, Justin Pombrio Unaffiliated, Emina Torlak Amazon Web Services, USA DOI Pre-print
	16:36 18m Talk		How Domain Experts Use an Embedded DSL OOPSLA Lisa Rennels University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI
	16:54 18m Talk		Saggitarius: A DSL for Specifying Grammatical Domains OOPSLA Anders Miltner Simon Fraser University, Devon Loehr Princeton University, Arnold Mong Princeton University, Kathleen Fisher Tufts University, David Walker Princeton University DOI
	17:12 18m Talk		Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid OOPSLA Huanqi Cao Tsinghua University, Shizhi Tang Tsinghua University, Qianchao Zhu Peking University, Bowen Yu Tsinghua University, Wenguang Chen Tsinghua University; Pengcheng Laboratory DOI
	17:30 18m Talk		Translating canonical SQL to imperative code in Coq OOPSLA Véronique Benzaken Université Paris-Saclay - Laboratoire de Méthodes Formelles , Évelyne Contejean CNRS, ENS Paris-Saclay & Université Paris-Saclay, Houssem Hachmaoui , Chantal Keller Université Paris Saclay, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research, Jerome Simeon DocuSign, Inc. Link to publication DOI