
15 Nov
2006
15 Nov
'06
9:22 a.m.
On Tue, 14 Nov 2006, Seth Gordon wrote:
It took me a week to figure out the right algorithm for combining these two procedures and write some almost-working code that implemented it. It took a co-worker of mine another few days to find the bugs that had eluded me.
Were these bugs of the kind that would have been found by a static type checker, say the one of Haskell?