2020-03-02から1日間の記事一覧
ゼミのたびに「あの単語の意味ってなんだったっけ?」って事案が多発するので定義をまとめた記事を作ります。 適用順序評価と正規順序評価 正規順序評価(normal-order evaluation) 完全に展開してから簡約する。 適用順序評価(applicative-order evaluation)…
ゼミのたびに「あの単語の意味ってなんだったっけ?」って事案が多発するので定義をまとめた記事を作ります。 適用順序評価と正規順序評価 正規順序評価(normal-order evaluation) 完全に展開してから簡約する。 適用順序評価(applicative-order evaluation)…