ATS Lang - General

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Hazem

I recently stumbled upon ATS and I'm wondering if anyone would like to share their experiences with it.

http://www.ats-lang.org/

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

Hazem

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

Matt Peddie

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

Matt Peddie

it seems like there are a lot of great ideas hiding behind an aggressively unpolished exterior!

Matt Peddie

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 :)

Torsten Schmits

I only know it from Vanessa McHale's tweets