refinement-types

A safe, easy systems language

Refinement types for Scala

Liquid Types For Haskell

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Refinement Types for Rust

Strong type constraints for Scala

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.

Refined types

Play JSON Reads/Writes instances for refined types

Port of Scala/Haskell Refined library to Idris

Simple Refinement types for F#. No longer maintained.

newtype and refinement (refined) type for Scala 3

Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

Refinement types for Python

Proper types for your domain

Introductory Tutorial on Refinement Types