TyDe 2023: Types as First-Class Values in Fuzion
Fridtjof Siebert, 2023-09-04.
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.