>
> writes:
> Some of the bugs in Erlang code that we have discovered using the
> new type inference (albeit currently the hard way) are really
> subtle and extend beyond simple type clashes.
Interestingly the fishy thing that I see could also not be detected
without false positives in Lisp. Functionalness pays off yet again!