3 ms·
Yes. Compare also https://www.khoury.northeastern.edu/home/cmartens/Courses/7400-f24/readings/theorems-for-free.pdf https://www.khoury.northeastern.edu/home/cm
by eru 2mo ago
Yes. Compare also https://www.khoury.northeastern.edu/home/cmartens/Courses/7400-f24/readings/theorems-for-free.pdf https://www.khoury.northeastern.edu/home/cmartens/Courses/74... where the abstraction itself mechanically enforces certain guarantees and contracts.
- AdieuToLogic 2mo agoThe 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.