search

mel-project / melodeon

1 stars 0 forks source link

Lack of manual turbofish support #11

Closed nullchinchilla closed 2 years ago

nullchinchilla commented 2 years ago

There needs to be a way of specifying type variables when calling generic functions. Otherwise there's no way to call generic functions in cases where the compiler isn't smart enough to figure out the type-variable bindings.

A proposed syntax that would be easier to read would be f<$n = 3, T = Nat, ...>(...), with explicit binding of each type variable to a value. This lets "partial" turbofish filling easier.

nullchinchilla commented 2 years ago

This functionality has been added in 0.5.1