接口的haskell等价物是什么？

Question

我想实现能够保证导出一组类似功能的模块。

举个例子：假设我想翻译一个词。每个单词都从源语言（比如English）映射到目标语言（比如Spanish 和Russian）。

我的主应用程序将导入西班牙语和俄语的模型并选择默认模型俄语。我想保证，每个模型都有：

• 一个函数translateToken :: String -> String
• 一个函数translatePhrase :: String -> String

具体行为在其中实现。

我该怎么做？

编辑，关于李的回答： 如何使用包含使用守卫的函数的记录语法创建数据类型？

-- let's suppose I want to use a function with guards in a record.
-- how can and should i define that?

data Model  = Model { translateToken :: String -> String}

-- idea 1) should I define the functions separately, like this?
-- how do I do this in a way that does not clutter the module?
f l
  | l == "foo" = "bar"

main :: IO ()
main = print $ translateToken x "foo"
  where
    x = Model {translateToken=f}
    -- idea 2) define the function when creating the record,
    -- despite the syntax error, this seems messy:
    -- x = Model {name=(f l | l == "foo" = "bar")}

-- idea 3) update the record later

Answer 1

那就是类型类。来自Learn You a Haskell： “类型类更像接口。”

您将定义自己的类型类（未经测试）：

  class Translation a where
    translateToken :: a -> String -> String
    translatePhrase :: a -> String -> String

并将其实现为

  instance Translation Spanish where
     translateToken = spanishTranslateToken
     translatePhrase = spanishTranslatePhrase

另见Real Word Haskell on typeclasses

Answer 2

您可以创建一个包含所需功能的类型，例如

data Model = Model { translateToken :: String -> String,
                     translatePhrase :: String -> String }

然后为西班牙语和俄语创建值。

Answer 3

class，有时称为“类型类”。不过不要将这与您通常的 OO 类混淆，Haskell 类没有数据，并且通常没有实现（通用默认值除外）。