Polymorphic Record Update
http://www.pllab.riec.tohoku.ac.jp/smlsharp/?Language%2FPolymorphicRecordUpdate
SML# provides the following stntax
<expr> ::= <expr> # { <labeledFields> }
<labeledFields> ::= <label> = <expr> | <label> = <expr>, <labeledFields>for functional polymorphic record update.
結局大堀先生に勝ったということなんでしょうか?>uenoBさん