Haskell Language Dichiarare una proprietà


Esempio

Nel modo più semplice, una proprietà è una funzione che restituisce un Bool .

prop_reverseDoesNotChangeLength xs = length (reverse xs) == length xs

Una proprietà dichiara un invariante di alto livello di un programma. Il test runner QuickCheck valuterà la funzione con 100 input casuali e verificherà che il risultato sia sempre True .

Per convenzione, le funzioni che hanno proprietà hanno nomi che iniziano con prop_ .