1
Et aussi pour la fonction de composition.
f $ a = f a
f . g = \x -> f (g x)
Et aussi pour la fonction de composition.
f $ a = f a
f . g = \x -> f (g x)
QuickCheck ne fonctionne que sur les types de béton, de sorte que vous devez d'abord instancier le type:
($) :: (Int -> String) -> Int -> String
Avez-vous vraiment tester les? Je pense que leur implémentation est forcée par leur type (par leur théorème libre associé). – chi
En fait, il s'agit d'un exercice de [haskellBook] (http://haskellbook.com/) –
Je vois, donc c'est un exercice juste pour le plaisir. Je n'ai aucune idée de ce qu'un test significatif pourrait être pour ceux, cependant. Je veux dire, je pourrais comparer les tester contre leurs propres définitions, ce qui est bizarre. – chi