70年代、Cは生まれ、それから30余年、現代においてもなお、低レベルなシステム開発に広く使われている。
しかし、2010年の今、もしもCが発明されていなかったとして、低レベルなシステム開発のためのプログラミング言語を
新たに作るとしたら、Cとは違う言語になるだろう。少なくとも、全く同じにはならないはずだ。
そこで、このスレッドでは、
低レベルなシステム開発のためのプログラミング言語
を一から考えたい。
既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
「既存のXX言語を使えばいい。」という類の発言は無意味である。
「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
という観点で考えたい。
◆前スレ
【超高速】C/C++に代わる低級言語を開発したい 7
http://toro.2ch.net/test/read.cgi/tech/1275235018/l50
【超高速】C/C++に代わる低級言語を開発したい 8
1デフォルトの名無しさん
2012/08/23(木) 23:03:00.6955デフォルトの名無しさん
2013/04/10(水) 19:39:49.93 オブジェクト思考なんて何十年も前
今は最新なんなんだ?
今は最新なんなんだ?
2013/04/10(水) 19:46:59.55
ラムダ関数
2013/04/10(水) 21:27:07.91
58デフォルトの名無しさん
2013/04/11(木) 05:53:27.68 なるほろ
サンクス
サンクス
2013/04/11(木) 07:32:56.17
アスペクト指向はソースコードのXML化といって差し支えない
XMLタグの量を増やせばできることも増えるがソースは冗長で不細工になる。
OWL推論でコンポーネント間が繋がれば、超冗長だが再利用しやすくなったりするかもな
<Entity name="DBTable">
class Persons {}
</Entity>
@Entity(name="DBTable")
class Persons
XMLタグの量を増やせばできることも増えるがソースは冗長で不細工になる。
OWL推論でコンポーネント間が繋がれば、超冗長だが再利用しやすくなったりするかもな
<Entity name="DBTable">
class Persons {}
</Entity>
@Entity(name="DBTable")
class Persons
2013/04/11(木) 21:45:02.95
型付きlisp風言語作ればいいじゃんて話だろ、まとめると
2013/04/11(木) 22:22:45.21
関数コール時値やアドレス値をスタックやレジスタへ積み積みする暗黙に埋め込まれるコードもアスペクト
暗黙だけでなくあちこちにユーザーコードまで混ぜれるようにしちまう開放的且つカオス世界への招待を
有難いと感じるかどうかが別れめっスね
暗黙だけでなくあちこちにユーザーコードまで混ぜれるようにしちまう開放的且つカオス世界への招待を
有難いと感じるかどうかが別れめっスね
2013/04/12(金) 12:58:38.54
自分一人でやる分にはいいが複数人でやるとたちまち世界が破滅する
2013/04/13(土) 13:20:43.36
構文を工夫して文字数を減らしても仕方ないし、XML/アスペクト指向も終わった。
最近の新しい発想というとKVSぐらいだな。1人でプログラミングすると効率悪いが、
多人数での分業に向いている言語とかいんじゃね?
最近の新しい発想というとKVSぐらいだな。1人でプログラミングすると効率悪いが、
多人数での分業に向いている言語とかいんじゃね?
2013/04/14(日) 01:15:12.51
Javaのことですねわかります
2013/04/14(日) 16:08:49.81
>>59
なにか変だと思ったら DIとAOPを混同しているな
なにか変だと思ったら DIとAOPを混同しているな
2013/04/14(日) 23:03:21.36
JPAとかEntityBeanはDIなのか?
2013/04/24(水) 19:52:56.12
>>54
スレ通りの発言だろうが
スレ通りの発言だろうが
2013/04/24(水) 20:03:03.76
2013/04/26(金) 09:31:25.15
Cは読める低級
2013/04/28(日) 02:58:49.44
D言語でいいじゃん
2013/04/28(日) 10:17:28.30
E言語でEじゃん
2013/05/23(木) 12:53:53.21
>>70
似非システム言語はすっこんでてください
似非システム言語はすっこんでてください
2013/08/06(火) NY:AN:NY.AN
Cを高級アセンブラという人はアセンブラを知らない。
高級アセンブラは p-code や IL。
高級アセンブラは p-code や IL。
74デフォルトの名無しさん
2013/08/24(土) NY:AN:NY.AN 俺は C よりアセンブラを先にやったクチだが
C はまっとうな高級アセンブラだよ
ソフトウエアで構築したVMが機械語のつもりのやつこそ
diagnose 命令を知らない
C はまっとうな高級アセンブラだよ
ソフトウエアで構築したVMが機械語のつもりのやつこそ
diagnose 命令を知らない
2013/08/25(日) NY:AN:NY.AN
初期のCは高級アセンブラと言って良かったが、最新のC/C++はインラインアセンブラがサポートされなくなってきたので
高級アセンブラとは言いにくくなってきた。Cはロジックのわかりやすさを優先して、CPUのレジスタを意識させない構文に
してしまったから、レジスタを意識しなくてよくなった反面、フラグを見ることもできないし、CPUの固有命令を使うことも
できない。インラインアセンブラも使えなくなってきたので、いろいろある言語の1つに落ちぶれてしまった。
簡単なサンプルをCとアセンブラで書いて比較すると速度が違うし、実行ファイルサイズも大きく違う。
Cは非常に無駄が多いということだ。
高級アセンブラとは言いにくくなってきた。Cはロジックのわかりやすさを優先して、CPUのレジスタを意識させない構文に
してしまったから、レジスタを意識しなくてよくなった反面、フラグを見ることもできないし、CPUの固有命令を使うことも
できない。インラインアセンブラも使えなくなってきたので、いろいろある言語の1つに落ちぶれてしまった。
簡単なサンプルをCとアセンブラで書いて比較すると速度が違うし、実行ファイルサイズも大きく違う。
Cは非常に無駄が多いということだ。
76デフォルトの名無しさん
2013/08/25(日) NY:AN:NY.AN インラインアセンブラは関係ない
特権命令が必要な箇所はもともとアセンブラで書いてリンクするのが正統派で
Cソースの中に直接ニーモニックを書くのは邪道である
フラグやローテートはアーキテクチャによる相違が強烈なので抽象化しなかっただけ
レジスタ名称もそうで、このためアセンブラはオンレジスタ、Cはオンメモリという相違が生じた
アセンブラを習得している者がCを憶えるとき自動変数に違和感を持つのはこのためで
いついつからCがそうなってしまったわけではなく、始めからそうなのだ
Hello C world のサイズだけ見てCそのものが非効率という人は
サイズの違いの主成分を知らないだけ
特権命令が必要な箇所はもともとアセンブラで書いてリンクするのが正統派で
Cソースの中に直接ニーモニックを書くのは邪道である
フラグやローテートはアーキテクチャによる相違が強烈なので抽象化しなかっただけ
レジスタ名称もそうで、このためアセンブラはオンレジスタ、Cはオンメモリという相違が生じた
アセンブラを習得している者がCを憶えるとき自動変数に違和感を持つのはこのためで
いついつからCがそうなってしまったわけではなく、始めからそうなのだ
Hello C world のサイズだけ見てCそのものが非効率という人は
サイズの違いの主成分を知らないだけ
2013/08/25(日) NY:AN:NY.AN
>>76
> Cソースの中に直接ニーモニックを書くのは邪道である
今まで正式な文法としてインラインが書けたのに、それを勝手に邪道と言い切るのはどうかと。
単なる個人的意見だよね。
> フラグやローテートはアーキテクチャによる相違が強烈なので抽象化しなかっただけ
> いついつからCがそうなってしまったわけではなく、始めからそうなのだ
もちろんわかってるよ。別にCの文法に文句を言いたいわけじゃないから。
でも抽象化できるというなら、ニーモニックを直接書ける仕様にして、
それをラップ関数で覆って見えなくしてライブラリに入れてしまえば
Cで書いたソースはそのまま使えるよね。
> Hello C world のサイズだけ見てCそのものが非効率という人は
> サイズの違いの主成分を知らないだけ
その主成分を知ってる人に聞きたいんだけど、アセンブラでは不要で、
Cならその主成分とやらが必要という根拠は何か教えてくれないかな。
> Cソースの中に直接ニーモニックを書くのは邪道である
今まで正式な文法としてインラインが書けたのに、それを勝手に邪道と言い切るのはどうかと。
単なる個人的意見だよね。
> フラグやローテートはアーキテクチャによる相違が強烈なので抽象化しなかっただけ
> いついつからCがそうなってしまったわけではなく、始めからそうなのだ
もちろんわかってるよ。別にCの文法に文句を言いたいわけじゃないから。
でも抽象化できるというなら、ニーモニックを直接書ける仕様にして、
それをラップ関数で覆って見えなくしてライブラリに入れてしまえば
Cで書いたソースはそのまま使えるよね。
> Hello C world のサイズだけ見てCそのものが非効率という人は
> サイズの違いの主成分を知らないだけ
その主成分を知ってる人に聞きたいんだけど、アセンブラでは不要で、
Cならその主成分とやらが必要という根拠は何か教えてくれないかな。
78デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN インラインアセンブラなら、ふつうのユーザーもビルドで悩まないですむ
移植性を重視した言語なのにasm文があるのは何故ですか?
asm文は、Dの関数内に直接アセンブリのコードを書き込むことを可能にします。
アセンブラのコードは自明に移植性のないものとなりますが、しかし、
システムアプリの開発には非常に便利なものです。
システムアプリは 大なり小なりシステム依存のコードを含むことになるので、
インラインアセンブラは 大した問題にはなりません。
インラインアセンブラは、CPUの特殊命令や フラグビットへのアクセスによって、
特別な処理の場合や、 限界までコードを最適化したいときに役立ちます。
Cコンパイラがインラインアセンブラ機能を持つ前は、 私は外部のアセンブラを使っていました。
アセンブラは 沢山の、本当に沢山のバージョンがあって、
各バージョン毎に微妙に 構文が違っていたりバグがあったりコマンドラインの文法まで
変わっていたりして、非常に残念な思いをしました。 つまり、アセンブラの必要なコードは、
ユーザーには安心してビルドはできなかったのです。
インラインアセンブラができてからは、そんなことはなくなりました。
よくある質問 - プログラミング言語 D (日本語訳)
http://www.kmonos.net/alang/d/faq.html#q1_1
移植性を重視した言語なのにasm文があるのは何故ですか?
asm文は、Dの関数内に直接アセンブリのコードを書き込むことを可能にします。
アセンブラのコードは自明に移植性のないものとなりますが、しかし、
システムアプリの開発には非常に便利なものです。
システムアプリは 大なり小なりシステム依存のコードを含むことになるので、
インラインアセンブラは 大した問題にはなりません。
インラインアセンブラは、CPUの特殊命令や フラグビットへのアクセスによって、
特別な処理の場合や、 限界までコードを最適化したいときに役立ちます。
Cコンパイラがインラインアセンブラ機能を持つ前は、 私は外部のアセンブラを使っていました。
アセンブラは 沢山の、本当に沢山のバージョンがあって、
各バージョン毎に微妙に 構文が違っていたりバグがあったりコマンドラインの文法まで
変わっていたりして、非常に残念な思いをしました。 つまり、アセンブラの必要なコードは、
ユーザーには安心してビルドはできなかったのです。
インラインアセンブラができてからは、そんなことはなくなりました。
よくある質問 - プログラミング言語 D (日本語訳)
http://www.kmonos.net/alang/d/faq.html#q1_1
79デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN80デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN >>77
単なる個人的意見? #pragma のオンパレードと同じだと言っているんだが
単にニーモニックが書けるだけでは不十分で
オペランドの装飾名やレジスタアサインまで最適化の影響も受けずにクリアする必要がある
高級言語でだぞ? これを邪道だというのの、どこが個人的意見なんだ?
> ラップ関数で覆って見えなくして
日本語でおk
> その主成分を知ってる人に聞きたい
逆アセンブル読めよ、読めないならもう一度言ってやる「主成分を知らないやつめ」
単なる個人的意見? #pragma のオンパレードと同じだと言っているんだが
単にニーモニックが書けるだけでは不十分で
オペランドの装飾名やレジスタアサインまで最適化の影響も受けずにクリアする必要がある
高級言語でだぞ? これを邪道だというのの、どこが個人的意見なんだ?
> ラップ関数で覆って見えなくして
日本語でおk
> その主成分を知ってる人に聞きたい
逆アセンブル読めよ、読めないならもう一度言ってやる「主成分を知らないやつめ」
81デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN >>78
asmがあるのはなぜって、俺に聞くのはお門違いだ
移植性を重視しながら sizeof(int) が処理系定義だしねえ
> システムアプリは大なり小なりシステム依存のコードを含むことになるので
そのとおりだが
> インラインアセンブラは大した問題にはなりません
なぜこうつながる?
> 私は外部のアセンブラを使っていました。
過去形ということは「あの問題」を知らないわけだね
このくだり、突っ込みどころ多すぎて投げたわ
asmがあるのはなぜって、俺に聞くのはお門違いだ
移植性を重視しながら sizeof(int) が処理系定義だしねえ
> システムアプリは大なり小なりシステム依存のコードを含むことになるので
そのとおりだが
> インラインアセンブラは大した問題にはなりません
なぜこうつながる?
> 私は外部のアセンブラを使っていました。
過去形ということは「あの問題」を知らないわけだね
このくだり、突っ込みどころ多すぎて投げたわ
2013/08/26(月) NY:AN:NY.AN
2013/08/26(月) NY:AN:NY.AN
2013/08/26(月) NY:AN:NY.AN
>>80
日本語不自由な人みたいなので wrap function と書けば理解できるのかな。在日君ですか?
Cがアセンブラより太る原因は逆アセなんかしなくてもわかるんだが。
おまいさあ、Cコンパイラのソース一度も読んだことないだろw
「低レベルなやつめ」
日本語不自由な人みたいなので wrap function と書けば理解できるのかな。在日君ですか?
Cがアセンブラより太る原因は逆アセなんかしなくてもわかるんだが。
おまいさあ、Cコンパイラのソース一度も読んだことないだろw
「低レベルなやつめ」
2013/08/26(月) NY:AN:NY.AN
シッタカ君に権威主義君か
どんどんやれ
どんどんやれ
86デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN 淫乱NISSENブラ
2013/08/26(月) NY:AN:NY.AN
Cのファイルサイズサイズ語るならリンカだろ?
gcc読むにしてもCコンパイラ部分は読まねえよ。
コンパイラなら普通にアセンブリ吐くから逆アセンブルもしねえ。
gcc読むにしてもCコンパイラ部分は読まねえよ。
コンパイラなら普通にアセンブリ吐くから逆アセンブルもしねえ。
88デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN2013/08/26(月) NY:AN:NY.AN
具体的な説明でもobjdumpで十分だろ。
逆アセンブルしたコードなんて読まねえよ低能。
逆アセンブルしたコードなんて読まねえよ低能。
90デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN 逆汗読めねえ低脳でもリンカのマップくらい読めよせめて
2013/08/26(月) NY:AN:NY.AN
ついに逆アセンブルに意味がないことを認めてしまった低能w
92デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN は? 10倍という定量的な値に反論できないのはてめえだろうが
2013/08/26(月) NY:AN:NY.AN
説明出来れば十分だろ?
構造とシンボル情報見せてlibcの初期化コードが含まれているで十分じゃん
サイズ知るためだけに逆アセンブルコード読む必要なんて全然ないだろw
どこに必要あるのか言ってみろよ低能w
構造とシンボル情報見せてlibcの初期化コードが含まれているで十分じゃん
サイズ知るためだけに逆アセンブルコード読む必要なんて全然ないだろw
どこに必要あるのか言ってみろよ低能w
94デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN それは10倍にならないコードを示せれば充分だ
Hello World しかできねーバカにそれは無理だが
Hello World しかできねーバカにそれは無理だが
2013/08/26(月) NY:AN:NY.AN
このまま逆アセンブルが必要である具体的な理由を示せないなら負けだぞ低能
96デフォルトの名無しさん
2013/08/26(月) NY:AN:NY.AN 別に負けで結構だ
有料なノウハウをただでぶちまける必要はない
有料なノウハウをただでぶちまける必要はない
2013/08/26(月) NY:AN:NY.AN
具体的に言えないどころかあえて言わないだってw
ここまで否定してきて根拠も出せないw
まさに負け犬の遠吠えw
ここまで否定してきて根拠も出せないw
まさに負け犬の遠吠えw
981
2013/09/25(水) 16:34:17.92 readmemoryとか
writememoryがどうなるのだろうか
writememoryがどうなるのだろうか
99デフォルトの名無しさん
2013/09/26(木) 02:16:01.75 なんの話?
100デフォルトの名無しさん
2013/09/26(木) 10:13:38.72 ナンではありません
101デフォルトの名無しさん
2013/09/26(木) 12:16:43.48 scalaみたいな、Cかアセンブラのコードに変換してくれる言語作れば?
102デフォルトの名無しさん
2013/09/27(金) 02:45:38.68 そう。その具体的な仕様を決めようとしている。
103デフォルトの名無しさん
2013/09/28(土) 21:30:08.11 PGはバカでいいという思想はCOBOLの轍そのもの
104デフォルトの名無しさん
2013/09/29(日) 17:46:09.34 開発環境は言語のうち
つまりVisualStudioを超える開発環境を作れ
つまりVisualStudioを超える開発環境を作れ
105デフォルトの名無しさん
2013/09/29(日) 21:16:37.17106デフォルトの名無しさん
2013/09/30(月) 00:01:04.26 PGはバカでいいというなどという突拍子もない捉え方は1ビット脳そのもの
なぜ中間がないのか
なぜ中間がないのか
107デフォルトの名無しさん
2013/09/30(月) 01:15:30.99 >>106
いいえ
いいえ
108デフォルトの名無しさん
2013/10/09(水) 19:11:24.01 Lazy kでよくね?
109デフォルトの名無しさん
2013/10/12(土) 11:56:24.18 >既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
>「既存のXX言語を使えばいい。」という類の発言は無意味である。
>「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
>現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
>一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
>という観点で考えたい。
>>1
>「既存のXX言語を使えばいい。」という類の発言は無意味である。
>「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
>現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
>一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
>という観点で考えたい。
>>1
110デフォルトの名無しさん
2013/10/12(土) 15:22:36.71 大事なのは俺TUEEE感に浸れるかどうかだから
既存のものを流用するなどというのは根本から間違っている
既存のものを流用するなどというのは根本から間違っている
111デフォルトの名無しさん
2013/10/12(土) 23:17:49.12 トランスコーダから始めよう。
謎言語toASMが最終目標だ!
謎言語toASMが最終目標だ!
112デフォルトの名無しさん
2013/10/13(日) 20:21:01.89113デフォルトの名無しさん
2013/10/14(月) 05:47:13.59 C言語が糞なのはヘッダファイルが原因だ
#includeが#importになれば全て解決する
#includeが#importになれば全て解決する
114デフォルトの名無しさん
2013/10/14(月) 06:23:07.84 ヘッダ面倒臭ぇ
115デフォルトの名無しさん
2013/10/14(月) 07:07:22.83 相変わらず低レベルなところを這い回ってるな
116デフォルトの名無しさん
2013/10/14(月) 08:30:40.79 上からモノ言う人って、すごい人なのかと思ってた。
でも意外とそうでもないんだね。
昨日、C言語スレで構文解析の話題があった時、上からモノを言ってくるので
凄い人だと思って話を聞いてたら、実は初心者だった。
でも意外とそうでもないんだね。
昨日、C言語スレで構文解析の話題があった時、上からモノを言ってくるので
凄い人だと思って話を聞いてたら、実は初心者だった。
117デフォルトの名無しさん
2013/10/14(月) 10:14:02.62 人の話は板違いです。
ご遠慮ください。
ご遠慮ください。
118デフォルトの名無しさん
2014/01/24(金) 09:22:14.15 ステートマシン風な言語でも作ればいいじゃん。
119デフォルトの名無しさん
2014/01/25(土) 10:49:14.98 いいね。先ずは具体的なアイディアを聞かせて。
120デフォルトの名無しさん
2014/01/25(土) 22:33:43.03 欲しい言語機能は全てRUSTに入っていた
121デフォルトの名無しさん
2014/01/28(火) 00:09:58.48 RUSTは正解に近い感じがする。
122デフォルトの名無しさん
2014/01/29(水) 08:34:22.46 RUSTってC++と比較されるけど低レベル組み込み系もいけんの?
123デフォルトの名無しさん
2014/01/29(水) 22:00:57.19 C++、stlが許されるだけのリソースがあるなら大丈夫そうだ。
124デフォルトの名無しさん
2014/02/03(月) 13:34:51.37 コンパイル時リフレクション(javaでいうアノテーション・プロセッサ)がほしいな
シリアライザーとか自動でつくってほしい
シリアライザーとか自動でつくってほしい
125デフォルトの名無しさん
2014/03/20(木) 12:59:23.14ID:nanBO4Fq C++は低級言語なのか?
126デフォルトの名無しさん
2014/03/22(土) 23:40:16.72ID:kAjP8TsQ Dがもっと流行れば解決する。
127デフォルトの名無しさん
2014/06/22(日) 12:30:37.05ID:K+9brE5n Dはないわ。
128デフォルトの名無しさん
2014/06/22(日) 15:43:07.83ID:M7LQdNqY LLVM IRみたいのでいいだろ。
129デフォルトの名無しさん
2014/09/01(月) 15:52:05.30ID:nQghNeel vecterはc、c++から外して欲しい、元はjavaだろ、イテレータとか。
130デフォルトの名無しさん
2014/09/01(月) 16:52:48.36ID:PsPID0hw Javaは外した方がいいというのは、銅管だ。
131デフォルトの名無しさん
2014/09/01(月) 19:20:16.43ID:HFXNgtth ___ _
ヽo,´-'─ 、 ♪
r, "~~~~"ヽ
i. ,'ノレノレ!レ〉 ☆ 日本のカクブソウは絶対に必須です ☆
__ '!从.゚ ヮ゚ノル 総務省の『憲法改正国民投票法』のURLです。
ゝン〈(つY_i(つ http://www.soumu.go.jp/senkyo/kokumin_touhyou/index.html
`,.く,§_,_,ゝ,
~i_ンイノ
ヽo,´-'─ 、 ♪
r, "~~~~"ヽ
i. ,'ノレノレ!レ〉 ☆ 日本のカクブソウは絶対に必須です ☆
__ '!从.゚ ヮ゚ノル 総務省の『憲法改正国民投票法』のURLです。
ゝン〈(つY_i(つ http://www.soumu.go.jp/senkyo/kokumin_touhyou/index.html
`,.く,§_,_,ゝ,
~i_ンイノ
132デフォルトの名無しさん
2014/09/02(火) 03:13:01.39ID:CRzNoeOm 低級言語はアセンブラと初期のCだけだろう
133デフォルトの名無しさん
2014/09/18(木) 13:31:28.77ID:f9spcQ/x 言語作ってるんだけど、
コンパイラ作る時って一旦アセンブラ出力してからmasmとかに機械語出力してもらった方がいいの?
masm自身はアセンブラコードの最適化とかはしてくれなそうだしそのまま機械語出力したいんだけど
コンパイラ作る時って一旦アセンブラ出力してからmasmとかに機械語出力してもらった方がいいの?
masm自身はアセンブラコードの最適化とかはしてくれなそうだしそのまま機械語出力したいんだけど
134デフォルトの名無しさん
2014/09/18(木) 14:08:33.42ID:xVnvrnxl アセンブラ介したほうが少なくともデバッグはしやすいと思うぞ
135デフォルトの名無しさん
2014/09/18(木) 14:10:35.16ID:H4lZxv/t そのコンパイラで何ができるもしくは何をやらせるのかも
決めてないんだ
決めてないんだ
136デフォルトの名無しさん
2014/09/18(木) 15:04:00.60ID:f9spcQ/x137デフォルトの名無しさん
2014/09/18(木) 15:09:30.18ID:H4lZxv/t x86系の命令、16進数で読めるんだ
なら、直接コード出して、ハマりまくったほうがいいかもね
なら、直接コード出して、ハマりまくったほうがいいかもね
138デフォルトの名無しさん
2014/09/18(木) 15:51:05.20ID:6/jIYBiS >>136
用途からすると機械語やアセンブラへのコンパイルどころか
C言語+HLSLへのトランスレータが最適解な気もするなあ…
結局、何だかんだでDirectXの関数呼ぶことになりそう
んで関数呼び出して処理するなら、機械語とC言語の差は間の計算処理になるが
そこも巷のC処理系の最適化はノウハウ詰まってるから
下手なアセンブラコードより速かったりする
何れにしても何層かに処理を分けることにはなるだろうから
いきなり全部やろうとするより、やるべき層をひとつひとつ集中してやったほうが
用途からすると機械語やアセンブラへのコンパイルどころか
C言語+HLSLへのトランスレータが最適解な気もするなあ…
結局、何だかんだでDirectXの関数呼ぶことになりそう
んで関数呼び出して処理するなら、機械語とC言語の差は間の計算処理になるが
そこも巷のC処理系の最適化はノウハウ詰まってるから
下手なアセンブラコードより速かったりする
何れにしても何層かに処理を分けることにはなるだろうから
いきなり全部やろうとするより、やるべき層をひとつひとつ集中してやったほうが
139デフォルトの名無しさん
2014/09/18(木) 16:29:47.38ID:f9spcQ/x140デフォルトの名無しさん
2014/09/18(木) 17:02:46.70ID:R7gYP1+N LLVMという選択肢は
141デフォルトの名無しさん
2014/09/19(金) 02:00:51.26ID:hElo33NJ 本スレは、コンパイラをどのように作るか、ではなく、どのような言語仕様にするか、を重視しています。
コンパイラの話が終わったら、言語仕様の話をしましょう。
コンパイラの話が終わったら、言語仕様の話をしましょう。
142デフォルトの名無しさん
2014/09/19(金) 02:50:49.06ID:uVs1JVYc LLVM/Clang 実践活用 ハンドブック、出村成和、2014
LLVM 言語マニュアル(Language Reference Manual)
ttp://www.h3.dion.ne.jp/~mu-ra/llvm/LangRefJ.html
日本語訳です。ただし、翻訳は適当と書いてある
LLVM 言語マニュアル(Language Reference Manual)
ttp://www.h3.dion.ne.jp/~mu-ra/llvm/LangRefJ.html
日本語訳です。ただし、翻訳は適当と書いてある
143133
2014/09/19(金) 13:25:22.42ID:NxcXgwij144142
2014/09/20(土) 02:06:52.74ID:U6pDraTi LLVMはフロント・ミドル・バックの、3つの部分に独立している
フロントはプログラミング言語とコンパイラ
Clangなら、C/C++ → IR
ミドルはコンパイル後の擬似的なアセンブラ。IR(中間コード)
バックはx86,ARMなどのCPU
新言語を作っているなら、
フロントのコンパイラ(字句・構文解析)の部分だけを作って、
IRになるようにすればよい
>142の本を買うのが速い
フロントはプログラミング言語とコンパイラ
Clangなら、C/C++ → IR
ミドルはコンパイル後の擬似的なアセンブラ。IR(中間コード)
バックはx86,ARMなどのCPU
新言語を作っているなら、
フロントのコンパイラ(字句・構文解析)の部分だけを作って、
IRになるようにすればよい
>142の本を買うのが速い
145デフォルトの名無しさん
2014/09/21(日) 17:41:47.69ID:ReekRvFB >>143
「人工知能も理解しやすい」というのはコンパイラにとって効率が良いという意味?
「人工知能も理解しやすい」というのはコンパイラにとって効率が良いという意味?
147デフォルトの名無しさん
2014/09/22(月) 21:27:22.05ID:Q0QJp/T/ >>146
その効率はプログラミング言語としてどういう意味を持つの?
その効率はプログラミング言語としてどういう意味を持つの?
148デフォルトの名無しさん
2014/09/22(月) 21:58:15.46ID:EiJEHJdV 人口無能を作ってるんでは?
149デフォルトの名無しさん
2014/09/22(月) 22:47:26.85ID:LvPIFofq >人間との会話のときに相互の情報伝達の効率がいい
いわゆるドラえもんをつくる気か。すごいな。
いわゆるドラえもんをつくる気か。すごいな。
150デフォルトの名無しさん
2014/09/22(月) 23:14:21.82ID:ufGb4z7Y 何でも良いけど、動作速度がトロくて高級言語がとかぬかして
ジェネリック要求してくるLL使いが鬱陶しいわ
ジェネリック要求してくるLL使いが鬱陶しいわ
151デフォルトの名無しさん
2014/09/23(火) 00:44:54.05ID:75K7vBZU152133
2014/09/23(火) 00:48:58.01ID:fk2c4+Og153デフォルトの名無しさん
2014/09/23(火) 09:43:28.68ID:D7BulMBA >>152
人工知能とか、ネタなのか本気なのか分からなかったので若干しつこく聞いたけど、本気ならその方針で面白いものへと広げてほしい。
といいながら、興味本位で聞いてしまうけど、人間はともかく、人工知能にとって「直感的」ってどういうことなの?
人工知能ってコンパイラだよね。コンパイラにとっての直感性というのが分からなかったので。
それと、作りたいのは「言語」でいいんだよね?コンパイル可能な自然言語とか。
人工知能とか、ネタなのか本気なのか分からなかったので若干しつこく聞いたけど、本気ならその方針で面白いものへと広げてほしい。
といいながら、興味本位で聞いてしまうけど、人間はともかく、人工知能にとって「直感的」ってどういうことなの?
人工知能ってコンパイラだよね。コンパイラにとっての直感性というのが分からなかったので。
それと、作りたいのは「言語」でいいんだよね?コンパイル可能な自然言語とか。
154デフォルトの名無しさん
2014/09/23(火) 12:57:04.95ID:RZgQ8Ezi しゃべればしゃべるほど非マの妄言と化していくな
板違いだべ
板違いだべ
レスを投稿する
ニュース
- 首相、就職氷河期世代の支援表明 週内に関係閣僚会議設置 [どどん★]
- 大阪・関西万博の総入場者数が50万人を突破(内、関係者約10万人) 2005年開催の愛・地球博より早いペース ★2 [少考さん★]
- 【野球】セ・リーグ T 0-3 C [4/19] カープ連勝 床田7回無失点、矢野先制打、羽月追加点 阪神連敗・木浪2失策 [鉄チーズ烏★]
- 大屋根リング最上段に点字ブロックなし 「多様」な万博のはずが [少考さん★]
- トランプ氏、パウエルFRB議長の解任を検討 早期利下げめぐり対立 [蚤の市★]
- 【芸能】紗栄子 17歳の息子が新人モデル・道休蓮と公表 「七光りって言われちゃうだろうし…」 父はダルビッシュ有 [冬月記者★]
- トランプ「関税は輸出する国が払うから大丈夫」アメリカ人「よし。」👈安心した [782460143]
- 【悲報】大阪万博「オラオラ!VIP様のお通りだ!庶民は通行の邪魔すんな!」 [616817505]
- 万博の石トラップ、危険なものじゃなかった [834922174]
- 【速報】石破、就職氷河期世代支援のやってる感を表明 アリバイ作りか [377482965]
- ChMate、月額サブスクに移行wwwwwwwwwwwwwwwww無事クソアプリに [333919576]
- 【悲報】NISA民、詰む。トランプ関税でリスク資産全滅だが現金に戻しても利率0.5%で日本のインフレ率2%に追いついてなくて大損 [517791167]