【超高速】C/C++に代わる低級言語を開発したい 8
70年代、Cは生まれ、それから30余年、現代においてもなお、低レベルなシステム開発に広く使われている。 http://toro.2ch.net/test/read.cgi/tech/1275235018/l50 ◆新言語の要件 v0.1◆ ◆新言語の前提 ver0.02◆ チューリング完全になれば何でも良かったんだよ 営利目的で言語は作ったほうがいいよ ＜ハードウェアを直接操作する低レベルの記述が可能 マジレすすると、 アセンブラに化け物なマクロ入れるだけでいいんじゃねぇの？ C言語の価値もプリプロセッサにあるんだよね なんでC++は仮想関数使うと異様に遅くなるんだろう。 アセンブラマクロに強力な型機能を持たせて、ついでに多態性も付けて プログラミングは最終的にはアセンブラになるかもしれないね せっかくよく考えたのなら、その考えを文章にしてみよう。 >>24 昔は知らんが 制御対象が十分に抽象化されていれば高級、ベタに見えていれば低級 サーバーサイドjsが持てはやされるぐらいなんだから、 WebでC/C++は珍しい。 いまの言語とか制御構造や予約語の文法以前とか以前に 魔法みたいなことが出来る関数があれば終わりですって Webやスクリプト言語には興味ありません >>33 >>37 ある程度モデルになる言語は要るだろ モデルにすることを提案するだけではなく、どのようにモデルにするのかを提案するともっといいぞ 局所変数をすべて静的大局変数にするなんてどうだい？ 41 名前：あぼ〜ん[あぼ〜ん] 投稿日：あぼ〜ん ポストPHP/CGIを狙うような静的型付き言語を開発したいがそういうスレはないものか （どうやら俺の他にはいないようだな…しめしめ、勝った） C/C++なくても、型付Lispが開発されて、もっと遅かったであろう。 実用化されるまで10年以上遅れていたであろう。 Cができるようになる前から安価なPCってあったんだっけか CもC++も高級言語で、スレタイがそもそも間違ってるのに、いつまで続けてるんだ。 オブジェクト思考なんて何十年も前 >>55 アスペクト指向はソースコードのXML化といって差し支えない 型付きlisp風言語作ればいいじゃんて話だろ、まとめると 関数コール時値やアドレス値をスタックやレジスタへ積み積みする暗黙に埋め込まれるコードもアスペクト 自分一人でやる分にはいいが複数人でやるとたちまち世界が破滅する 構文を工夫して文字数を減らしても仕方ないし、XML/アスペクト指向も終わった。 >>59 >>53 と >>67 って同一人物? Cを高級アセンブラという人はアセンブラを知らない。 俺は C よりアセンブラを先にやったクチだが 初期のCは高級アセンブラと言って良かったが、最新のC/C++はインラインアセンブラがサポートされなくなってきたので インラインアセンブラは関係ない >>76 インラインアセンブラなら、ふつうのユーザーもビルドで悩まないですむ http://www.kmonos.net/alang/d/faq.html#q1_1 >>53 >>77 >>78 >>80 >>81 >>78 はD言語のFAQのコピペだぞ。つまり「私」というのはD言語の開発者だ。 >>80 Cのファイルサイズサイズ語るならリンカだろ？ >>84 具体的な説明でもobjdumpで十分だろ。 逆汗読めねえ低脳でもリンカのマップくらい読めよせめて ついに逆アセンブルに意味がないことを認めてしまった低能ｗ は？ 10倍という定量的な値に反論できないのはてめえだろうが 説明出来れば十分だろ？ それは10倍にならないコードを示せれば充分だ このまま逆アセンブルが必要である具体的な理由を示せないなら負けだぞ低能 別に負けで結構だ 具体的に言えないどころかあえて言わないだってｗ readmemoryとか scalaみたいな、Cかアセンブラのコードに変換してくれる言語作れば？ PGはバカでいいという思想はCOBOLの轍そのもの 開発環境は言語のうち >>103 PGはバカでいいというなどという突拍子もない捉え方は１ビット脳そのもの >既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、 >>1 大事なのは俺TUEEE感に浸れるかどうかだから トランスコーダから始めよう。 >>110 C言語が糞なのはヘッダファイルが原因だ 上からモノ言う人って、すごい人なのかと思ってた。 RUSTってC++と比較されるけど低レベル組み込み系もいけんの？ C++、stlが許されるだけのリソースがあるなら大丈夫そうだ。 コンパイル時リフレクション(javaでいうアノテーション・プロセッサ）がほしいな vecterはc、c++から外して欲しい、元はjavaだろ、イテレータとか。 ___ _ http://www.soumu.go.jp/senkyo/kokumin_touhyou/index.html 言語作ってるんだけど、 アセンブラ介したほうが少なくともデバッグはしやすいと思うぞ そのコンパイラで何ができるもしくは何をやらせるのかも >>134 >>135 x86系の命令、１６進数で読めるんだ >>136 >>137 >>138 本スレは、コンパイラをどのように作るか、ではなく、どのような言語仕様にするか、を重視しています。 LLVM/Clang 実践活用 ハンドブック、出村成和、2014 >>140 ,142 >>141 LLVMはフロント・ミドル・バックの、3つの部分に独立している >>143 >>145 >>146 >人間との会話のときに相互の情報伝達の効率がいい 何でも良いけど、動作速度がトロくて高級言語がとかぬかして >>1 >>147 >>2 にも書いてあるように既存のプログラミング言語にないような機能でプログラム書いてみるの楽しいでしょ >>149 >>152 しゃべればしゃべるほど非マの妄言と化していくな >>153 >>155 Cは高級言語であって、スレタイがすでに間違ってるのに、お前ら 高水準言語の基準は人間がそのまま動作を読み取れる言語だろ ハードウェアを直接操作できるのが低級、できないのは低脳 高級、低級の呼び名はどうでもいい。C言語を低級言語と呼びたくないならそれでも構わない。そのことに大した意味はない。 >>162 がほぼ正しい。 >>162 の言葉を借りれば、「ハードウェアをオーバーヘッド最小で直接操作できる言語」、それがこのスレで言うところの低級言語。 Cは昔から「高級アセンブラ」と呼ばれていたと思ったが >>157 高級言語でも低級言語でもないから、中級言語である。 http://cprogrammingcodes.blogspot.jp/2011/12/middle-level-language.html 諸説あるよ 各CPUのアセンブラを勉強しなくていいから、Cは、高級な感じがするが、 ID:997Wnr2J には、このスレでCを「高級言語ではない」と呼ぶ権利を与えます。どうぞご自由に。 高級言語ではあるけど、メモリアドレスを直接指定しての書き込みや 高級言語って３０年前の言葉だからな。C/C++より上のいまどきの言語は超高級言語だろ。 肉体労働向け言語に進化しましたから、超高級とかいってるのは 高級言語だから定休知能では扱えないということはなく マ板に高級＝デラックスと勘違いしてるやつがいるとは。 >>2->>3 を読む限り＞1の望みを満たして居るのはかつてとは段違いに美しく高水準に整えられた今時のアセンブラと思われる 配列を表現する場合無限にメモリーなりCPUなりが利用できる場合リストになるよね PCは15年ぐらい前から、スマホは5年ぐらい前から、ギガヘルツ超えのCPUが載ってるけど >>183 低級言語って 低いレイヤにアクセスすることが前提の言語な 低レイヤってOSやハードウェアと直接やり取りするって感じ？ このスレとは違うが 超高級言語クレとは言わないけど 僕が考えた最強の言語Swift >>1 が望むものじゃねーか？ どっかのC/C++コンパイラは一度アセンブリのソースに変換してからオブジェクトコードにするって聞いたな >>193 まっくのでばどらはぜんぶ Swift でかかれるよ C言語用のVMを作ればいいじゃん LLVMは大体分かった。GCや例外が大変。 組み込みの構文と違和感なく構文を拡張できればいいね。 大事なのはエラーメッセージが適切な内容になる構造を持たせることと DylanとNemerleや、天才高校生プログラマの言語とか参考になると言えばなるんだけど エラーメッセージは特に、エラー発生箇所と、エラー内容が作っている箇所からは >>206 おうお前らがモタモタしてるうちにRustが1.0になったぞ >>209 メジャーな言語と似たものなら大体はいいぞ。関数型はエラーメッセージが分かりにくくて有名だからそれは避けてね フルスクラッチでcを実装するブログ読んで思わず自分もって感じで始めた http://homepage1.nifty.com/herumi/prog/x64.html .NETでどうでもよくなったよなー このスレは言語について議論するスレである。 ほんとにいい時代になったよな >>213 マ板へお帰り 求めたのは低級言語 このスレは言語仕様を議論するスレであって、処理系が吐き出すコード（バイナリ？）に関しての議論はスレ違い。 低級言語ってアセンブラレベルでお手入れができたり >>220 Objective-Cは文法のセンスが致命的に悪い。 >>220 >>224 スレ立てから3年が経った今、時は動き出す 最近の名前だけ高級言語スクリプトを見てると仕様も技術者もアホの極地にしか見えん。 逆に超高級言語を作りたいな（´・ω・｀） ここは勉強になるスレだぬ >>233 聞いたこと無いので検索してみるｗ >>232 キチぴーご用達なｗｗ マイナーな言語は習得が大変なことと、わからないことがあったとき情報やノウハウがないので マイナーだけどメジャーになりそうなら本書いて印税うはうは 高級言語を使いこなすってC++を使いこなすより大変じゃないのか？ >>238 c++のunsigned long 型の変数を >=0で評価するとーの値が存在しないので必ずTureになって Cの骨にテンプレートの肉を詰め、OOの毛皮を被った化物だよ >>242 while(true)で評価するとーの値が変化しないので必ずTureになって 高級な変態というと・・・女体盛りで大トロとかヒラメの縁側を使う感じか。 >>244 >>249 C++/CLIはC++の顔してて勝手にスレッド作りやがる FORTHという>>1 の要件をほぼかなえる言語がある while( c ) 好き / “アセンブリ言語のみで言語処理系を作った話 // Speaker Deck” >>254 >>254 あー、ドアドアの人？ と思ったら違ったヽ(´ー`)ﾉ 少し前、x265のエンコードダーをアセンブラで記述してる人達の話題で >>254 の記事を読むと、コンパイラ系統ってリストへの変換ー＞実行コード(アセンブラ)への還元って事が凄くよく判るんだよね >>54 54 ：デフォルトの名無しさん [sage] ：2013/04/07(日) 22:40:29.84 VS2013のC++x64でアセンブラコードみてるんだけど Cの複雑さってint,char,とか扱う型の種類とサイズが多い事も理由っぽいので >>261 型無しのオブジェクト言語って言えばluajitがかなり高速なんだよな、確か。 Rustいつのまにかstableリリース出てたのか・・・ >>1 の理想に近いと思うんだけど void*最強って話か？ｗ 高速とは無縁だけど多倍長整数ってあるよね RustがC++に並ぶぐらい速くなってるみたいだけどRustのサブセットみたいなの作ったら良いのかね 修理するより買い換えた方が安いって話は多いが もしあらゆる面でC++に勝る言語が出来たとしても、それが流行るかどうかは怪しい ネタがないんだね 最近のC++は何を勘違いしたか高級言語気取っててウザイ。 >>3 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方 Cは8進10進16進数が扱えるのに、何で2進数が扱えないんだろう。 16進数の方が分かりやすいからじゃないの gccはじめメジャーなコンパイラなら大抵は2進数リテラルは扱えるから C++では0bが使えるようになったけど、Cはまだなのか 最近のc++は糞化拡張が止まらないから。 Rustが正解に近い。 armcc, armclang, Linaro GCC http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0472jj/index.html Rustが正解であることが確認されました。 言語が MIT「えっまた俺なんかやっちゃいました？」 >>277 c++が示したことってのは結局 どうみても今はコード書かない言語オタクが好き勝手に拡張してる。 Low* (Low star)という言語は型システムがすごいのでぜひ取り入れていくべき まあ、もともとCは最適化はあまりやらなくて、プログラマの意思をなるべく素直に伝えるという思想だしな。だから、a=a+1;とa++;は演算後の値は同じでもプログラマの意図は違う。前者は加算命令、後者はインクリメント命令に落ちてほしい。 >>299 int と size_t がいつも混在して面倒になる 勝手な整数拡張をやめてくれるある意味cより低級なcが欲しい しかしそこまで低級なところに降りていくとマクロアセンブラみたいなのが使いやすい感じになっちゃうんだよね。 呼び出し前後のレジスタ退避と回復だけやってくれれば意外とアセンブラはほぼforthだよね forthは言語とマクロ用言語が同一言語なアセンブラだな >>304 >>305 低級言語ならx64特化して構造化アセンブラみたいな感じで 例えばループが多重化してループカウンタが複数必要な場合 最近のCPUのアセンブラはほとんどCと変わらないようだけど 昔のCはアセンブラとほとんど変わらなかったから 最近はむしろC標準が直接サポートしてない命令が増えてるからな >>294 >>1 >>317 >>321 
