コンピュテーション式におけるreturnとyield - ぐるぐる～

今日、id:htid46 とF#の話をしつつ帰った時のまとめです。 前提条件 次の2つのエントリを読んでいることが前提です。 詳説コンピュテーション式 - ぐるぐる～ コンピュテーション式の実装にStateを用いる - pocketberserkerの爆走 returnとyieldの変換規則 先日のエントリでも書いたように、ReturnとYield、ReturnFromとYieldFromは全く同じ変換のされ方をします。 T(return e, C) = C(b.Return(e)) T(yield e, C) = C(b.Yield(e)) T(return! e, C) = C(b.ReturnFrom(src(e))) T(yield! e, C) = C(b.YieldFrom(src(e))) つまり、ReturnもYieldも同じ実装にしたとしても、コンパイルは通ります。 とい

[quassia88]

今日、id:htid46 とF#の話をしつつ帰った時のまとめです。 前提条件 次の2つのエントリを読んでいることが前提です。 詳説コンピュテーション式 - ぐるぐる～ コンピュテーション式の実装にStateを用いる - pocketberserkerの爆走 r