練習問題 6.15 ヴァリアントの応用 sum型

練習問題 6.15 sum型を使って、次の型をもつ関数 f1 〜 f7 を定義しなさい。(組型の * と sum は sum のほうが強く結合します)。 (1) f1: ‘a * (‘b, &#8 […]

練習問題 6.9 XMLをヴァリアントで表す

練習問題 6.9 以下のヴァリアントは、XML文書の構成要素を表すデータ構造です。(PCDATAというのは、XMLの用語での文字列です)。 type token = PCDATA of string | Open of […]

練習問題 6.2 ヴァリアントを使う

練習問題 6.2 位置情報が付加された2つの図形が重なりを持つか判定する。 figure with_location -> figure with_location -> bool 型の関数 overlap […]