数据构造函数的Haskell示例中“Pt”的含义

时间:2017-11-29 10:30:33

标签: haskell types constructor

以下示例来自Hudak,Peterson和Fasel的"A gentle introduction to Haskell 98"

data Point a = Pt a a

这是什么'Pt'?它从何而来?这是什么意思?之前已经定义过,还是我们在这里定义它?它突然出现在文本中,之前没有被提及,谷歌为“Pt Haskell”返回了葡萄牙语中的Haskell文档; - )

编辑:感谢@unhammer的回复,我现在看到对另一个问题的回答很好地解释了问题:here

1 个答案:

答案 0 :(得分:5)

var requestProducts = new FormData(); _.each(vm.products, function(product){ _.each(product, function(key, item)){ requestProducts.append(key, item); } } }); 是您自己组成的名称。您可以使用它来创建新的Pt

Point

(对于这些单构造函数数据,您经常会看到它们与类型相同,如λ> data Point a = Pt a a λ> let p = Pt 1 2 λ> :t p p :: Num a => Point a 。)