Lately I’ve been playing with a language called ATS. It’s statically typed and supports both linear and dependent typing. I’m hoping to write a few posts about it (from a Haskell perspective) once I’ve learned a bit more.
After reading a bit of the tutorial introduction, I tried to install ATS on my system. I noticed it wasn’t available on Homebrew, so I submitted a PR to add it. You can now install it via the package name
ats2-postiats. Happy hacking!
NOTE: This bottle was compiled with GC disabled. I’m thinking about submitting a patch to change this in the near future.