Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-09-30から1日間の記事一覧

Coro::AnyEventでフロントエンドをコールバックを使わずに書く

Coro::AnyEventを使うと、継続渡しスタイルを使わずに非同期を書くことができます*1。ということで、試しにやってみました。 最初にまとめ AnyEventの層を作り、その上にCoroの層を重ねて、フロントエンドからはCoroの層だけ使うとわかりやすいアプリができ…

層・圏・トポス P88 - ベキ対象と随伴

P87-88に書かれているのは、おおざっぱに言えば「-×Aの右随伴が存在 ⇔ ∀CについてC^Aやev_Cが存在」という話です。書籍だけではちょっと曖昧な部分があるのでフォローします。 題意 書籍では左辺はともかく右辺がちょっと曖昧です。マクレーン本や清水本から…