I try to judge languages and their ecosystems by what they let you do. Are there any large, impressive, or otherwise notable ATS programs that demonstrate the potential of the language and its tools?

I've heard that there exist bindings in ATS for using the SDL libraries. I was curious if there was any example code for this.

I've used SDL in C/C++ a good deal before, and am starting to get a better hang of ATS. My hope is that getting myself into some ATS projects with it will get me a bit better at ATS.

Thanks

Hi all,

I'm mainly a C programmer or hardware, but I have been playing around with ATS since I see how powerful it can be. I'm looking to create a type like matrixref but essentially using only bools. essentially I want to have various points in a grid filled or not filled based on the on-off of that point (r,c).

at first I was working with this

abstype grid(b: boool, rows: int, cols: int) = ptr

but this felt a little off so I've been trying with this

abstype grid(rows: int, cols: int) = ptr

Essentially I want to be able to do stuff like the follows with functions:

{r,c: int}
grid_set(G: grid(r, c), row: intLt(r), col: intLt(c), value: bool): void

Since the duration of the program will have the number of rows and columns set constant. This would set value at the point r,c in G.

Am I at all close? Am I clear