Haskellはクイックソートを書くための言語 SmallTalkは銀行の預金残高を書くための言語、以下略 ラプラス変換を見直すこと Ocamlの文字列はリストでも配列でも無い 部分型の型推論は無理、HaskellのIntとIntegerは特別扱い stronged typedefの型推論も無理 l…