在 Haskell 中我自己的类型（数据类型 2）中访问我自己的类型（数据类型）？

Question

好的，所以我有两种类型：

data Ingredient = Ingredient { potato :: String, amount :: Int, cookingTime :: Int }

data Soup = Soup { availableTime :: Int, recipe :: [Ingredient], shoppingList :: [Ingredient], canBeDone :: Bool  }

现在，如果我想比较一种成分的“可用时间”和“烹饪时间”（基本上，如果我只有“可用时间”来煮整个汤，我就有足够的时间来烹饪该成分）。 如果我可以在汤中烹制配料，配料就会转移到购物清单列表中。 我该怎么做？ 这是我想出的：

doIHaveTime :: Soup -> Soup
doIHaveTime Soup{availableTime = a, recipe = [Ingredient{cookingTime = b}] } = if a >= b then Soup{ shoppingList = b:xs } else show "Can't be done."

这种思维方式有意义吗？ 这些是我得到的错误：

soupExample.hs:6:128: 错误： • 无法将类型“[Char]”与“Soup”匹配 预期类型：汤 实际类型：字符串 • 在表达式中：显示“无法完成”。 在表达式中： 如果 a >= b 那么 汤 {shoppingList = b : xs} 别的 显示“无法完成”。 在“doIHaveTime”的等式中： doIHaveTime （汤{availableTime = a，recipe = [Ingredient {cookingTime = b}]}） = 如果 a >= b 那么 汤 {shoppingList = b : xs} 别的 显示“无法完成”。 失败，已加载模块：无。

Answer 1

要处理汤中的多种成分，您可以使用all :: (a -> Bool) -> [a] -> Bool 检查食谱中的每种成分是否可以在可用时间内煮熟：

​​>

enoughTime = all ((>=available) . cookingTime) ingredients

然后你必须在if 和else 分支中返回一个Soup。总的来说，这可能如下所示：

doIHaveTime :: Soup -> Soup
doIHaveTime soup@Soup{ availableTime = available, recipe = ingredients }
    = if enoughTime
        -- add ingredients to shoppingList and set canBeDone to True
        then soup { shoppingList = ingredients
                  , canBeDone = True }
        -- clear shoppingList and set canBeDone to False
        else soup { shoppingList = []
                  , canBeDone = False }
  where enoughTime = all ((>=available) . cookingTime) ingredients

请注意，我使用soup@Soup{ ... } 进行模式匹配并将值同时存储在变量soup 中。这样你只需要修改shoppingList和canBeDone这两个字段。