Statically typed languages on BEAM

[OvermindDL1]

@mbuhot

typed elixir looks like a great proof of concept in this direction.

Entirely me screwing around… ^.^;

@ardhitama

Kind of dislike the approach there, I prefer something that define typed var under one statement.

We can assume all untyped var as ‘auto’ for backward compat.

The downside maybe the typed var definition need to be enclosed with special chars eg. ::int::var_name so parser can differentiate it.

I was trying to make it to fit the current syntax and use the existing functionality rather than add new syntax. I was trying to make it be as simple to use as just replacing defmodule with defmodule_typed or whatever (then fleshing out some specs if you were missing those and fixing errors that it finds). I’d love to work on it more someday, but rather busy at work currently.

For something that still used the Elixir AST but built new syntax see my MLElixir thread.