看板
[ PLT ]
討論串[問題] FLOLAC op semantics 作業
共 5 篇文章
內容預覽:
type config =. Inter of statement * state. | Fianl of state. 老師作業中應該是要讓. natural_semantics 的type為. config->config = <fun>. 不過實際寫起來覺得似乎不太可行. 因為根本不可能知道回
(還有325個字)
內容預覽:
我其實沒仔細看，可能不是很進入狀況。我猜是這樣的：. 我想 ns 應該是要定義成遞迴函數的。遞迴呼叫的結果. 也可以用 match 得知是 Inter 還是 Final.. 我也是覺得這樣比較像 natural semantics. 也許. 改用 config -> config 的原因是以後比較容
(還有15個字)
內容預覽:
pattern matching 我會做. 我想我問題描述的不夠精確.... 節錄一部分不能用的程式碼. 用statement->state的版本我已經可以讓它跑了，以下是config->config的版本. c 是config. config = Inter a_exper * state. |F
(還有702個字)
內容預覽:
我人在外面，手邊沒有OCmal或作業的code. 試著憑印像回答看看，有錯請見諒. 顯然ns st1 s會回傳一個config. 而且依照ns的定義 他一定會回傳一個Final s, 而非Inter (st, s). 所以你要對ns st1 s的回傳值先做一次pattern matching. le
(還有393個字)