さらに読者を混乱させてみる。 let to_dyn t x = (fst t) x let of_dyn t x = (snd t) x let int = (fun (i : int) -> `Int i), (fun (`Int i) -> (i : int)) let bool = (fun (b : bool) -> `Bool b), (fun (`Bool b) -> (b : bool)) let pair a b = (fun (…

いろいろなところに口を出してしまったので、どういう「感じ」になるのかだけテキトーに書いてみた。 type 'a printer = 'a -> string let int_printer : int printer = string_of_int let bool_printer : bool printer = string_of_bool let pair_printer :…

東京まで見学しにいくつもりでスケジュールと予算を調整していますよ。事務の関係で３月の出張は１月末頃までにfixしないといけないので、日程が延期されないように(?)がんばってください。よろしく。:-)ちなみに第1回CPU実験発表会は予定がfj（といってわか…