Entries from 2009-03-29 to 1 day
PPL で話題に上った classical S4 の ◇ と strong monad について、今更ながらふと思い出したので書いてみます。 疑問 確か、S4 の ◇ を「ある時刻に計算可能」と解釈すると Haskell の monad みたいに見えるけど strong monad ではないのでなんか違う、じゃ…
PPL で話題に上った classical S4 の ◇ と strong monad について、今更ながらふと思い出したので書いてみます。 疑問 確か、S4 の ◇ を「ある時刻に計算可能」と解釈すると Haskell の monad みたいに見えるけど strong monad ではないのでなんか違う、じゃ…