Coro::AnyEventを使うと、継続渡しスタイルを使わずに非同期を書くことができます*1。ということで、試しにやってみました。 最初にまとめ AnyEventの層を作り、その上にCoroの層を重ねて、フロントエンドからはCoroの層だけ使うとわかりやすいアプリができ…
P87-88に書かれているのは、おおざっぱに言えば「-×Aの右随伴が存在 ⇔ ∀CについてC^Aやev_Cが存在」という話です。書籍だけではちょっと曖昧な部分があるのでフォローします。 題意 書籍では左辺はともかく右辺がちょっと曖昧です。マクレーン本や清水本から…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。