Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I recently stumbled upon ATS and I'm wondering if anyone would like to share their experiences with it.
A great introductory talk about ATS:
YouTube - "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
A more detailed talk:
YouTube - A Tase Of ATS
It seems like ATS-3 is being developed at the moment (to address the steep learning curve). Considering the list of features ATS already has, I'm really surprised I've never heard about it until recently
at least when I've used it and gone through tutorials, it was kind of painful. the author has done a great job on tutorial material, but you'd get errors that were like "type error on line 222" and that's all the information available
it seems like there are a lot of great ideas hiding behind an aggressively unpolished exterior!
I think I saw a paper about writing a kernel module that is guaranteed to deal safely with pointers and kernel memory at compile-time -- badass :)
I only know it from Vanessa McHale's tweets