haskell - 有什么方法可以消除此函数中类型的冗余吗？

Question

假设我有两个这样的函数:

food :: Eatable a => String -> a
food animalType = getAnimal animalType

getAnimal :: Eatable a => String -> a
getAnimal "cat" = Cat
getAnimal "dog" = Dog

Cat 和 Dog 都是 Eatable。

所以我可以这样调用食物函数:

let cat = food "cat" :: Cat

但是把字符串放在那里似乎是多余的。有什么办法可以将其更改为:

let cat = food :: Cat

Answer 1

是的，只需删除多余的参数。 getAnimal 的返回类型决定了将使用的实例。

data Cat = Cat
data Dog = Dog

class Eatable animal where
  getAnimal :: animal

instance Eatable Dog where
  getAnimal = Dog

instance Eatable Cat where
  getAnimal = Cat