「コンパイラ・スクリプトエンジン」相談室16 (649レス)
上下前次1-新
239: 2015/07/11(土)08:23 ID:SvdcMd32(1) AAS
>>238
変換したCコードを出すならトランスレーターだけどバイナリまで出すならコンパイラーでいいだろ
240: 片山博文MZ ◆T6xkBnTXz7B0 2015/07/28(火)03:30 ID:92wk7rzR(1) AAS
果たして文法を仮想化できるか
241: 2015/08/19(水)08:24 ID:zh/OeKTd(1) AAS
凄いこと発見したんだけれどもΛの記号は上の尖がったところがルートで
下の二つの棒が辺を表しているんだな
242(1): 2015/08/19(水)22:05 ID:caRlC37E(1) AAS
言語非依存の仮想マシンっていうアイデアがいまいち大成功していないように見えるのって
なんか理由があるのかな。
243: 2015/08/19(水)22:59 ID:7Z0FzJPx(1) AAS
落ちてたllvmスレを立て直した
【最速へ】LowLevelVirtualMachine 2【LLVM】
2chスレ:tech
244(1): 片山博文MZ ◆T6xkBnTXz7B0 2015/08/19(水)23:17 ID:ynuNSl9L(1) AAS
>>242
めちゃくちゃ成功してまんがな。LLVM,clang知らないの?
245: 2015/08/20(木)00:06 ID:BI1Ot8hx(1) AAS
>>244
実際に成功していても成功していないよ・う・に・見・え・るって話じゃないの?
XCodeのコンパイラがllvm,clangだってのは開発者にしか見えないしclangの話だけ聞いているとgccが組み込み機のCPUに対応してたころみたいに派手に活躍してるとは感じられないって事じゃ無いの?
246: 2015/08/20(木)04:55 ID:uOqBPetd(1) AAS
たぶん外国には、CASL2のような仮想アセンブラを使う、
情報処理試験が無いのだろう
2人の大学生が作ったLLVMに、Appleが飛びついた。
それで、Lattner はAppleに就職した
247: 2015/08/20(木)11:06 ID:XXXu8/KU(1) AAS
良く言えば新世代の輝き
悪く言えば発展途上の不安定さ
さらに組み込みで言えばカバー範囲の幅広さは犠牲にされがち
将来性でメシが食えるのはごく一部
248: 2015/08/20(木)11:31 ID:WmW0wMbd(1) AAS
痛い文章だ
249(1): 2015/08/24(月)00:47 ID:OjRQ25eS(1/3) AAS
マルチメソッドを効率よく実装するにはどのようにすればよいですか?
250: 2015/08/24(月)01:10 ID:YG1kZeuQ(1/2) AAS
マルチメソッドって何?
251(1): 2015/08/24(月)01:36 ID:OjRQ25eS(2/3) AAS
OOPの最も基本的な機能です
引数によって、メソッドが切り替わります
多態といいます
252: 2015/08/24(月)02:01 ID:YG1kZeuQ(2/2) AAS
オーバーロードのことですか?
ではマングリング
253: 2015/08/24(月)02:21 ID:OjRQ25eS(3/3) AAS
マルチメソッドはオーバーロードでは無いです
一般にオーバーロードは静的ですが、
マルチメソッドは動的です
254: 2015/08/24(月)08:00 ID:WVPITNbu(1) AAS
>>251
> 引数によって、メソッドが切り替わります
はい?
255: 2015/08/24(月)08:19 ID:jJXNOMmM(1) AAS
clojureのdefmultiみたいな奴じゃないの?
256: 2015/08/24(月)11:49 ID:BYoao/vR(1) AAS
多重ディスパッチのニッチな要求に応えるものか
それとも単純な動的バインディングだけの問題なのか
257: 2015/08/26(水)18:36 ID:XR0u/yGZ(1) AAS
マルチメソッドはC++相談室を検索すればなんなのかがわかる
258: 片山博文MZ ◆T6xkBnTXz7B0 2015/08/30(日)17:45 ID:bYlp1Mb/(1) AAS
>>249
パターンマッチを効率よく行う
259(1): 2015/08/30(日)19:15 ID:nhXJHOe7(1) AAS
型を連想配列やトライ木で管理すればO(1)
260: 2015/08/30(日)20:08 ID:brcjELIg(1) AAS
>>259
clojureはソレだね
261(8): 2015/09/17(木)12:38 ID:mHCGeegj(1) AAS
中間言語の設計に関するノウハウとかアンチパターンとかが書かれた本誰か知ってる?
LLVMとかP-codeとかJava VMとか、あるいはKnuthのMIX/MMIXみたいな機械語に近いレベルの言語を
ソフトウェア実装すること前提に設計する場合について知りたい。
今言語設計してて、そろそろ構文解析できそうだから学んでおきたいんだけど。
262(1): 2015/09/17(木)19:56 ID:7ftMaB4B(1) AAS
最初はネイティブに落とした方がいいぞ
中間言語とか遠回りしてたらアホみたいだぞ
263(1): 2015/09/18(金)15:07 ID:QAQ6VXx0(1) AAS
そんな物他人に教わるくらいならおとなしく既存のを使っとけ
264(1): 2015/09/18(金)20:35 ID:F4ynHS7Z(1) AAS
本として出して需要あるか?もしかしたらサーベイ論文なら探せばあるかも
265(1): 261 2015/09/18(金)21:16 ID:ArWsl8Ey(1) AAS
>>262
素直にコンパイル出来ない言語を設計してるので(clispのような)、snippetの表現をx86/amd64表記にする意義が薄いんですよね。
>>263
凝り性なもので。
>>264
一応ciniiは一通り眺めたけど、中間言語の設計に関する論文って無いんですよね。
素直に「中間言語」で調べると自然言語の翻訳に使う方が大量に引っかかってつらい……
266(1): 2015/09/18(金)22:17 ID:i7DEL3du(1) AAS
>>265
動的型付け必須系?
ならErlangの論文とか資料あさるといいかも
267(2): 261 2015/09/19(土)09:19 ID:YlOPp2hb(1/4) AAS
>>266
swiftのように演算子をユーザー定義出来て、
c++のように同名異引数の関数を定義出来て、
Lispのように引数間のカンマが要らず、
Rubyのようにカッコを省ける
そんな言語を設計中です。
それらの両立のために実行中に文法を書き換えて構文解析器を再構成するという手法を採ってるので、コンパイル出来ないんですよね……
clispのリードマクロを文脈依存に拡張したものだと言えば大体あってるかと。
ちょっとErlang関連の資料を見てみます。
268(1): 2015/09/19(土)10:26 ID:7hgo9IJ4(1) AAS
>>267
列挙してあることはシンタックス上のことで全部コンパイル時に静的に解決出来そうに見えるけど無理なの?
上下前次1-新書関写板覧索設栞歴
あと 381 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.013s