10

我正在传递一个部分应用的功能。完整的签名是：

import Data.Map as Map 
-- Update the correct bin of the histogram based on the min value, bin width,
-- the histogram stored as a map, and the actual value we are interested in.
updateHist :: Double -> Double -> Map.Map Bin Double -> Double -> 
              Map.Map Bin Double

该函数更新存储直方图数据的地图。前两个参数给出了我们感兴趣的数据的下界，下一个是直方图的 bin 宽度。我在程序启动时填写这些值，并在整个模块中传递部分应用的函数。这意味着我有大量的函数，其签名如下：

-- Extra the data out of the string and update the histogram (in the Map) with it.
doSomething :: String -> (Map.Map Bin Double -> Double -> Map.Map Bin Double) -> 
               Map.Map Bin Double

这一切都很好，但写“（Map.Map Bin Double -> Double -> Map.Map Bin Double）”相当冗长。我想将它们全部替换为“UpdateHistFunc”作为一种类型，但由于某种原因我一直失败。

我试过：

newtype UpdateHistFunc = Map.Map Bin Double -> Double -> Map.Map Bin Double

这失败并出现错误：

HistogramForColumn.hs:84:44: 解析错误输入`->'

我究竟做错了什么？

4

1 回答 1

17

你在这里感到困惑type吗newtype？

Usingtype定义了一个类型同义词，这似乎是您正在尝试做的，而newtype创建一个需要构造函数名称的新类型，例如 with data。

换句话说，你可能想要这个：

type UpdateHistFunc = Map.Map Bin Double -> Double -> Map.Map Bin Double

...或者也许是这样的：

newtype UpdateHistFunc = UpdateHistFunc (Map.Map Bin Double -> Double -> Map.Map Bin Double)

后者显然需要“解包”才能应用该功能。

以供参考：

  • data定义了一种新的代数数据类型，它可以是递归的，具有不同的类型类实例，引入了一层可能的惰性，所有这些东西。
  • newtype使用带有单个参数的单个构造函数定义数据类型，它可以是递归的并且具有不同的实例，但仅用于类型检查；编译后就相当于它包含的类型。
  • type定义了一个类型同义词，它不能是递归的或具有不同的实例，在类型检查时完全扩展，并且相当于一个宏。

如果您想知道“额外懒惰”之间的语义区别data以及newtype涉及“额外懒惰”的位置，请比较这两种类型以及它们可能具有的值：

data DType = DCon DType

newtype NType = NCon NType

例如，如果将这些函数分别应用于undefinedvs.DCon undefined和NCon undefined，您认为这些函数会做什么？

fd (DCon x) = x
fn (NCon x) = x
于 2011-06-17T21:40:46.823 回答