多相型レコードupdate

多相型レコードupdateのための以下の構文が用意されている.

 <expr>  ::= <expr> # { <labeledFields> }
 <labeledFields> ::= <label> = <expr> | <label> = <expr>, <labeledFields>

<expr> # { <labeledFields> }は,<expr>が表すレコードの中で<labeledFields>に示された値を変更して得られる新しいレコードを生成する.ただしこの構文でレコードのフィールドを追加することはできない.<labeledFields>で変更される各フィールドはすべて<expr>に存在している必要がある.

Last modified:2007/03/30 10:34:03
Keyword(s):
References:[SML#言語]