Rachit

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?

Apr 1 at 3:06pmWeb
Show threadbhakti3d ago
@notypes Idris has quantitative (0,1,w) types (and is pretty easy to jump into if you know Haskell imo)
Show thread🇨🇦 Joey Eremondi3d ago
@bhaktishh @notypes If you want more control over typing rules, maybe something like Turnstile would work?
Show threadamelia3d ago
@notypes You can do anything with templates and C++, or like go if you want the structural stuff built-in. Otherwise if you want to stay in functional land (with out relying on llvm stl) this sounds like something Scala or Zig can support fairly easily
Show threadRachit3d ago
@miado Ah, typo in my original post: *substructural* types (linear & affine types)