Re: Adding join patterns to ATS

I would also point out that JoCaml can't implement the full join-calculus, because they need to be compatible with the OCaml platform. ATS doesn't have that restriction. On Wednesday, December 21, 2016 at 1:23:57 PM UTC-8, Ian MathWiz wrote: > > I've seen some other feature/roadmap ideas on this

Re: Adding join patterns to ATS

Surprisingly, the join-calculus can encode the *entire* pi-calculus. Which is interesting, since (unlike the pi-calculus) it only uses constructs that can be implemented in a distributed setting. I'll dig up some of my programs in JoCaml. In the meantime, the paper I linked above

Re: Adding join patterns to ATS

I'll have a look at the session types, but I should also note that one of the nice things about JoCaml is the syntactic sugar. Forking and joining threads on a distributed system is as easy and intuitive as writing something like def get & full x = x & empty or put x & empty = () & full x I do

Re: Adding join patterns to ATS

I took a look at JoCaml last night. I am not sure whether its is possible to support join patterns via library support alone, but I think it is quite possible. At least to some extent. I would suggest that you target Erlang (instead of OCaml's bytecode). In this way, you can take advantage of t

Re: Adding join patterns to ATS

Since you already have some experience with JoCaml, would you mind sharing some code examples, or slides that you have? I would like to learn more about it. On Wednesday, December 21, 2016 at 4:23:57 PM UTC-5, Ian MathWiz wrote: > > I've seen some other feature/roadmap ideas on this list, so I

Re: Adding join patterns to ATS

I didn't know Join-calculus before, but this definitely looks interesting to me. It seems that it can encode pi-calculus to some degree, but I haven't fully investigate that paper. But just for your information, ATS supports session types which I think is relevant here. You may want to have a l

Re: Adding join patterns to ATS

I will try to first answer your last question: >>Also, while I'm on the subject of OCaml languages, I had another question: what would the difficulty be in implementing OCaml-style objects in ATS? Would they break the type system? Implementing OCaml-style objects in ATS in a typeful manner shou

Adding join patterns to ATS

I've seen some other feature/roadmap ideas on this list, so I assume this is the place for those. If it's not, please let me know. I've been using ML-based languages for almost a year now, and there are two such languages that I've particularly grown to love. The first is, of course, ATS. The s