Bugs in Erlang code -- a common one?

Luke Gorrie <>
Mon Mar 21 03:28:22 CET 2005


Kostis Sagonas <> 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!





More information about the erlang-questions mailing list