- 集合論に基づいた言語を作りたい
163 :デフォルトの名無しさん[sage]:2014/09/05(金) 06:58:20.44 ID:vJ702ivD - >>157
ハア?ナニイッテンノ? 関数型にも計算順序はあるぞ。評価戦略という名前で。
|
- 静的型付け言語の潜在開発生産性は今の100倍 ×5
672 :デフォルトの名無しさん[sage]:2014/09/05(金) 07:01:12.38 ID:vJ702ivD - >>670
byte単位、word単位、dword単位のインストラクションを持つCPUを使う限り 機械語にも型情報がある。
|
- 静的型付け言語の潜在開発生産性は今の100倍 ×5
675 :デフォルトの名無しさん[sage]:2014/09/05(金) 20:07:48.66 ID:vJ702ivD - >>674
符号の有無もあるぞ。十分にデータ型の条件を満たしているが。
|
- 静的型付け言語の潜在開発生産性は今の100倍 ×5
677 :デフォルトの名無しさん[sage]:2014/09/05(金) 22:22:52.52 ID:vJ702ivD - メモリ上のオブジェクトのビット幅と符号等のエンコーディングだけでは型じゃないというなら、
じゃあC言語の型は型じゃないのかよw
|
- 集合論に基づいた言語を作りたい
173 :デフォルトの名無しさん[sage]:2014/09/05(金) 22:27:04.06 ID:vJ702ivD - >>172
へー、consセルのcarに破壊代入するかわりに cdrをコピーせずに新しいcarだけを追加するのかい? そりゃすごいねえ
|