SML#

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. 結局大堀先生に勝ったということなんでしょうか?>ueno</labeledfields></expr></label></expr></label></labeledfields></labeledfields></expr></expr>…