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, 2020 at 8:15:40 PM UTC-6, Brandon Barker wrote: > > 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 Tuesday, February 25, 2020 at 8:11:41 AM UTC-5, Vanessa McHale wrote: >> >> Hi all, >> >> I have an example of calling Futhark from ATS: >> https://github.com/vmchale/ats-stats - it depends on OpenCL and it runs >> relevant computations on the GPU. >> >> So far it's pretty spartan (dot products, matrix math and a few >> descriptive statistics), but I hope to expose a wider API once the >> upstream has statistical tests and such. >> >> Cheers, >> Vanessa McHale >> >> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ea1d2163-bee3-485b-942f-2a9d99583c7a%40googlegroups.com.