<div dir="ltr"><div>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.</div><div><br></div><div>I had some fun at <a href="http://www.litscape.com/word_tools/contains_only.php">http://www.litscape.com/word_tools/contains_only.php</a> .  Promising candidates were AMBLE, BALM, BLAME, LAMB.  But BML is good too. :)</div><div><br></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jun 27, 2016 at 11:30 PM Jeremy Pierre <<a href="mailto:j.14159@gmail.com">j.14159@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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/" target="_blank">http://noisycode.com/blog/2016/06/27/introducing-mlfe/</a></div><div>Repo:  <a href="https://github.com/j14159/mlfe" target="_blank">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>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div></div>