I first learned Erlang around 2004 and used it a bit for a few years, then moved on. Most of my coding is as a hobbyist or student, and I tend to oscillate between statically typed languages and dynamic languages.

I’ve recently completed a major project, an open source compiler for a Hindley-Milner type-inferred superset of C with generics and specialization, written in C, and now I’m refreshing my Erlang skills with an interest in tackling type systems in a dynamic type environment.

I’m aware of Elixir and their recent work on gradual typing. I’m an implementer at heart, which means I prefer to dive in and tackle problems, beating my head against the wall repeatedly before looking around to see how others have solved the problem.

To that end, I’m currently exploring a statically typed compiler in and over Erlang, and I expect to have to learn gradual typing in order to properly interop with Erlang libraries. It may not go anywhere, we’ll see!