apply (undefined :: n -> Succ (Succ n)) Zero :: Succ (Succ Zero) 型レベルのλ (System FのΛ)があったらいいのにーという風に理解したのですがそりゃ難しそうに思えます． 難しくありませんでした．何かそれっぽいのができました．知りもしないのに適当な…

MacPorts から F# を入れて触ってみました． インストール sudo port install fsharp インタプリタの起動 fsi しばらく待つと mono がむっくりと起き上がって，プロンプトがでます。 もし起動しない場合は, bashrc に export DYLD_FALLBACK_LIBRARY_PATH=/us…