s id id idに型が付かない． ghci> let s f g h = f h $ g h ghci> :t s id id id <interactive>:1:5: Occurs check: cannot construct the infinite type: a = a -> b Probable cause: `id' is applied to too few arguments In the second argument of `s', namely `id'</interactive>…

「Types and Programming Languages」(通称TAPL)の訳本，「型システム入門 −プログラミング言語と型の理論−」を読んでいる．読書日記をつけるといいんじゃないかと思い立ったが面倒臭くなった．読み始めは2/4頃．10章まで読んだ． 序文に章の依存関係が載っ…

c-wrapper，c-wrapper は更新されていないけど http://hg.koguro.net/c-wrapper で更新されていた．ダウンロード→タグからダウンロードできる． ./DIST gen ./configure CC=/usr/bin/gcc make DYLD_INSERT_LIBRARIES=/usr/lib/libffi.dylib make check普通に…