Static Elixir

[OvermindDL1]

@roehst

The types that arise naturally from dynamic code can get pretty ugly when stated explicitly

Which is usually a great indication of poor code though!

@roehst

Maybe gradual typing could be an interesting approach? Like giving no false positives that a piece of code type checks… so if it does type-check it is correct

Look at Gradualizer, it works on BEAM files, thus yes it works with elixir, just need someone to make a good mix plugin for it to simplify it’s elixir use (like Dialyxir does with dialyzer). ^.^

[roehst]

Agree that good code is typable but things like returning a tuple or a value can already be difficult to type clearly without proper sum types I think (if i recall correctly we would need intersection types and those are a pain to work with) although they are common in elixir code

[OvermindDL1]

@roehst

Agree that good code is typable but things like returning a tuple or a value can already be difficult to type clearly without proper sum types I think (if i recall correctly we would need intersection types and those are a pain to work with) although they are common in elixir code

Tuple or Value is indeed just an unnamed sum type, which is already expressable via BEAM types with the | operator, so that is already supported.