Building a Typed Lisp for BEAM: Erie

I wrote about case expressions and how they are inspired by Elixir, but some of the changes I want to make. Also discuss some of the difficulties I’ll have with my current implementation of types.

https://thaterikperson.com/case-expressions

1 Like

One problem I found in LFE with using yecc was it required the exact number of tokens to work. Too many or too few tokens will crash it and there is no easy way of keep track of the parentheses without parsing. That’s why I didn’t use yecc but used spell1 instead. It is a n LL(1) parser so it is more limited in the grammar but is re-entrant so it fits in well.

3 Likes

Did this go into hiatus?

Not intentionally. More of a “life comes at you fast” situation. I do plan to do more work on it in the near future.

1 Like

Doing something similar (in terms of writing a language in elixir)