Quorum

Quorum is an "evidence-oriented" programming language — language design decisions are made using empirical studies.