Say you have a function of the interface:
fun foo(x: &T1 >> T2): T3
Internally, foo is given the following type:
fun foo{l:addr}(pf: T1@l | x: ptr(l)): (T2@l | T3)
The notation '&T1 >> T2' is referred to as before-and-after notation.
Here is a paper that contains a lot of technical details
on views and viewtypes:
http://www.ats-lang.org/Papers.html#VsTsVTs-2018-10-28
I came up with the original idea of viewtypes in ATS in the summer
of 2003. My plan back then was to finish an implementation first and then
write some papers. Fifteen years later, I am still working on the
implementation :)
No longer so confident about working out a theoretical foundation for ATS.
An interesting idea is often a curse as it forces you to gamble on it.
On Sun, Oct 28, 2018 at 4:03 PM Vanessa McHale <[email protected]>
wrote:
> Hi all,
>
> Is there any literature on types in ATS such as &int? >> int?
>
> fun ret_zero() : int =
> let
> fun initize(x : &int? >> int) : void =
> x := 0
> var ret: int
> val () = initize(ret)
> in
> ret
> end
>
> I know that linear types are well-grounded in linear logic, but I know of
> no language that has this feature, and I cannot find any reference to it
> while skimming Girard's work...
> Cheers
>
> --
> 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 post to this group, send email to [email protected].
> 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/4aba91ab-220c-ddc5-544c-f8c0a85abd27%40iohk.io
> <https://groups.google.com/d/msgid/ats-lang-users/4aba91ab-220c-ddc5-544c-f8c0a85abd27%40iohk.io?utm_medium=email&utm_source=footer>
> .
>
--
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 post to this group, send email to [email protected].
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/CAPPSPLr_MWMvrytD1UX%2Be63FfyCP4mb%2Br8G67xR2gm30s3AtNA%40mail.gmail.com.
