日々の流転

λ. インスタンスの列挙

[Haskell-cafe] Is it possible to print out types of instances in scope で知ったのだが、新しいGHCiの:infoコマンドは、型クラスの名前を与えるとインスタンスのリストを表示してくれるし、型の名前を与えると属しているクラスのリストを表示してくれる。Hugsには前からあったので、GHCiでも使えるようになって嬉しい。

λ. 構成的な関数からなる圏

よく出てくるのは

• PER
• ω-Set
• effective topos

くらいか。どれもあまり知らないや。

キーワード

• Kleene の実現可能性解釈 (realizability interpretation)
• 実現可能性宇宙 (realizability universe)
• 総合的領域理論 (Synthetic Domain Theory)

λ. Extensional PERs, Peter J. Freyd, P. Mulry, Giuseppe Rosolini, D. Scott

を読んだ。

λ. An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa

メモ。