想起个事，data的多构造的问题。

Magicloud

比如
data A = B Int
           | C String
对于[A]，如何不用模式匹配判断一个元素到底是B Int还是C String？

MMMIX

原帖由 Magicloud 于 2009-5-30 12:29 发表
比如
data A = B Int
           | C String
对于[A]，如何不用模式匹配判断一个元素到底是B Int还是C String？

我也想知道，你弄清楚了不妨说说。

izhier

这个一般都是用模式匹配吧

MMMIX

原帖由 izhier 于 2009-5-30 22:12 发表
这个一般都是用模式匹配吧

只有这一种方法。

drunkedcat

如果这个 data instance 了一个 class ，实现了其中的操作（函数），那么用的时候就可以直接用相应的函数。
到实现函数这一层，还是用的 pattern matching, 道理其实是一样的。

从一方面说，pattern matching 也没什么不好的啊，省去了好多的 if else.

cjacker

我的理解，这个问题可以这么问：为什么要用data A=B Int|C String而不是data A=Int|String。

其实声明的时候你就已经准备使用pattern match。

MMMIX

原帖由 cjacker 于 2009-5-31 19:16 发表
我的理解，这个问题可以这么问：为什么要用data A=B Int|C String而不是data A=Int|String。

后者是合法的语法么？

Fleurer

原帖由 cjacker 于 2009-5-31 19:16 发表
我的理解，这个问题可以这么问：为什么要用data A=B Int|C String而不是data A=Int|String。

data语句的等号右端一定得是值构造子才行，B和C在本质上都是::A的函数，而Int和String都是类型，是不符合语义的。

[ 本帖最后由 Fleurer 于 2009-6-2 18:08 编辑 ]

MMMIX

原帖由 Fleurer 于 2009-6-2 17:44 发表

data语句的等号右端一定得是值构造子才行，B和C在本质上都是::A的函数，

不是 B or C 是 A 的函数，而是它们的返回值的类型是 A

cjacker

原帖由 MMMIX 于 2009-5-31 19:27 发表

后者是合法的语法么？

你不知道后者的语法不合法吗？

[ 本帖最后由 cjacker 于 2009-6-3 17:33 编辑 ]