> A serious take on a contract-based language This already exists: programming l...

		deterministic on July 14, 2022 \| parent \| context \| favorite \| on: Six programming languages I’d like to see > 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).