3 ms·
Refinement types is exactly what you are looking for. Languages like F* (F-star), Dafny, and Liquid Haskell are good examples.
by mbrodersen 4y ago
Refinement types is exactly what you are looking for. Languages like F* (F-star), Dafny, and Liquid Haskell are good examples.