m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ caty 他の構文との整合性がなくなってきたとかの理由で、スキーマ構文を変更の予定。将来的には型関数（型変数を持つ型構築子、総称型）も認める方針として、現状では型演算子を多用することにする。構文構成素 型定数：意味が定まった型の名前。string, null, anyなど。 型変数：未定な型を意味する。 型関数：型変数を含む型表現、型を受け取り型を返す関数（多くの場合、関手の対象部分）を意味する。 型演算子：型関数と同じだが、特殊な構文。 型定数 integer number string boolean null array (新規) object (新規) never any 型演算子 '?' オプ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20091219%2F1261123136" title="スキーマ構文の変更案（ラフ） - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-12-19 16:58:56 rich https://m-hiyama-memo.hatenablog.jp/entry/20091219/1261123136 1.0 100%