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

Jeremy Pierre j.14159@REDACTED
Tue Jun 28 01:23:53 CEST 2016


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160627/1a24c57b/attachment.htm>


More information about the erlang-questions mailing list