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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/1d8f4223-bb0c-4759-b617-144dfc4fac1b%40googlegroups.com.
