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.

Make Sanity the Default

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

newtype and refinement (refined) type for Scala 3

Simple Refinement types for F#. No longer maintained.

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

Prototype functional programming language with refinement types, powered by Inox