「コンパイラ・スクリプトエンジン」相談室16

**デフォルトの名無しさん** · 2014/07/20(日) 11:16:19.37

プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，データ分散，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン，
SIMD命令生成，VLIW向けクラスタリング，スクラッチメモリ向け最適化，リンク時最適化，
JIT，動的バイナリ変換等の各種最適化，それにVM，GC，低消費電力化などなど。
意味論に関する話題も歓迎です。

Wikiのまとめページ
http://www6.atwiki.jp/compilerandscriptengine/

**デフォルトの名無しさん** · 2014/07/20(日) 11:18:41.91

誰も立てないので立てた。

需要なければこのまま放置ということで。

**デフォルトの名無しさん** · 2014/07/20(日) 11:19:36.24

前スレ
「コンパイラ・スクリプトエンジン」相談室15
http://peace.2ch.net/test/read.cgi/tech/1296214398/

**デフォルトの名無しさん** · 2014/07/20(日) 13:22:32.46

前スレ落ちたの気づかなかった>>1乙

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/07/22(火) 13:31:35.08

というわけでCaperをRubyで使えるようにしなきゃいけない。。。

**デフォルトの名無しさん** · 2014/07/23(水) 00:33:25.56

最近はみんなLLVMに集まる流れなのかな

**デフォルトの名無しさん** · 2014/07/24(木) 10:32:17.75

お手軽に言語作ってみますた　なら
バックエンドはインタプリタか JVM かLLVM のどれかになるべ

あとは JSへのトランスレータか
意外に選択肢多いな

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/07/27(日) 13:36:28.20

jonigataさん、Rubyのサポートを追加しました。

**デフォルトの名無しさん** · 2014/07/27(日) 21:59:50.89

JVM上で動く言語をガチで作ってる人ってバイトコードを直接出力するコンパイラ作ってるのかな。
JVM上で動くエンジン用のコードじゃなくて。

**デフォルトの名無しさん** · 2014/07/27(日) 22:00:59.03

そりゃそうだ。

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/07/28(月) 14:12:21.53

jonigataさんと連絡取れない。。。

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/07/28(月) 16:55:40.10

caperにRubyサポートが追加されたよ

9 · 2014/07/28(月) 21:54:34.37

>>10
やっぱりですか。
ただ目標がゲームエンジンで将来的にスマホも視野に入れると直接バイトコードってのもどうかという気もします。
ただクッション入れると速度的にどうなんだろう、悩ましい。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/07/29(火) 01:15:58.91

>>1
もっと参考URLを置いてほしいぜ

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/01(金) 11:03:08.58

caperにPHPサポートが追加されたよ！

**デフォルトの名無しさん** · 2014/08/01(金) 15:28:56.80

>>15
サポートヨロっていわれてんじゃん、がんばれ

**デフォルトの名無しさん** · 2014/08/02(土) 16:23:44.47

>>13
俺は前に自作スクリプト→Javaソース→javassistでバイトコードに変換と
やってたけど遂に完成させずに投げてしまったxp

**デフォルトの名無しさん** · 2014/08/03(日) 01:07:00.19

つかC並にJVM上で低レベルに動く言語が・・・ってどっかにありそうな気がする。

**デフォルトの名無しさん** · 2014/08/03(日) 12:20:45.13

ちょっと何言ってるかわかりませんね

**デフォルトの名無しさん** · 2014/08/03(日) 16:19:28.19

>>18
日本語でおｋ

**デフォルトの名無しさん** · 2014/08/04(月) 00:28:33.88

JVMのバイトコード吐くライブラリってもあるけど
こっちはバイトコードの知識必須
言語仕様だけ考えて満足しようぜｗ

**デフォルトの名無しさん** · 2014/08/04(月) 02:12:43.16

どうせ中間言語に落とし込むんだしバイトコードくらい余裕だろ

**デフォルトの名無しさん** · 2014/08/08(金) 03:06:15.46

http://www.buzzword.jp/img/face10.png

**デフォルトの名無しさん** · 2014/08/08(金) 08:30:38.85

guro

**デフォルトの名無しさん** · 2014/08/08(金) 08:47:25.07

>>23
あんた誰？

**デフォルトの名無しさん** · 2014/08/08(金) 12:06:16.40

>>13
まず簡単なのを作って、次は作りなおせばいいじゃん。

**デフォルトの名無しさん** · 2014/08/08(金) 12:31:17.41

>>7
最近はasm.jsみたいなのもあるしね。

**デフォルトの名無しさん** · 2014/08/08(金) 16:22:46.37

>>23はウィルス注意

**デフォルトの名無しさん** · 2014/08/12(火) 11:48:49.30

マークスイープのようにGC以外のところでGCを考えずに済み
参照カウントみたいに最大停止時間が短いGCってある？
速度は問いません

**デフォルトの名無しさん** · 2014/08/12(火) 12:44:46.12

GCアルゴリズム詳細解説
http://seesaawiki.jp/w/author_nari/d/GC

なんと日本語！！　…俺はまだ少し読んだだけだが

**デフォルトの名無しさん** · 2014/08/12(火) 12:44:50.65

>>29
実装簡単なのだとCOPY GCかぬ？
これに寿命を意識すると世代別GCに発展したのがある。

コレより先は実は最先端だったり

**デフォルトの名無しさん** · 2014/08/13(水) 00:05:07.82

>>31
コピーｇｃはやっぱメモリ効率がーんー
今のところ遅延マークスイープをなんとか使おうかと思うけどーなー
悩ましい。。。

**デフォルトの名無しさん** · 2014/08/13(水) 00:29:26.50

>>32
EdenだけCopy GC,OLDに行ったらMarkSweepとか色んな掛け合わせもあるみたいだね

**デフォルトの名無しさん** · 2014/08/14(木) 01:15:17.94

mostly-concurrentマーク&スイープGCは？
1. ミューテータを止めてルートセットをマーク
2. ミューテータと並行に別スレッドでマーク
3. ミューテータを止めて再度ルートセット+残り全部をマーク
4. ミューテータと並行に別スレッドでスイープ
ってやるやつ
ライトバリアがいるからGC以外のところでGCを考えずには済まないけど (そのへんは世代別も一緒だが)
最大停止時間は短いと思うよ

**デフォルトの名無しさん** · 2014/09/20(土) 16:42:37.06

caperが改善されて大規模なパーサーでも
早く生成できるようになったようです。

**デフォルトの名無しさん** · 2014/09/20(土) 17:18:58.94

あんまりでっかいの書かないんで今まで困った事ないのだが、吉報には違いなかったりするのでお礼を述べさせて貰います、ありがとう。
>>Thanks for ジョニガタさんとＭＺさん

**デフォルトの名無しさん** · 2014/09/21(日) 00:08:58.31

やること
★Ruby RaccとCaperの比較レビュー。
★CaperでCSVパーサーの作成。
★CaperでXMLパーサーの作成。

**sage** · 2014/09/26(金) 04:19:50.66

winXP visual studio 2010 expressで
antlr4の導入できた方いらっしゃいませんでしょうか？

**デフォルトの名無しさん** · 2014/09/26(金) 10:04:23.12

ANTLRWorks とか言うヤツはダメなん？

**デフォルトの名無しさん** · 2014/09/27(土) 01:39:11.71

バッチファイルみたいなのに定義ファイルかませば出せると思いきや、
JAVAしか出てこない。。。
英語よく読めない

**デフォルトの名無しさん** · 2014/09/27(土) 01:53:39.94

akiramero

**デフォルトの名無しさん** · 2014/10/12(日) 13:57:53.54

やっと簡単な電卓インタプリタができたー

**デフォルトの名無しさん** · 2014/10/12(日) 15:26:51.34

おめおめ
四則演算と簡単な制御構造が実装できると
あとは応用だから
扱う型の種類が増えない限り楽に拡張できそうだね

**デフォルトの名無しさん** · 2014/10/13(月) 01:35:36.78

演算子って四則演算以上のことやらすと必ずそいつが決めた優先順位に縛られて破綻するし
電卓ならLISPの(+ 1 2 3 4 5)みたいに演算子相当が無くてオペランド側をいくらでも増やせる構文の方が楽

**デフォルトの名無しさん** · 2014/10/19(日) 05:56:05.61

それもそいつが決めた優先順位なわけだが

**デフォルトの名無しさん** · 2014/10/19(日) 07:29:43.65

LISPはLISPで解析器に都合の良い構文だと思う
もちろんそういう意味で（作る側が）楽と言ってるんじゃないのは分かっているが
もう少し使う人間のことも考えてやれと
……で行き着くのも例えばpythonだったりするのでそれはそれでうーん

**デフォルトの名無しさん** · 2014/10/19(日) 19:43:22.93

古代言語なんだから人間向きなわけがない

**デフォルトの名無しさん** · 2014/10/19(日) 19:50:43.83

慣れたら何とも無いけど

**デフォルトの名無しさん** · 2014/10/19(日) 23:32:38.99

>>46
FORTHが一番解析器に優しいと思う、Lispは少なくとも関数に渡す引数の数は解析で判断できるけど、FORTHはそれすら捨ててる
あとLispは支援するエディタがあれば書く事に戸惑いは殆どないよ。
読むのは適切なインデントがされていないと辛いのは本当だけどそれだってRubyやらCやらでインデント無しと変わらないと思う。

なお、Pythonはインデントが構文に含まれているのが嫌い(エディタで再フォーマットできない)

**デフォルトの名無しさん** · 2014/10/20(月) 07:07:45.12

ある海外のファンタジー小説で、異世界召喚されたプログラマが魔法でFORTHを実装して
最強魔導師になってた。

**デフォルトの名無しさん** · 2014/10/20(月) 07:26:17.53

May the forth be with you.

**デフォルトの名無しさん** · 2014/10/20(月) 11:16:47.94

Lispは見た目的に「目にひっかからない」（関数もマクロもみんな同じようにしか見えない）のが問題なんだけど、
最近流行ってる(?)みたいに ( ) と [ ] を使い分けるとかすると、だいぶ感じが違うと思う。

**デフォルトの名無しさん** · 2014/10/20(月) 16:23:26.53

>>52
Clojureが凄い良くできてる
()でリスト,[]でベクタ,{}でマップ、#{}でセットとリテラルの扱いが凄い綺麗

**デフォルトの名無しさん** · 2014/10/25(土) 10:10:07.27

{} はすごくいいね。素の lisp だとほとんど使われない記号でもったいなかった。しかも数式とも合ってる。
ただ[] は好きになれないなぁ。個人的趣味だけど。

**デフォルトの名無しさん** · 2014/10/25(土) 13:15:04.28

変わった趣味だw

**デフォルトの名無しさん** · 2014/11/01(土) 16:34:43.21

エラーメッセージを楽して、素晴らしく表示したいんですけど
いい方法を教えてください。

**デフォルトの名無しさん** · 2014/11/01(土) 18:28:37.68

>>56
センスのいい奴に頼む

**デフォルトの名無しさん** · 2014/11/01(土) 19:12:18.30

言うても行桁理由以外に何か必要かね

**デフォルトの名無しさん** · 2014/11/01(土) 19:25:31.66

ファイル名…かな

**デフォルトの名無しさん** · 2014/11/01(土) 20:57:55.11

エラー表示は？だけでいい
というネタがあったな

**デフォルトの名無しさん** · 2014/11/02(日) 00:04:36.51

人間が見てるのとコンパイラが解釈してるので大きくズレがある場合とか
エラーメッセージ見てわからんことが多々ある

ｘｘの前にｘｘがあります/ありません系のエラーはウンザリ

**デフォルトの名無しさん** · 2014/11/02(日) 00:22:55.85

print " ＿人人人人＿ \n",
"＞突然の死＜ ", col, ",", row, " in ",filename,":", reason, "\n",
" ￣Y^Y^Y^Y￣\n";
die;

楽して素晴らしい方向を考えた

**デフォルトの名無しさん** · 2014/11/02(日) 04:19:14.28

$ nmlc -run examples/lablgl/triangle.nml
Fatal error: exception Failure("
＿人人人人＿
＞突然の死＜ parse error line 33
￣Y^Y^Y^Y^Y￣
")
って出るようにしてみた。

**デフォルトの名無しさん** · 2014/11/02(日) 07:10:13.81

何のエラーか
なぜ起こったか
どうすれば良いか

のうちどこまでエラー表示するか
表示しないものはマニュアルに書くか
統一しておくと良い

**デフォルトの名無しさん** · 2014/11/02(日) 10:22:44.88

何のエラーか数字で提示
あとはknowledge baseで
knowledge baseは迷宮

**デフォルトの名無しさん** · 2014/11/02(日) 11:43:14.80

基本的には書いた人の頭のエラーだからな。
コンパイラ的には「チェンジ！チェンジ！この子変えて！！！」
だけでいい。

**デフォルトの名無しさん** · 2014/11/02(日) 12:31:43.49

> 関西型プログラミング言語のひとつ Kyoto のコンパイラは，文法ミスのあるコードを与えると「ふうがわりなコードどすなぁ」とだけ返すので，何が間違っているかはこちらで推測する必要がある．

**デフォルトの名無しさん** · 2014/11/02(日) 12:39:13.58

何回も間違ったらぶぶ漬けが出てきそうだな

**デフォルトの名無しさん** · 2014/11/02(日) 12:58:18.94

>>64
> どうすれば良いか

これは余計なお世話だわ

**デフォルトの名無しさん** · 2014/11/02(日) 13:03:44.74

この道路は工事中なので次の迂回路をご利用ください

**デフォルトの名無しさん** · 2014/11/02(日) 16:35:04.02

コンパイル速ければ、エラーは１個で十分だったりするよなぁっとか。
大量に出すなら、一番先頭のエラーを一番下に出すと嬉しいとか。

**デフォルトの名無しさん** · 2014/11/03(月) 12:49:03.39

>> 70

迂回は出来ないんだなぁ

**デフォルトの名無しさん** · 2014/11/03(月) 18:22:08.25

最近のghcとかだと、関数名をタイポすると似た存在する関数名を示してくれる。外してる時もあるけど。
ああいう親切さをもっと充実させるのも方向性としてはありだと思う。
あらゆるコンパイルエラーがクラウドサーバに送られ続けて典型的なミスを蓄積し続ける、とかね。

**デフォルトの名無しさん** · 2014/11/04(火) 11:17:19.99

大量のデータをまとめて整理した結果をどこかで見たけど
よくあるスペルミス・インポート忘れ・宣言忘れが飛び抜けていて
それ以外はごくわずかでどうでもいいという印象だった

**デフォルトの名無しさん** · 2014/11/04(火) 11:19:32.39

中級者以上と入門者はつまずく所が全く違うから
後者のデータだけを集めれば「入門者に最適」な言語やツールが作れるかもしれない

**デフォルトの名無しさん** · 2014/11/04(火) 13:56:57.87

C言語は、研究結果;はあった方が良いみたいな話を聞いた事があるような気がする。
けど、最後だけ無しとかだったのかもしれないし、良く覚えてないなぁ。
今作ってる言語は必要な所だけ;を書くって作ってるのだけど。
初心者には難しいのかもしれないです。

**デフォルトの名無しさん** · 2014/11/04(火) 15:36:24.07

気の利いたエディタサポートまで考えるなら改行をまたぐ構文を禁止すべき
VBはそうなってる

**デフォルトの名無しさん** · 2014/11/04(火) 15:58:19.03

lispとかでマクロ展開したときに中でエラーが起こったら行と桁の表示は諦めるしかないのかな
前に作ったとき展開後も展開前の行を引き継ぐやり方をしてたけど

**デフォルトの名無しさん** · 2014/11/04(火) 17:04:17.39

>>78
トークンに文字列だけじゃなく、もとあった位置の情報も付けたら？

>>76
どんな言語でも、ある程度本格的なプロダクトなら、たいてい、「やたら長くなるから改行を挟みたい式」と
「やたら短くて似たようなのが連続するから1行にまとめたい文」の両方が出てくるので、
どちらを強制するのも一長一短。

構文的には (a, b, c, d) と {a; b; c; d;} の、どちらも似たようなものだけど、機械的なコード生成では
後者のほうが以前は楽だった（最近は可変長配列みたいなオブジェクトに入れて、最後に
joinとか、ライブラリが充実してる言語を使うのが普通なので、あまり差は無い）。

人間の作業としては、複数行にまたがるものでは前者のほうはちょっとめんどい。
（最後の行を削ったあとで、前の行の最後も削る必要があるので）
{a,
b,
c}
みたいに閉じカッコを行末に付けてしまえばそうでもないかもだが。

あとそもそもC言語の構文では ; の規則がちょっと変則的。

**デフォルトの名無しさん** · 2014/11/04(火) 23:11:55.77

Lispマクロのデバッグはちょっと難しいよな。
backquoteのように構文上の構造を引き継ぐような奴ばかりならいいんだけど。

**デフォルトの名無しさん** · 2014/11/04(火) 23:12:32.22

デバッグ→デバッグ情報

**デフォルトの名無しさん** · 2014/11/04(火) 23:31:17.91

複雑なマクロでもたいていは展開系見れば何とかなるね。それでも動かないマクロがたまーにあって辛いけど。

**デフォルトの名無しさん** · 2014/11/04(火) 23:40:21.11

自作のコンパイラなりなんなりはデバッグと最適化を考えたらなにも出来ない
むしろ潔く投げ捨てる勢いと割り切りで走らないとダメっしょ
俺様考えたルールで動いた万歳終わりな感じ
四則演算と条件文、あとGOTOなりCALLなりがあれば立派
それ以上の高度化は努力しだいってことで
それとも大人しくCommon Lispあたりを使って妥協するとか
Lispだと関数を生成して実行できるんだよね
例えば入力画面の項目数とか要件とかを与えて関数の形で生成して実行な感じの

俺様コンパイラ、Lispコード生成するからコンパイルや実行デバッグはそちらでオネガイみたくｗ

**デフォルトの名無しさん** · 2014/11/05(水) 01:50:49.88

そこまで楽するなら構文をリードマクロで定義したほうが早そう

**デフォルトの名無しさん** · 2014/11/05(水) 07:49:49.12

xmlってスクリプト言語なの？データ構造なの？
xmlを使ったスクリプト言語らしきモノもあるみたいだし、よーわからん

**デフォルトの名無しさん** · 2014/11/05(水) 08:22:34.79

>>83
C とかのソース吐いて、最適化よろしくね（はーと）でいいだろ

**デフォルトの名無しさん** · 2014/11/05(水) 09:54:15.68

>>85
データ構造だろ
パーサ作るのが楽というか有りものが使えるからxxxxMLみたいに拡張して使われるんだろう

**デフォルトの名無しさん** · 2014/11/05(水) 11:54:58.98

>>85
プレーンテキストってスクリプト言語なの？データ構造なの？

**デフォルトの名無しさん** · 2014/11/05(水) 17:03:13.23

>>88
只の文字列だよ
そこに意味を付けるのはまた別の事

**デフォルトの名無しさん** · 2014/11/05(水) 17:58:10.42

シェルスクリプトとかみたいな意味でスクリプトではない。
XSLTとか、あとワドラー氏が冗談で提案していたと思うがXMLで表現するプログラミング言語と
いうものもありうるけど、XML自体は単なるデータ構造でしかない。

**デフォルトの名無しさん** · 2014/11/05(水) 21:09:37.17

XMLにロジックを書く者は呪われる。やめておいた方がいい。あれはデータ形式としても冗長すぎるし、良いところはない。
S式を使うといい。

**デフォルトの名無しさん** · 2014/11/05(水) 21:32:19.82

XSLTは割とよくできてるよw

**デフォルトの名無しさん** · 2014/11/06(木) 01:58:37.08

閉じ括弧重ね書き文化は誰も止めなかったのかねえ))))))))))))))))))))

**デフォルトの名無しさん** · 2014/11/06(木) 02:08:22.53

Cみたいな中括弧、改行、インデントを繰り返すのもイマイチ

**デフォルトの名無しさん** · 2014/11/07(金) 19:44:15.64

整ってると思うがなあ
switch, caseだけはアレだが

**デフォルトの名無しさん** · 2014/11/07(金) 20:31:09.14

switchとcaseは同じインデントにしてbreakだけ字下げだよね？ね？

**デフォルトの名無しさん** · 2014/11/07(金) 20:52:59.78

>>96 に一票

**デフォルトの名無しさん** · 2014/11/07(金) 22:25:11.01

(,)は特別な意味持たせたいとかあるので難しいですね。
(a,)はタプルにしようか、タプルじゃないのかとか。(,a)はタプルとか。

**デフォルトの名無しさん** · 2014/11/09(日) 11:22:54.52

Pythonの「1要素のタプル」はトリッキーだが面白いとは思った。
kなんとかの人が言ってるように、カッコなしでもそうなるのは罠だがw

**デフォルトの名無しさん** · 2014/11/09(日) 12:10:23.68

lispだと(a)とaの違いかな

**デフォルトの名無しさん** · 2014/11/09(日) 16:44:48.42

>> 100

そんな感じ。名前のない構造体