Concurrent Clean: Re: do記法
[id:lethevert:20070303:p7]
[id:lethevert:20070505:p3]
とりあえず、以下の式はCleanで使用可能。
Start = 1 + case 2 of n # n = 1 + n n = 2 * n = n
そのことを前提に、
Start = 1 + for 2 do (+) 1 (*) 2 return
を上の式に変換できればよい。
[id:lethevert:20070303:p7]
[id:lethevert:20070505:p3]
とりあえず、以下の式はCleanで使用可能。
Start = 1 + case 2 of n # n = 1 + n n = 2 * n = n
そのことを前提に、
Start = 1 + for 2 do (+) 1 (*) 2 return
を上の式に変換できればよい。