Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

TyDe 2023: Types as First-Class Values in Fuzion

Fridtjof Siebert, 2023-09-04.

Hosting event: TyDe 2023 — The Workshop on Type-Driven Development.


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




Example code