Typ "Name" = Int - ist es wert zu deklarieren?

Question

Ich habe eine Funktion, die den Preis eines Produktes gibt, sieht es derzeit wie

priceOfProduct:: Int -> Int -> Int 

Ist es erklärt wert

type Price = Int 

so dass die Funktion

priceOfProduct :: Int -> Int -> Price ? 

wird dachte ich Ich mache dann Tupel von Ints, die vielleicht besser aussehen würden, wenn sie ihre eigene Datenstruktur hätten.

priceVsTaxed -> Price -> Int -> (Price, Price) 

Ist das nützlich? Ist das notwendig?

Ist das ein guter Haskell-Stil?

Wird eine Datenstruktur deklariert, die eher dem Umbenennen einer vorhandenen guten Datenstruktur ähnelt?

Answer 1

Es ist nicht immer Wert, zusätzliche Typen zu definieren, aber vermeiden Sie unbedingt Int -> ... -> Int Signaturen. Diese machen es sehr schwer zu verstehen, wie eine Funktion verwendet werden soll.

In der Tat würde ich sagen, dass Sie wahrscheinlich nicht nur das Ergebnis, sondern insbesondere auch die Argumente umbenennen sollten. Dann, wenn jemand will, um Ihre Funktion nutzen, können sie nur lassen Sie den Compiler die Argumente erklären:

foo :: Price 
foo = priceOfProduct _ _ + priceOfProduct _ _ 

einen Compiler geben (GHC> = 7,10) Meldung wie

Foo.hs:Y:X: error: 
    • Found hole: _ :: PriceOfProductFirstArgument 
    • In the first argument of ‘priceOfProduct’, namely ‘_’ 
     In the expression: priceOfProduct _ _ 
     In an equation for ‘foo’: main = foo = priceOfProduct _ _ + priceOfProduct _ _ 

Sie jedoch beachten sollte wenn Sie die Art Unterschied machen wollen steifer nicht: ein einfaches type def kann man nie aus speichern, die Argumente in falscher Reihenfolge setzen, vielleicht würden Sie besser machen es

newtype Price = Price {priceInEuroCents :: Int} 

Das vermeidet auch Mehrdeutigkeit, in welcher Währung/Menge der Preis angegeben ist.