🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Phantom types for Python.
Large Scale Type Systems (programming language)
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
Port of Scala/Haskell Refined library to Idris
newtype and refinement (refined) type for Scala 3
Refinement types encoded with private types in OCaml. :roll_eyes: 🐫 🔬 📚
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
Proper types for your domain
Prototype functional programming language with refinement types, powered by Inox