teikalang / teika

MIT License
318 stars 7 forks source link

smol: support simple erasable parameters #193

Closed EduardoRFS closed 9 months ago

EduardoRFS commented 9 months ago

Goals

Allow for polymorphic only functions.

Context

As Smol is a linear language, polymorphic functions cannot be trivially done without passing the type around, this prevents simple functions such as identity from working naturally.