Optional Static Typing - Haskell?

[Scott David Daniels]

Michael Hobbs wrote:
> I've always found that with Haskell, if I can get my program to
> compile without error, it usually runs flawlessly. (Except for the
> occasional off-by-one error. :-)
Then you need "Scott and Dave's Programming Language" -- SAD/PL.
By providing separate data types for even and odd numbers, you can
avoid off-by-one errors ;-)

--Tongue-in-cheek-ily-yours,
Scott David Daniels
Scott.Daniels at Acm.Org