集合論に基づいた言語を作りたいat TECH
集合論に基づいた言語を作りたい - 暇つぶし2ch215:デフォルトの名無しさん
14/09/10 23:32:19.53 MIzNsnl2.net
>>214
たとえばレコード型(C言語であれば構造体)は、
単純型、配列型、別のレコード型といった「他の(複数の)型から構成」される
また配列型も整数型、文字型、レコード型といった「他の型(の反復)から構成」される
そしてレコード型や配列型は、要素となった他の型に分解できる

それに対して、単純型は「他の型から構成されることがない」
言い換えると、単純型は(他の型へ)分解できない根源的なデータ型になる
>>213で書いたアトムも、物理学の(分解できない)原子が語源になっている


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch