Static Elixir

[ShalokShalom]

Reading this post of @OvermindDL1, I realise that I like to use a statically typed language like OCaml:

OCaml comparison with Elixir

And it is possible with ease, to combine the strengths of both languages:

Why Bucklescript?

So whats about a PPX that translates OCaml to Elixir? This makes it possible to write code in one simple language that compiles into the ErlangVM, native OCaml and Bucklescript JS. Plus, this idea combines Elixir and Erlang with the strong type checking of OCaml. OCaml, Reason, Elixir, Erlang and Javascript in one language.

It is more easy to intelligible the OCaml code, while Elixir offers the benefit of the ErlangVM.

And i think that the implementation as a PPX combines the static type safety concept with the dynamic one, since the compilation happens in OCaml’s type system, while the execution happens in ErlangVM.

What is your opinion on this topic?

Is anybody interested to write this PPX?

Thanks a lot ^-^