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

[Jeremy Pierre]

It wasn't too bad once I found out where to look :)  Truth be told I still
ended up needing to read the compiler code a few times to figure out some
of my early mistakes.

Jeremy

On Wed, Jun 29, 2016, 03:31 Anthony Ramine <n.oxyde@REDACTED> wrote:

> I'm sorry for the documentation pain you encountered by not having the
> documentation for the cerl module.
>
> Unfortunately the OTP team decided it was more important to not have
> utilitarian modules listed first in the documentation, rather than having
> documentation at all.
>
> https://github.com/erlang/otp/pull/363#issuecomment-99829062
>
> Le 28 juin 2016 à 01:23, Jeremy Pierre <j.14159@REDACTED> a écrit :
>
> 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/20160630/cde4a7fd/attachment.htm>