[flackjap]

With compile time checking that is already there + Dialyzer, you basically have the whole 'code correctness' side of static typing? Right?