4 ms·
I'm not super familiar with it, but ATS[1] might fit the bill in having dependent types and linear types but supporting both functional and imperative paradigms
by mindB 8y ago
I'm not super familiar with it, but ATS[1] might fit the bill in having dependent types and linear types but supporting both functional and imperative paradigms. It's pretty darn obscure, though.
[1] http://www.ats-lang.org/ http://www.ats-lang.org/
- PeCaN 8y agoATS is an amazing language, but suffers from being mainly a one-person effort. doublec's ATS articles are probably the most accessible introduction: https://bluishcoder.co.nz/tags/ats/index.html https://bluishcoder.co.nz/tags/ats/index.html Other than that the documentation is very decent for a one-man research project. (I say "research project", and it is, but it has huge practical value as well.) Still, I have very high hopes for ATS.