haskell - 使用 `newtype` 包装其他类型

Question

我正在尝试理解 newtype 并认为这会起作用:

module NT where

newtype X = X Double
newtype Y = Y Double

doit :: X -> Y -> Double
doit x y = x + y

x = X 1.1
y = Y 2.2

-- doit x y should work
-- doit y x should error

产生的第一个错误是:

NT.hs:7:12: error:
    • Couldn't match expected type ‘Double’ with actual type ‘X’
    • In the expression: X x + Y y
      In an equation for ‘doit’: doit x y = X x + Y y
  |
7 | doit x y = X x + Y y
  |

我知道类型不匹配，我只是不知道如何解决它。我认为像这样包装 Double 可以用来防止 doit 中 x 和 y 的混淆。

这是真的吗，还是我误会了？

Answer 1

您需要在 + 之前“解包”newtype可以工作。

doit :: X -> Y -> Double
doit (X x) (Y y) = x + y

在这里，我使用模式匹配来解包 Double在每个参数中。在这里，x和 y都是Double , 所以你可以用 x + y 添加它们.