m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ メモ Caty データと型の構成を表すアイコンを放置していた。複合データ構成（直積） 配列構成 オブジェクト構成 タギング その他の圏論的な構成 直和（排他的ユニオン） undefモナドによる構成 論理／集合論的な構成 共通部分 合併 だいたいの方針として、直積系は茶色、直和系は白。形状は丸か菱形。共通部分と合併は二重丸にしようかな（共通部分は茶色、合併は白）。スクリプトの図示との整合性も必要だ。 複合データ構成はインスタンスにも定義できる演算。 複合データ構成と、直和／undefモナドはコマンド（射）に対しても適用できる。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20120111%2F1326274209" 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 2012-01-11 18:30:09 rich https://m-hiyama-memo.hatenablog.jp/entry/20120111/1326274209 1.0 100%