「コンパイラ・スクリプトエンジン」相談室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は迷宮