Мне интересно, какой дизайн лучше использовать с точки зрения удобства использования / удобства обслуживания, а что лучше для сообщества.
Учитывая модель данных:
type Name = String
data Amount = Out | Some | Enough | Plenty deriving (Show, Eq)
data Container = Container Name deriving (Show, Eq)
data Category = Category Name deriving (Show, Eq)
data Store = Store Name [Category] deriving (Show, Eq)
data Item = Item Name Container Category Amount Store deriving Show
instance Eq (Item) where
(==) i1 i2 = (getItemName i1) == (getItemName i2)
data User = User Name [Container] [Category] [Store] [Item] deriving Show
instance Eq (User) where
(==) u1 u2 = (getName u1) == (getName u2)
Я могу реализовать монадические функции для преобразования пользователя, например, путем добавления элементов или хранилищ и т. Д., Но я могу в итоге получить недопустимого пользователя, поэтому эти монадические функции должны будут проверять пользователя, которого они получают и / или создают.
Итак, я должен просто:
- оберните его в монаду ошибок и заставьте монадические функции выполнить проверку
- оберните его в монаду ошибок и заставьте потребителя связать монадическую функцию проверки в последовательности, которая выдает соответствующий ответ об ошибке (так что он может не проверять и не переносить недопустимый объект пользователя)
- на самом деле встроить его в экземпляр привязки на пользователя, эффективно создавая мой собственный тип монады ошибок, которая выполняет проверку с каждой привязкой автоматически
Я вижу положительные и отрицательные стороны для каждого из трех подходов, но хочу знать, что сообщество чаще всего делает для этого сценария.
Так что в терминах кода что-то вроде, вариант 1:
addStore s (User n1 c1 c2 s1 i1) = validate $ User n1 c1 c2 (s:s1) i1
updateUsersTable $ someUser >>= addStore $ Store "yay" ["category that doesnt exist, invalid argh"]
вариант 2:
addStore s (User n1 c1 c2 s1 i1) = Right $ User n1 c1 c2 (s:s1) i1
updateUsersTable $ Right someUser >>= addStore $ Store "yay" ["category that doesnt exist, invalid argh"] >>= validate
-- in this choice, the validation could be pushed off to last possible moment (like inside updateUsersTable before db gets updated)
вариант 3:
data ValidUser u = ValidUser u | InvalidUser u
instance Monad ValidUser where
(>>=) (ValidUser u) f = case return u of (ValidUser x) -> return f x; (InvalidUser y) -> return y
(>>=) (InvalidUser u) f = InvalidUser u
return u = validate u
addStore (Store s, User u, ValidUser vu) => s -> u -> vu
addStore s (User n1 c1 c2 s1 i1) = return $ User n1 c1 c2 (s:s1) i1
updateUsersTable $ someValidUser >>= addStore $ Store "yay" ["category that doesnt exist, invalid argh"]
источник