Bugs in Erlang code -- a common one?

Luke Gorrie luke@REDACTED
Mon Mar 21 03:28:22 CET 2005

Kostis Sagonas <kostis@REDACTED> 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