The more semantically rich a programming language, the more it demands mathematical veracity. The more a language is mathematically sound, the more its linguis

The more semantically rich a programming language, the more it demands mathematical veracity. The more a language is mathematically sound, the more its linguistic constructs converge to enforce same. Programming languages which follow this path ultimately support similar capabilities; Applicatives, Functors, Monads, Monoids, and often meta-programming via higher-kinded types and/or intrinsic AST code generation.