需要CML

Question

的語法解釋有人能請解釋細胞數據類型的語法：

datatype 'a request = READ | WRITE of 'a 

datatype 'a cell = CELL of { 
    reqCh : 'a request chan, 
    replyCh : 'a chan 
} 

Answer 1

我真的不知道你在迷茫什麼，但這應該有所解釋的類型。

數據類型'a cell有一個構造函數，CELL，其參數是兩個領域的紀錄：
reqCh，這是一個'a request chan和replyCh，這是一個'a chan。

您沒有提供chan的定義，因此我無法真正確定。但是， 'a request有兩個構造函數READ和WRITE。前者無爭議，而 第二次採用'a類型的論點。

例如，假定某種類型t，一個t request chanx和t chany，你可以有這樣的：

val aCell : t cell = CELL {reqCh = x, replyCh = y}