Избежание примитивной одержимости в Haskell

Question

От http://learnyouahaskell.com/making-our-own-types-and-typeclasses

data Person = Person { name :: String 
        , age :: Int 
        } deriving (Show) 

В реальном приложении, используя примитивы, такие как строки и Int для имени и возраста будут constitue примитивной одержимости, код запаха. (Очевидно, также дата родился предпочтительнее Int возраста, но давайте игнорировать это) Вместо этого, один предпочел бы что-то вроде

newtype Person = Person { name :: Name 
         , age :: Age 
         } deriving (Show) 

В языке OO это будет выглядеть как

class Person { 
    Name name; 
    Age age; 
    Person(Name name, Age age){ 
    if (name == null || age == null) 
     throw IllegalArgumentException(); 
    this.name = name; 
    this.age = age; 
    } 
} 

class Name extends String { 
    Name(String name){ 
    if (name == null || name.isEmpty() || name.length() > 100) 
     throw IllegalArgumentException(); 
    super(name); 
    } 
} 

class Age extends Integer { 
    Age(Integer age){ 
    if (age == null || age < 0) 
     throw IllegalArgumentException(); 
    super(age); 
    } 
} 

Но как то же самое достигнутый в идиоматической, лучшей практике Haskell?

Answer 1

Сделайте Name аннотация и предоставите умный конструктор. Это означает, что вы не экспортируете конструктор данных Name и обеспечиваете Maybe -returning конструктора вместо:

module Data.Name 
(Name -- note: only export type, not data constructor 
, fromString 
, toString 
) where 

newtype Name = Name String 

fromString :: String -> Maybe Name 
fromString n | null n   = Nothing 
      | length n > 100 = Nothing 
      | otherwise  = Just (Name n) 

toString :: Name -> String 
toString (Name n) = n 

Теперь невозможно построить Name значения неправильной длины вне этого модуля.

Для Age, вы могли бы сделать то же самое, или использовать тип из Data.Word, или используйте следующее неэффективное, но гарантированное неотрицательное представление:

data Age = Zero | PlusOne Age 

Answer 2

Это может быть код запах в некоторых языках, но это обычно не считается одним в Haskell. Вы должны выбрать конкретное представление имени и даты рождения где-то, и объявление типа данных Person, вероятно, является лучшим местом для этого. В Haskell обычным способом сохранения другого кода в зависимости от представления имени было бы сделать абзац Person. Вместо того, чтобы выставлять конструктор Person, выставляйте функции для создания, изменения и проверки значений Person.