[erlang-questions] ML shaped language for the Erlang VM

[Daniel Goertzen]

This would go really well with Elm.  I've been studying Rust, Haskell and
Elm lately which has made me yearn for more static-ness in Erlang.  I would
love to see something like this reach the same stature as Elixir.

I had some fun at http://www.litscape.com/word_tools/contains_only.php .
Promising candidates were AMBLE, BALM, BLAME, LAMB.  But BML is good too. :)


On Mon, Jun 27, 2016 at 11:30 PM Jeremy Pierre <j.14159@REDACTED> wrote:

> Hi all,
>
> I've been hacking away at an ML-shaped language for the BEAM for the past
> few months and just opened it up.  I figure a few people on the list might
> be interested in poking at it and may have thoughts on improvements.
>
> Blog post:  http://noisycode.com/blog/2016/06/27/introducing-mlfe/
> Repo:  https://github.com/j14159/mlfe
>
> TLDR:
> - written in Erlang with leex, yecc, and cerl
> - all inferenced, typer works (albeit lots of testing still to do, no
> binaries nor maps)
> - PIDs are typed, as are message flows (but not if you're calling from
> Erlang)
> - Apache 2.0
>
> Jeremy
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160629/6ee021c7/attachment.htm>