I'm working on a static typechecker for elixir. The plan is to have it eventually take advantage of elixir compiler hooks. Hopefully it's better than dialyzer

I'm working on a static typechecker for elixir. The plan is to have it eventually take advantage of elixir compiler hooks. Hopefully it's better than dialyzer (in theory it should; It will have subtractive types, and a broader set of literals, e.g string literals).... But I am taking a "scientific" approach - designing a type system based on discoveries I am making about how the BEAM works under the hood.