2010-10-19から1日間の記事一覧
以前作ったSMLの遅延リストのコンストラクタを, デフォルトの正格リストに合わせました. これで組み込み(というかtoplevel)で用意されているリストと同じように使用できると思っていた時期が私にもありましたorz datatype 'a inflist = nil | ::: of 'a * 'a…
以前作ったSMLの遅延リストのコンストラクタを, デフォルトの正格リストに合わせました. これで組み込み(というかtoplevel)で用意されているリストと同じように使用できると思っていた時期が私にもありましたorz datatype 'a inflist = nil | ::: of 'a * 'a…