News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by mindB on Thursday June 07, 2018 @01:01PM (#17257751)
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/

[ Parent | on HN ]
Re:Notes on Idris (2017) by PeCaN on Thursday June 07, 2018 @04:55PM (#17260181)
ATS 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

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.

[ Parent | on HN ]