> A serious take on a contract-based language This already exists: programming languages that supports refinement types. Examples are Liquid Haskell and F* (F-

> A serious take on a contract-based language This already exists: programming languages that supports refinement types. Examples are Liquid Haskell and F* (F-star).