TyDe 2023: Types as First-Class Values in Fuzion
Fridtjof Siebert, 2023-09-04.
Hosting event: TyDe 2023 — The Workshop on Type-Driven Development.
Abstract
Using types as compile-time values provides possibilities for abstraction beyond what standard parametric types can offer. This extended abstract explains how the Fuzion language unifies the handling of type arguments and value arguments in calls and how types can be equipped with callable features. Furthermore, the use of types to distinguish multiple instances of algebraic effects is shown.
Extended Abstract
TyDe_2023_Types_as_First-Class_Values_in_Fuzion_abstract.pdf.
Recording:
Slides
TyDe_2023_Types_as_First-Class_Values_in_Fuzion_slides.pdf.