User loginNavigation |
Type checking and logical errorsA recent correspondent asks jokingly "I suppose static typing allows for solving the halting problem as well?". This reminded me of an article where Mark-Jason Dominus (the Perl guy) describes how the type checker in ML found an infinite loop bug in a simple sort routine - - well, "found" in the sense of "gave enough information for it to be apparent to anyone paying attention that something was wrong". I wonder then whether this is a one-off, or whether people who use ML and similar languages frequently find that the type checker points them towards bugs that even a dynamic-typing-language programmer would regard as genuine - - that is to say, errors, like infinite loops, that are not on the face of it just type violations? Does anyone have other examples? By Mike Smith at 2006-06-01 11:59 | LtU Forum | previous forum topic | next forum topic | other blogs | 9723 reads
|
Browse archivesActive forum topicsNew forum topics
|
Recent comments
1 day 7 hours ago
1 day 20 hours ago
2 days 22 hours ago
5 days 18 hours ago
5 days 20 hours ago
6 days 7 hours ago
6 days 7 hours ago
6 days 19 hours ago
1 week 9 hours ago
3 weeks 2 days ago