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.