Le mardi 5 juin 2018 03:35:57 UTC+2, gmhwxi a écrit :
>
>
> I have to say that ATS2, as it is implemented now, does not track effects
> in a sound way.
>
Is below an example ?
viewtypedef t = () -<clo> void
fn f(): t = let // Does not compile, just type‑check.
in lam@() =<0> () // <-- here
end
var g:t = f()
val () = g()
var h:t = lam@() => ()// <-- here
val () = h()
In the first place marked “<-- here” , the “pure” effect needs to be
specified to type check, it is not required in the second place.
--
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 post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/19f17083-54af-49b9-9c1f-32ed6f1d6701%40googlegroups.com.
