想起個(gè)事，data的多構(gòu)造的問題。

Magicloud

比如
data A = B Int
           | C String
對于[A]，如何不用模式匹配判斷一個(gè)元素到底是B Int還是C String？

MMMIX

原帖由 Magicloud 于 2009-5-30 12:29 發(fā)表
比如
data A = B Int
           | C String
對于[A]，如何不用模式匹配判斷一個(gè)元素到底是B Int還是C String？

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

izhier

這個(gè)一般都是用模式匹配吧

MMMIX

原帖由 izhier 于 2009-5-30 22:12 發(fā)表
這個(gè)一般都是用模式匹配吧

只有這一種方法。

drunkedcat

如果這個(gè) data instance 了一個(gè) class ，實(shí)現(xiàn)了其中的操作（函數(shù)），那么用的時(shí)候就可以直接用相應(yīng)的函數(shù)。
到實(shí)現(xiàn)函數(shù)這一層，還是用的 pattern matching, 道理其實(shí)是一樣的。

從一方面說，pattern matching 也沒什么不好的啊，省去了好多的 if else.

cjacker

我的理解，這個(gè)問題可以這么問：為什么要用data A=B Int|C String而不是data A=Int|String。

其實(shí)聲明的時(shí)候你就已經(jīng)準(zhǔn)備使用pattern match。

MMMIX

原帖由 cjacker 于 2009-5-31 19:16 發(fā)表
我的理解，這個(gè)問題可以這么問：為什么要用data A=B Int|C String而不是data A=Int|String。

后者是合法的語法么？

Fleurer

原帖由 cjacker 于 2009-5-31 19:16 發(fā)表
我的理解，這個(gè)問題可以這么問：為什么要用data A=B Int|C String而不是data A=Int|String。

data語句的等號右端一定得是值構(gòu)造子才行，B和C在本質(zhì)上都是::A的函數(shù)，而Int和String都是類型，是不符合語義的。

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

MMMIX

原帖由 Fleurer 于 2009-6-2 17:44 發(fā)表

data語句的等號右端一定得是值構(gòu)造子才行，B和C在本質(zhì)上都是::A的函數(shù)，

不是 B or C 是 A 的函數(shù)，而是它們的返回值的類型是 A

cjacker

原帖由 MMMIX 于 2009-5-31 19:27 發(fā)表

后者是合法的語法么？

你不知道后者的語法不合法嗎？

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