Is there a way to convert constructs in a specific language to Elixir code ? More specifically I was thinking about how to convert the syntax in this paper to Elixir code. [image] Mailbox Types for Unordered Interactions We propose a type system for reasoning on protocol conformance and…

It’s a very general question, and you linked to a decent sized paper. I don’t think you can really expect a reply in 15mins… … but anyway, here goes. From a very brief glance it looks like an object-oriented language used in the paper. Generally that doesn’t really map too well to Elixir, a functi…

Actually, that it is very much similar to a functional language, which makes use of concurrency, etc… So I think that it it fits pretty good with Elixir.

[image] gzah: Actually, that it is very much similar to a functional language, which makes use of concurrency, etc… So I think that it it fits pretty good with Elixir Well, then, there you have your answer. More generally, this question is hard to answer, as it is too vague. What do you mean…

I mean converting syntax to code to perform the actions required by the presented syntax , executed using Elixir code.

Then I guess the answer is: yes. As of how, that’s a whole other question that requires a deep understanding of the paper.

Thanks a lot. If there are any thoughts on how to actually implement it then feel free to comment.

Sounds like you are looking for some ideas on implementing a transpiler. Here’s one that converts erlang to elixir - probably a little easier as they are conceptually more similar, but it might give you some ideas. https://github.com/dazuma/erl2ex This might also give you some ideas - lexing & par…

Elixir Programming Language Forum

Convert a specific language to Elixir

Questions & Help Questions

gzah March 12, 2020, 8:03am 2

Please can anybody help ?