It doesn't! As far as I know :)
It's "pure" in that it's for array computations, then they're run on a GPU
(or CPU or whatever backend). I can't think of many languages that model IO
with linear types; I think part of the "ATS advantage" is how it handles
memory.
On Wednesday, February 26,
I'm curious, how does Futhark handle modeling IO? I mean, at a certain
level it is all about IO I assume, but it claims to be pure. And it is an
ML-based language as I recall, and I think ATS is the only ML language I'm
familiar with that can model IO effects (as linear types, iirc).
On