Bugs in Erlang code -- a common one?
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