エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
2013-05 :: return0 note
2013-05-02 † メモ代わりに昨日今日で勉強したり実装したことをざっくりと書いておく。 まずJSONにおけ... 2013-05-02 † メモ代わりに昨日今日で勉強したり実装したことをざっくりと書いておく。 まずJSONにおけるあらゆるの存在する領域をunivとする。univの定義はCatyのスキーマで書けばこう。(実際には実装上の都合というか効率化の観点から、univは処理系が天下り的に与えている。) type univ = string | number | boolean | null | array | object; 一方でunivがまずあって、そこから文字列や整数だけを取り出す事を考えてみる。Catyスキーマにはスキーマ属性として一部の述語が書けるようになっているが、そこにis_numberやis_stringといった物があると考える。この場合、stringやintegerはunivからそういった条件に合致するものを取り出した集合と考えられる。以下はいろいろ端折った例。 type str