28 ;;Quote: static type systems have little expressive power; they do not prevent users from accessing the first element of an empty list, creating off-by-one errors, or using null pointers

28+;;Quote: a simple testing strategy captures virtually all errors that a static type system would capture

29 ;;Quote: static type systems constrain the programmer; they ossify programs, making them less amenable to change; a change may require numerous rewrites