Dialyser - The Syntax of Error in Programming Language

The authors of dialyser proposed to extend the syntax of error in programming language with types. It was possible to write specs or your functions, basically to communicate the intent of how this function should be used. Success typing is a way to minimize false positives during program analysis. The overall situation is that dialyser does not check that your specs and your code do not diverge.