haskell - 如何定义像1这样的对象？

Question

在 haskell 中 1::Num a => a。

我如何(如果以任何方式)复制这种行为，即 定义一个类型类 MyNum(可能是类型和实例) 和一个对象One，它是 输入 One::MyNum a => a?

Answer 1

class MyNum a where
  one :: a

现在one::MyNum a => a。然后你可以写

instance MyNum Int where
  one = 1

等等。

不确定您实际上想要实现什么，或者这是否只是一个玩具实验或其他什么。但我认为这回答了字面上提出的问题。