Concurrent Clean : 破壊的更新と関数的更新のバッドノウハウ
Cleanの配列は、次のように更新できる。この更新は破壊的更新なので、配列 arr は一意性属性を持つ必要がある。
{arr & [i] = e}
Cleanのレコードは、次のように更新できる。この更新は関数的更新なので、レコードはコピーされる。
{rec & fld = e}
Cleanの配列は、次のように更新できる。この更新は破壊的更新なので、配列 arr は一意性属性を持つ必要がある。
{arr & [i] = e}
Cleanのレコードは、次のように更新できる。この更新は関数的更新なので、レコードはコピーされる。
{rec & fld = e}