参考： イイカゲンな型システムを求めて - 檜山正幸のキマイラ飼育記 (はてなBlog) イイカゲンな型推論を求めて - 檜山正幸のキマイラ飼育記 (はてなBlog) JSONスキーマのローカル構文に関する思案・試案 - 檜山正幸のキマイラ飼育記 (はてなBlog) JSON型シ…

cathandはCaty（キャティ）にリネーム。意味は特にないが、「猫っぽい」くらいな解釈。なにがどう猫っぽいかは不明。exec ＜ファイル名＞ でスクリプトファイルを実行する。exec は省略できて、単に ＜ファイル名＞ でも同じ。シェルの配下にはたくさんのイ…

ここでタグというのは、目印、マーカーのこと。タグ付き直積の例は、JSONオブジェクト、プロパティ名（キー）がタグになっている。Erlangのプロパティリストもタグ付き直積の表現と考えていい、ただし、リストはどうしても可変長になるから、その点ではタプ…

マクロ（あるいはテンプレート）は、アルファ変換ができないラムダ計算だと思えばいい。単純置換を定義する。M, N, Lを式（項）だとして、x, y, zなどを変数だとする。単純置換をするオペレータを{L/x}のように書く。とりあえずは1個の変数だけを置換。 x{L/…

スコアランキングのTOP10表示 フォームのエラーメッセージをできるだけ分かりやすく テーブルの行の色を変える 通貨や時刻の表示を適切に toupper -- &ltが&LTになったりしない。&alpha（α）が&Alpha（Α）になる。 リスト（配列）のレンダラーはどうするか？…

形式系の微妙なところhttp://d.hatena.ne.jp/m-hiyama-memo/20090828/1251438577 より（竹内本を参考）意味じゃなくて、もっぱら記号の話。 定数とarity 0の関数 関数と演算子 fooとfoo()の区別 関数の引数渡しのバリエーション：可変引数、省略とデフォルト…