日々の流転

λ. Announce: 圏論勉強会(第六回) は延期

会場が使用できなくなり、参加者も少数なので、今週末の勉強会は延期になったそうです。延期先はゴールデンウィークらしいのだけど、どうなることやら……

λ. Randomly Generated Paper Accepted to Conference

addieに教えてもらった。ウヒヒ

λ. Programming with Static Invariants in Ωmega - Nathan Linger and Tim Sheard

Ωmega の話。

Obligations と Assumptions による型チェックは "Wobbly types: type inference for generalised algebraic data types" のものよりも随分単純に見える……

不変量(invariant)を表現する方法としての、GADT と Nested types (non-regular types) の関係はどう考えるべきだろうか。