関数型プログラミング言語ML
■ このスレッドは過去ログ倉庫に格納されています
0625デフォルトの名無しさん
NGNGdatatype 'a tree = Nd of ('a * (('a tree) list));
というデータ型はどういうデータなんでしょうか?
例えばaをint型とした場合、Nd(1, [Nd(1, […, …]), Nd(1, […, …]), …]);
という形になると思うんですが、通常のtree型と違ってEmptyの定義がないために、
一番先の葉の部分をどういう風に記述していいのかわかりません。
このデータ型はどういうふうに表せばいいのでしょうか?
■ このスレッドは過去ログ倉庫に格納されています