<div dir="ltr"><div>Hi all,</div><div><br></div><div>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.</div><div><br></div><div>Blog post:  <a href="http://noisycode.com/blog/2016/06/27/introducing-mlfe/">http://noisycode.com/blog/2016/06/27/introducing-mlfe/</a></div><div>Repo:  <a href="https://github.com/j14159/mlfe">https://github.com/j14159/mlfe</a></div><div><br></div><div>TLDR:</div><div>- written in Erlang with leex, yecc, and cerl</div><div>- all inferenced, typer works (albeit lots of testing still to do, no binaries nor maps)</div><div>- PIDs are typed, as are message flows (but not if you're calling from Erlang)</div><div>- Apache 2.0</div><div><br></div><div>Jeremy</div></div>