In my free time I'm writing a type system for the BEAM virtual machine. Like dialyzer, it features integer ranges. It, however, adds new types like literal li

In my free time I'm writing a type system for the BEAM virtual machine. Like dialyzer, it features integer ranges. It, however, adds new types like literal lists, minimum-size tuples, literal strings, and subtractive types. I considered adding floating point ranges, but decided against it, mostly knowing just how hard it is having worked on John Gustafson's unums project.