このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

2012-08-18から1日間の記事一覧

CatyScriptと総称ラムダ計算

CatyScriptの総称機能がだいぶちゃんとしてきたので、それに絡めて総称ラムダ計算の説明をしておこうかな、と。ここで言う「総称」は「型変数を含む」という意味です。そして、総称をサポートするとは次のことです。 型変数を含む型表現を扱う。 型変数を含…