[Haskell-cafe] the case of the 100-fold program speedup

[Henning Thielemann]

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?