> Haskell is a good example of where if your program type-checks, there's a high chance it's probably correct. For a value of 'correct' that includes "uses all

> Haskell is a good example of where if your program type-checks, there's a high chance it's probably correct. For a value of 'correct' that includes "uses all available memory and falls over".