I like maximum compile-time verification, code contracts, quick and "noisy" failures, and strictness in accepted inputs.

• GitHub
• BitBucket