3 ms·You can typecheck your had hoc Erlang protocols using Concuerror and Dialyzerby fenollp 11y agoYou can typecheck your had hoc Erlang protocols using Concuerror and Dialyzerchongli 11y agoHaskell's types are used for a lot more than type-checking.tel 11y agoDialyzer is nice, no doubt! But to compare it to Haskell's typing is disingenuous at best. Success typing captures far less information and maintains far fewer invariants.