- 1 名前：デフォルトの名無しさん mailto:sage [2010/04/03(土) 09:24:04 ]
- 70年代、Cは生まれ、それから30余年、現代においてもなお、低レベルなシステム開発に広く使われている。
しかし、2010年の今、もしもCが発明されていなかったとして、低レベルなシステム開発のためのプログラミング言語を
新たに作るとしたら、Cとは違う言語になるだろう。少なくとも、全く同じにはならないはずだ。
そこで、このスレッドでは、
低レベルなシステム開発のためのプログラミング言語
を一から考えたい。
既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
「既存のXX言語を使えばいい。」という類の発言は無意味である。
「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
という観点で考えたい。
◆前スレ
【超高速】C/C++に代わる低級言語を開発したい
pc12.2ch.net/test/read.cgi/tech/1268843875/
- 143 名前：デフォルトの名無しさん [2010/04/04(日) 19:20:48 ]
- >>140
その機構が、直感的で一貫性があればいいけどね。
特殊な例外の積み重ねで、プログラマーが勘違いすると、プログラマーの意図と違う結果になるのは避けたい。
- 144 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:25:34 ]
- >>142
名前空間がファイル単位になるんじゃなかったっけ
- 145 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:34:18 ]
- たぶんそれは名前空間じゃなくてスコープだと思う。
- 146 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:34:53 ]
- すまん、無名名前空間の話とごっちゃにしてた
- 147 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:43:06 ]
- file1.cpp ---
int a = 1234;
static int b = 6789;
file2.cpp ---
extern が無いと a も b も見えない。
------------
file1.h
int a = 1234;
static int b = 6789;
もしも file1.h が複数回includeされていても、b は安泰だが a はエラー
- 148 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:44:35 ]
- >>147
初心者スレでやれ
- 149 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 19:53:39 ]
- まぁ初心者云々はともかくC++におけるstaticの多義性が
>>143の「特殊な例外の積み重ね」であることは間違いないなw
- 150 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 20:18:23 ]
- そもそもCPUが何してるか知らない奴多くね？
- 151 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 20:33:28 ]
- 論理回路の知識がなくてもプログラミングに差し支えはないだろ。
差し支えるようなプログラミング言語というのもあるかもしれんが。
- 152 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 20:53:19 ]
- 仕事する上ではそれほど必要ないかもしれんが
低級言語作りたいって言うんだったら必要だろう
- 153 名前：デフォルトの名無しさん [2010/04/04(日) 20:58:10 ]
- >>150
なぜそう思ったの？
- 154 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:00:13 ]
- Javaでプログラミングするとしても、パフォーマンスを考えるためにある程度の知識は必要だろ。
- 155 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:05:47 ]
- >>153
自分がCPUが何をしているか知らないから、それを知っていることが凄いとでも思っちゃったんじゃないの。
- 156 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:10:17 ]
- vbプログラマとかCPUのことよくわかってないの多いぞ
- 157 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:10:40 ]
- そんなに必要な機能があるなら、C99に取り込まれているだろう。
- 158 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:15:58 ]
- >>156
お前がそういうコミュニティーに属しているというだけだ
- 159 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:27:08 ]
- この流れじゃ、例えPart 3まで行っても何も決まらないだろうな
- 160 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:39:55 ]
- 新言語とかどうでも良くてJAVAを叩ければそれで満足なカスが多すぎる
- 161 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:40:53 ]
- それって、Part3までに決めろよってことだろｗ
おまえ、ワクワクし過ぎｗ
- 162 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 21:42:18 ]
- は？
- 163 名前：デフォルトの名無しさん [2010/04/04(日) 21:43:18 ]
- >>160
Javaなんて別に叩くほどの言語でも無いだろ。どうでもいい。
- 164 名前：デフォルトの名無しさん [2010/04/04(日) 21:58:22 ]
- Javaは使えない言語だが貶すほどでもない
- 165 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 22:01:06 ]
- 言い方を変えるか
とにかく何でも叩きたいだけの生産力絶無のカスが多すぎる
- 166 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 22:02:56 ]
- 普及している言語をカスといっているヤツは、その理由がわかっていないカスだから相手にしなくていい。
- 167 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 22:09:45 ]
- 歴史的理由にすぎない
とかいっているヤツはどうする
- 168 名前：デフォルトの名無しさん [2010/04/04(日) 22:17:08 ]
- どうでもいい。
- 169 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 22:59:43 ]
- CPUどころか、OSが何してるのか知らない奴が多い。
- 170 名前：デフォルトの名無しさん [2010/04/04(日) 23:00:21 ]
- >>169
なぜそう思ったの？
- 171 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:01:34 ]
- >>169がそういうコミュニティーに属してるんだろｗ
- 172 名前：デフォルトの名無しさん [2010/04/04(日) 23:09:09 ]
- >>1
TMPできるようにして
- 173 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:16:07 ]
- 世間一般はＧＵＩの出来でＯＳの評価してるからな
- 174 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:21:07 ]
- OSどころか、コンパイラが何してるのか知らない奴が多い。
- 175 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:27:35 ]
- そりゃ利用者はコンパイラのことなんか知る必要ないからな。
- 176 名前：デフォルトの名無しさん [2010/04/04(日) 23:32:15 ]
- >>174
なぜそう思ったの？
- 177 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:36:39 ]
- ネイティブじゃないからと中間言語を批判しているやつは、コンパイラがなにやっているかわかっていないような気がする。
- 178 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:38:01 ]
- 気がするのは自由だよ。
- 179 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:40:43 ]
- 断定するのも自由だ
- 180 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:41:53 ]
- ということで、新言語の話をどうぞ。
- 181 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:53:44 ]
- お前らホントに>108読んでるのか？
Javaにこだわるやつらは何考えているんだ？
低レベルなシステム開発向け言語というんだったらForthとかPIRとかRTLとかがターゲットじゃないの？
- 182 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:56:34 ]
- PIR、RTLって何？
- 183 名前：デフォルトの名無しさん mailto:sage [2010/04/04(日) 23:58:41 ]
- >>181
スレタイ嫁
- 184 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:02:18 ]
- Java bytecodeやCILに代わるものをやるわけではない
- 185 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:05:01 ]
- PIR: Parrot intermediate representation
Parrotで使っている中間言語
RTL: Register Transfer Language
GCCで使っている中間言語
さすがにそこまでいくと凄いことになるな。
- 186 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:07:11 ]
- プログラマーが三人集まると何も決まらないというのは本当ですな。
先ずは音頭を取るやつがいないと。誰か一人コテつけて幹事を名乗り出るんだ。
- 187 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:07:41 ]
- ここで開発する言語のコンパイラがRTL吐くってことだよね？
RTLに代わるものを作るわけじゃない。
- 188 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:16:14 ]
- よし、じゃあ何か作ろうぜ。
まず、
int main(void)
{
// ↓続きよろしく
- 189 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:19:46 ]
- DはC++と異なり、Cとのソースコード互換性を棄ててるから、レガシー排除したC++にあたる。
Cに代わるものは、Dのサブセットから構成できるのではないか。
- 190 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:22:58 ]
- >>189
具体的にサブセットに含まれる機能を提示してもらえると議論しやすい
- 191 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:24:31 ]
- このさい、基本データ型からきめようよ
- 192 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:44:51 ]
- >>189
互換性を捨てたものが普及した試しなんてあるの？Dは互換性捨てたから駄目なんだね。
- 193 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 00:47:36 ]
- C自体もそれ以前と互換性がないわけだが
- 194 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 01:41:17 ]
- ここの奴らは前スレ埋める事すらしないゴミクズばっかだなｗ
- 195 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 01:57:30 ]
- 基本データ型はbyteのみ
- 196 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:07:29 ]
- 最近じゃエンディアンすらしらねえクズが仕事してるしな
ところでポインタがないから最適化できねえとか本気で書いてんのか
アホすぎ
- 197 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:35:26 ]
- いまエンディアンを知る必要性なんてほとんどないだろ
昔は通信時なんかで考慮必要だった時もあったけどな
- 198 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:40:06 ]
- プログラム組む上で気にしなくてもいいけど知っとくべきだとは思うな
- 199 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:42:08 ]
- 何らかのバイナリファイル読む場面なんて普通にあるから
エンディアンくらい普通の常識として知っとくべき。
>>197 は多分高級言語しか触らないか、テキストファイルくらいしか触らない奴と推測
- 200 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:48:54 ]
- >>199
アセンブラも書くよ
インラインでだけど
- 201 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:50:13 ]
- フレームワーク弄ってる分には必要のない知識なのは確かだ。
- 202 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 14:55:48 ]
- ここ低級な言語のスレだよな？
ま、俺は組み込み屋だからエンディアンは関係あり
- 203 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 18:42:54 ]
- >>188
void (far *func)();
*(unsigned long *)&func = 0xffff0000L;
func();
}
- 204 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 18:55:32 ]
- もうね、farとか見ただけで飯が鼻から出そうです
- 205 名前：デフォルトの名無しさん [2010/04/05(月) 19:28:40 ]
- nearとかfar二度と見たくね('A`)
でも大半はsmallモデルで動いていたんだよなああの頃は
- 206 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 19:29:58 ]
- あれなんでageになってんだ
- 207 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 19:32:51 ]
- 俺はずっと68kとかRISCが多かったから
あんまx86マシンコードの洗礼受けてないけど
見るたびに悪貨は良貨を...ってのを思い出してた。
今やスパコンを構成する位だもんな
思えば遠くへ来たもんだ
- 208 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 19:47:15 ]
- x86は怒濤のクロックアップ戦争があったからね
これに唯一勝ち残ったPowerPCだけがRISCとして活躍している
ARMは低消費電力の観点から別の路線を歩いているし
- 209 名前：デフォルトの名無しさん [2010/04/05(月) 20:32:39 ]
- >>208
なぜ現存CPUコアアーキテクチャで最大勢力のMIPSに言及しないんだ？
- 210 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 20:46:29 ]
- MIPSか
最大勢力という程でもないだろ
ARMの方がよほど多い
- 211 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 20:50:15 ]
- 腕っ節でねじりふせたと言う事か。 ARMだけに
とか言ってｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
- 212 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 20:59:22 ]
- よくわからんけどx86とかPowerPCは電池で動かすのは無理っしょ
ARMは電池で動くのでゲーム機とか携帯電話に多量に使われている
- 213 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 21:38:23 ]
- ppcは高いんだよ
- 214 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 21:41:43 ]
- 需要供給の法則か
まあx86は性能の割りには確かに安い
- 215 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 21:43:51 ]
- あとx86のソフトの豊富さを忘れちゃいけないな
FreeBSDがなければ2chも存在しなかったかもしれん
- 216 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 21:44:08 ]
- >>214
あーarmとかmipsと比べたら。
x86は性能以前に高すぎ
- 217 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 21:46:40 ]
- >>216
そうか
売れるから高くしても売れるってわけか
これでもまだ安くなってるんだぜ
AMDがなかったらもっとバカ高くなってるぞ
- 218 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:07:43 ]
- しかしx86の機械語は何回見ても汚いな
C/C++をコンパイルしたリストを眺めて「ゲロ〜こんなんで
よく動いてるな」といつも思うぜ
- 219 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:18:20 ]
- ８６系は美しくないから、６８００系、次はRISCに性能で負けると言われていたけど、蹴散らしてしまったな。
- 220 名前：デフォルトの名無しさん [2010/04/05(月) 22:21:15 ]
- 機械語に美しさを求めるような奴は、エンジニアに向いていないよ。
- 221 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:25:06 ]
- >>220
分かってるんだ、分かってるけどどうしてもアセンブルリストを見る癖が抜けないorz
>>219
悪貨、良貨を駆逐するの諺通りになってしまったな
- 222 名前：デフォルトの名無しさん [2010/04/05(月) 22:27:52 ]
- x86は優れているから普及した。悪貨ではない。
- 223 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:45:38 ]
- 最後はチップの配線に美しさを求める人が出てくるんだろうか。
- 224 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:47:34 ]
- >>222
優れているか？どう考えてもゴッタ煮だぞ
古い部分から新しい部分までグチャグチャ
- 225 名前：デフォルトの名無しさん [2010/04/05(月) 22:53:28 ]
- ゴッタ煮でグチャグチャな事と、優れていることは、背反ではない
- 226 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:54:20 ]
- よくわからんなあ・・・・
単にソフトが多いだけだと思うが
どう考えてもアーキテクチャ的には汚いぞ
- 227 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 22:57:04 ]
- /: : : : : __: :/: : ::/: : :／/: : :/l::|: : :i: :l: : :ヽ: : :丶: : 丶ヾ ＿＿＿
/;,, : : : //::/: : 7l,;:≠-::/: : / .l::|: : :l: :|;,,;!: : :!l: : :i: : : :|: : ::､ ／ ヽ
/ヽヽ: ://: :!:,X~::|: /;,,;,/: :／ ﾘ!: ::/ﾉ l｀ヽl !: : |: : : :l: :l: ﾘ / そ そ お ＼
/: : ヽヾ/: : l/::l |／|||llllヾ,､ / |: :/ , -==､ l＼:::|: : : :|i: | / う う 前 |
. /: : : //ヾ ; :|!: ｲ､||ll|||||::|| ﾉノ ｲ|||||||ヾ､ |: ::|!: : ｲ: ::|/ な 思 が
/: : ://: : :ヽｿ::ヽl |{ i||ll"ﾝ ´ i| l|||l"l ｀|: /|: : /'!/l ん う
∠: : : ~: : : : : : : :丶ゝ-―- , ｰ=z_ｿ |/ ﾊﾒ;, :: ::|. だ ん
i|::ﾊ: : : : : : : : : : : ､ﾍﾍﾍﾍ ､ ﾍﾍﾍﾍﾍ /: : : : : ＼,|. ろ な
|!l |: : : : : : : : :､: ::＼ ､-―-, / : : :丶;,,;,:ミヽ う ら
丶: :ﾊ､lヽ: :ヽ: : ::＼__ ｀~ " /: : ﾄ; lヽ） ゝ
ﾚ ｀| ｀､l｀､＞=ﾆ´ , _´ : :} ｀ ／
,,､r"^~´"''''"t-｀r､ _ -､ ´ヽノ ＼ﾉ ／ お ・
,;'~ _r-- ､__ ~f､_>'､_ | で 前 ・
f~ ,;" ~"t___ ﾐ､ ^'t | は ん ・
," ,~ ヾ~'-､__ ﾐ_ξ丶 | な 中 ・
;' ,ｲ .. ヽ_ ヾ､0ヽ丶 l /
（ ;":: |: :: .. .｀, ヾ 丶 ! ＼＿＿＿＿／
;;;; :: 入:: :: :: l｀ｰ-､ ）l ヾ 丶
"~､ｿ:: :い:: : ＼_ ノ , ヾ 丶
- 228 名前：デフォルトの名無しさん [2010/04/05(月) 22:58:35 ]
- まあ、「美しさ」でしか取り柄の無い工業製品はいらないわなｗ
- 229 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:02:59 ]
- x86ダメとか、マーケティング知らないすぎ
利用者の立場で考えろよ
職人技術者には無理かな？
- 230 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:04:23 ]
- x86ダメとは言ってないから
ただ「汚いなあ」といつも思いながら仕事してるだけ
今のところシェアがすごいんだから目をつぶってるけど
- 231 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:08:00 ]
- 良いものが売れるのではない
売れるものが良いものなのだ
- 232 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:10:57 ]
- >>231
屁理屈はどうでもいいから
文系はどっか行けよ
- 233 名前：デフォルトの名無しさん [2010/04/05(月) 23:11:24 ]
- x86は優れているから売れた。
- 234 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:13:41 ]
- あーはいはいわかりました
Intel信者キモイな
- 235 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:14:21 ]
- 一人で騒いでるお前がキモイ
- 236 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:17:00 ]
- お前が騒いでるじゃねーか馬鹿か
- 237 名前：デフォルトの名無しさん [2010/04/05(月) 23:20:50 ]
- ということで、新言語の話をどうぞ。
- 238 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:30:50 ]
- 昔はRISCが主流になるって言ってたのに
PowerPCがPentiumに取って代わると信じてたのに
- 239 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:32:30 ]
- os/2はwindowsに駆逐されたしな
- 240 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:34:21 ]
- >>238
だからintelの野望の前にはその理想郷は崩れ去ったんだよ
- 241 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:36:17 ]
- 理想郷じゃないし。地上の楽園だろｗ
- 242 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:37:52 ]
- 地上の楽園かあ
綺麗なアーキテクチャごときで地上の楽園と言い切れるお前の頭の中を
一度見てみたいものだ
- 243 名前：デフォルトの名無しさん mailto:sage [2010/04/05(月) 23:50:18 ]
- >>242には地上の楽園の意味が通じていないようだな
|
 |
