, позволит вам исследовать, как вы можете получить номер из типа :)
я возникли некоторые проблемы с выполнением простого сложения, вычитания - любой тип алгебры с новым типом Haskells.
Мое определение (шоу включено, чтобы я мог распечатать их на консоли):
newtype Money = Money Integer deriving Show
То, что я пытаюсь сделать, это в основном:
Money 15 + Money 5 = Money 20
Money 15 - Money 5 = Money 10
Money 15 / Money 5 = Money 3
И так далее, но я получаю
m = Money 15
n = Money 5
Main>> m-n
ERROR - Cannot infer instance
*** Instance : Num Money
*** Expression : m - n
Я не могу найти четкого и краткого объяснения того, как наследование здесь работает. Любая помощь будет принята с благодарностью.