http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/lectures/lec10.pdf に、次の推論規則が載っていた。 「Xは型です」を X type と書くことにして、 Δ, α type |- τ type ---------------------- Δ |- ∀α.τ Δ, α type; Γ |- e : τ ------------------…

最近考えている手順： スクリプトから有向グラフを作る。あるいは最初から有向グラフが与えられる。 すべてのワイヤー（有向辺＝パイプ）に型注釈を付ける。このとき型付け規則（typing rules）を使う。 限量子で束縛されていた型変数を名前を変えて自由変数…