2011-06-26から1日間の記事一覧
('a, 'b) reader SML(のStringCvt)には datatype ('a, 'b) reader = 'b -> ('a, 'b) option という型が定義されています. これは'b型の入力から'a型の値を読み出して, 読み出した残りのデータとのペアを返す関数型です.*1 読み出しに失敗した場合はNONEが返…
('a, 'b) reader SML(のStringCvt)には datatype ('a, 'b) reader = 'b -> ('a, 'b) option という型が定義されています. これは'b型の入力から'a型の値を読み出して, 読み出した残りのデータとのペアを返す関数型です.*1 読み出しに失敗した場合はNONEが返…