psilo
psilo copied to clipboard
gatlin
a parallel, safe, iterative list operation language for systems programming
When a function `f` is linear, that means: if `(f x)` is consumed exactly once, then `x` is consumed exactly once. Linearity is a constraint on how arrows may use...
I felt real smart typing out that title.
The compiler already organizes methods into a map from `Symbol` to `Set (Sigma, AnnotatedExpr (Maybe Type))`. After typechecking the non-method definitions: for each method, for each implementation, insert the more...