このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

総称型とJSONスキーマ属性

Set<X>, Bag<X> のような型を導入はしないで同じことをしたいなら:

  • arrayのスキーマ属性に unique と unordered を入れる
  • unique = true なら同じ項目を許さない。
  • unordered = true なら項目の出現順序は気にしない。
  • unorderedのときはソートしたものを正規形としてよい。
  • だが、ソートの負担がかかる。
  • Erlangのなんでもかんでもソートできるのはスゴイな。