Rachit4d ago

For the PL folks: I want to quickly prototype a structurally-typed DSL. I need to express a combination of linear, affine, and non-linear resources (ADTs + functions).

What language would you recommend for this? I know Haskell has a linear types extension. Anything else I should look at?

Show threadbhakti
@notypes Idris has quantitative (0,1,w) types (and is pretty easy to jump into if you know Haskell imo)
Apr 1 at 3:27pmWeb
Show thread🇨🇦 Joey Eremondi4d ago
@bhaktishh @notypes If you want more control over typing rules, maybe something like Turnstile would work?