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

「コンパイラ・スクリ ..

461:デフォルトの名無しさん
04/02/13 16:53
>>459
ほんとに馬鹿まるだしだな
哀れでしょうがないぞ
頭大丈夫かい？

>>460
何なのか説明しろよ。

462:デフォルトの名無しさん
04/02/13 17:26
>>461
Spirit で記述された C/C++ プリプロセッサ。
つーか、ドキュメント嫁

463:デフォルトの名無しさん
04/02/13 18:20
spilitだかsplitだか非常にまぎらわしい

464:デフォルトの名無しさん
04/02/13 18:31
と思ったらspiritか
漏れの目が腐ってるだけでした

465:デフォルトの名無しさん
04/02/13 19:18
boostのソースは吐き気がするよ。
これほんとに使ってる奴いるの？

466:デフォルトの名無しさん
04/02/13 19:21
そう思うよな、でもどうやら仕事じゃあ使えないと話にならないらしい。
boostとかLokiを採用してるプロジェクトなんて見たこと無いんだけどさ。

467:デフォルトの名無しさん
04/02/13 20:02
人間には言語の限界へと向かって突進しようとする衝動がある

　　　　　　　　　　　　　　　　　　　　　ウィトゲンシュタイン

468:デフォルトの名無しさん
04/02/13 20:16
boost含んだコード納品するなんて機会あるんか？

469:デフォルトの名無しさん
04/02/13 20:45
この人等はboostで何かいやな思いしたのかな。
boost知らなくてバカにされたとか？

470:デフォルトの名無しさん
04/02/13 21:07
まわりがboostの話ばかりしててついて行けなくてストレス溜まったとかな

471:デフォルトの名無しさん
04/02/13 21:18
そんなあなたには Let's boost がおすすめ。
URLﾘﾝｸ(www.kmonos.net)
日本語解説でわかりやすいよ。

ここみて必要性を感じなければ使わなければ良いだけの話。
ましてや他の人がboostを使ったコードを納品する機会が
あるかどうかなんて知らなくていいでしょ。

472:デフォルトの名無しさん
04/02/13 21:34
boostにはiostreamクラスの演算子オーバーロードのような
構文そのものの意味を変えてコーディングするスタイルを
強要するライブラリ（spiritとか）があるから
なんかあんまり好きになれない。

473:デフォルトの名無しさん
04/02/13 21:43
>>472
基本的にはやりすぎだと思うけど、boost::filesystem　の
パス結合演算子を「/」にした辺りはなかなか面白いと思ったり。

Boost　っていろいろごたまぜだから、
俺は気に入ったところだけつまみ食いという感じ。

474:デフォルトの名無しさん
04/02/13 21:50
おまえらスレ違い

475:デフォルトの名無しさん
04/02/13 22:04
すまん、ナチュラルにテンプレートスレかとおもてたよ。

476:デフォルトの名無しさん
04/02/13 22:04
すまん、ナチュラルにテンプレートスレかとおもてたよ。

477:デフォルトの名無しさん
04/02/14 17:09
>>431
ご親切にありがとうござい居ます。
やはり、かなりの数のシンボルが有るんですね。

478:デフォルトの名無しさん
04/02/14 21:24
lispでは新しい構文を定義するのは普通だけど

479:デフォルトの名無しさん
04/02/15 21:03
lisp はクソ。マクロは可読性を下げてユーザビリティがｲｸﾅｲ。
) より end のほうがユーザビリティがｲｲんだよ。ボケが。

480:デフォルトの名無しさん
04/02/15 21:12
よそでやれ
どうしても此処でやりたきゃ、可読性の悪い理由書け >>479
そうすりゃ、言語仕様やらの話題になる。

481:デフォルトの名無しさん
04/02/15 21:26
コンパイラってアセンブラ吐く所まで作れば良いの?
それともオブジェクトコード作ってリンクする所まで?

482:デフォルトの名無しさん
04/02/15 21:26
言語設計と言語処理系の話は分けるべき？
それとも不可分と考えるべき？

483:デフォルトの名無しさん
04/02/15 21:57
言語によってはコンパイラだけで完結出来なかったりするんだよなー。

484:デフォルトの名無しさん
04/02/15 22:04
J*V*厨の香りがプンプンするな

485:デフォルトの名無しさん
04/02/15 22:12
そなん？
C++とかコンパイラだけしか見ないって条件だと殆ど無理じゃね？

486:デフォルトの名無しさん
04/02/15 23:55
>>481
アセンブラを呼出してオブジェクトにすればいい。
ただし権利関係やソースのフォーマット等で既存のが使えない場合は
アセンブラも自前で作らなきゃならない場合も多い。

487:デフォルトの名無しさん
04/02/16 06:41
lispはあれでいいんだよ。読みやすさをちょっと犠牲にしただけで
物凄いメリットが生まれたんだから。

488:デフォルトの名無しさん
04/02/16 13:01
ゲーデルの証明が理解出来なかったカッコ嫌いLISP嫌い厨
↓

489:488
04/02/16 13:19

490:デフォルトの名無しさん
04/02/16 14:07
>>488-489
ﾜﾛﾀ

491:デフォルトの名無しさん
04/02/16 14:37
Lispさんは悪くない。
Paul Grahamの文章を読んで勘違いしたLisp厨が悪い。

つかPaulはさっさとArcを世に問えよ、と。

492:デフォルトの名無しさん
04/02/17 14:42
)とendを置き換えるプリプロセッサ(sed使えば一行で書けるなw)を使えば糸冬了(<-何故か変換できる)。

493:デフォルトの名無しさん
04/02/17 18:01
endだらけになってもっと悲惨

494:デフォルトの名無しさん
04/02/17 19:59
( )を{ }に置き換えたらC言語っぽく見えますか？

495:デフォルトの名無しさん
04/02/17 23:02
Lispスレで聞いてくれ。

496:デフォルトの名無しさん
04/02/17 23:31
>>494
curl という（ダウンローダじゃないよ）のがあったな。確か昔スレたったと思う。
Arc は使ってみたいね。[] 萌え。Lisp は適度に [] を入れれば結構読み易くなりそうな
気がするんで期待してます。

いつか Scheme コンパイラ作ってみたいな。

497:デフォルトの名無しさん
04/02/18 13:37
俺は()&前置記法で統一されているのがベストと思う。

498:名無し＠沢村
04/02/18 22:06
おれのマシン語のサイトに掲示板ができたぞ！
ほんにおまいら～♪

URLﾘﾝｸ(hp.vector.co.jp)

499:デフォルトの名無しさん
04/02/19 01:58
既出だけど、TinyCC って面白そう。

URLﾘﾝｸ(fabrice.bellard.free.fr)
URLﾘﾝｸ(2.csx.jp)

500:デフォルトの名無しさん
04/02/20 02:46
500ｹﾞﾄ。

URLﾘﾝｸ(i.loveruby.net)
ついに来た。

501:デフォルトの名無しさん
04/02/22 08:31
URLﾘﾝｸ(home.in.tum.de)
URLﾘﾝｸ(www.cobalt.co.jp)

just a memo.

502:デフォルトの名無しさん
04/02/26 15:07
クラスベースよりプロトタイプベースの方が実装ラクだな
メタメタしなくていいしｗ

503:デフォルトの名無しさん
04/02/26 20:38
スクリプトで、 printfとかを実装しようとすると、
たんなるラッパーでは通用しませんよね？

やはり、これって自前で実装しなければならないんでしょうか？

504:デフォルトの名無しさん
04/02/26 20:41
いいえ

505:デフォルトの名無しさん
04/02/26 20:57
Perlは色んな関数自前で用意することが多いよな。

506:デフォルトの名無しさん
04/02/26 21:06
>>503
可変長引数の処理ができれば
実装しなくてもvprintfかvsprintfでどうにかなりそうだけど

507:デフォルトの名無しさん
04/02/26 21:12
>>506
C言語の仕様だけで任意の可変長引数を作り出すのってできたっけ？
スタック弄らないとだめ？

508:デフォルトの名無しさん
04/02/26 21:15
>>507
できる。stdarg.hの説明でも見れ。

509:デフォルトの名無しさん
04/02/26 21:24
>>508
URLﾘﾝｸ(www.catnet.ne.jp)
には出来ないって書いてあるみたいだけど？

なんか間違ってる？

510:デフォルトの名無しさん
04/02/26 21:30
>>509
あー、そっか。
実行時は確かにできないや。ｽﾏｿ。
素直にスタック弄ってくらさい。

511:デフォルトの名無しさん
04/02/26 22:06
やはり出来んみたいね！
スタックいじるのって禁じ手かも。

512:デフォルトの名無しさん
04/02/26 22:10
>>509
15.13あたりかな？
やはり、printfのwrapperは無理みたい。

513:デフォルトの名無しさん
04/02/26 22:11
移植性考えればスタック弄るのは止めた方が良いと思う。

514:デフォルトの名無しさん
04/02/26 22:28
移植性つってもpushの順番程度の違いでしかないがなあ

515:デフォルトの名無しさん
04/02/26 22:40
スタックとは限らない。

516:デフォルトの名無しさん
04/02/26 22:49
お遊びでつくるプログラムに、移植性の必要は皆無。

517:デフォルトの名無しさん
04/02/26 22:49
>>503
スクリプト言語での1回のprintf呼びだしを、
1回のCのprintf関数呼びだしで実現しようとすると大変だが、
引数をひとつずつ処理して、何度もprintf呼べばいいんでない？

518:デフォルトの名無しさん
04/02/27 08:06
>>517
フォーマットを解析する必要があるので、
移植性は優れるが手間は余計にかかると思われ。

519:デフォルトの名無しさん
04/02/27 11:33
yacc/lex,bison/flexの話題もこっちでOKですか？

520:デフォルトの名無しさん
04/02/27 13:35
>>519
OK

521:デフォルトの名無しさん
04/02/27 18:43
Windowsで汎用的なスクリプト用途考えると、
VBScriptみたいにCOM扱えないと話にならない気がする。
と、VBScript書いてて思った。
でもCOM扱うの面倒なんだよな。
自作の言語をWSHに対応させたって人いる？
たぶんえらい手間掛かってると思うけど。

522:デフォルトの名無しさん
04/02/27 21:23
させようとしたことはあります。
が、IE中でscriptタグで動かすと凍るのであきらめた。
コンソールからだと、WScript.CreateObjectが上手く行く時と行かない時があったような、記憶はある。
だいぶ前の話です。

523:デフォルトの名無しさん
04/02/28 06:12
DMonkeyってwsh対応してなかったっけ

524:デフォルトの名無しさん
04/02/28 13:46
>>517
Good Idea!

ただし、scanfには使えない可能性が...

525:デフォルトの名無しさん
04/02/28 13:52
直接pushで積んだ方が楽だし変な不具合もない。
なんつうか、潔さ？

526:デフォルトの名無しさん
04/02/28 21:47
>>525
GCCでもできますか？

527:デフォルトの名無しさん
04/02/28 22:12
できますが？

528:デフォルトの名無しさん
04/02/28 23:17
>>524
format I/Oの処理は、printf(3)に下請させる場合でも、
format指定と引数の方が合ってるかどうかなど、
適切なチェックを行わなければ、処理系の状態がおかしくなってしまうので、(e.g. core dump)
言語の仕様として、C風の書式処理じゃなくて、C++風にした方がいい。

529:デフォルトの名無しさん
04/02/29 00:06
C++形式はアホとしかいいようがありませんな。
言語側の都合というか。

530:デフォルトの名無しさん
04/02/29 00:45
>>527
どのように実現されるのでしょうか？
もしよろしければ、HPアドレス等お教え下さい。

531:sage
04/02/29 00:47
>>529
どのあたりがアフォですかね？

532:デフォルトの名無しさん
04/02/29 00:53
>>531
一目で書式がわからない時点で相当のアホかと。

533:527
04/02/29 00:55
>>530
インラインアセンブラ使えよ。
それだけだよ。
何を迷ってるんだが。

534:デフォルトの名無しさん
04/02/29 01:40
x86と68kとarmとppcとG3～G5くらいまで対応すれば普通の人は困らないかな？

535:デフォルトの名無しさん
04/02/29 12:38
SPARCO...

536:デフォルトの名無しさん
04/02/29 14:14
今ドラゴンブックを読んでいるんですが、
LRの構文解析は、yacc等のツールを使わないと作成できないんですか？
手動で書くと非常にめんどくさいとかいうのをどこかで読んだ気がするんですが、
なぜですか？

537:デフォルトの名無しさん
04/02/29 14:23
なぜですかって、自分で書いてみろよ（ｗ
アホか？

538:536
04/02/29 14:28
>>537

いや、自分、まだそんなレベルじゃないので。
構文解析などはまったくわからず、ドラゴンブックの最初の一章を読んでいる途中です。

539:デフォルトの名無しさん
04/02/29 14:53
プログラム書けない情報系の学生

540:536
04/02/29 14:56
>>539
情報系ではありません。

ただし、学生ではあります。

（プログラム書けないってのは、まあ、当たらずとも遠からじと言えるかも）

541:デフォルトの名無しさん
04/02/29 15:04
>>536
まだいたのか（ｗ
「めんどくさい」ってことは「作成できる」ってことだろ。
聞いた話とか鵜呑みにするんじゃなくて、
こういうのは自主的に確かめるとかしないと身にならないよ。

542:デフォルトの名無しさん
04/02/29 15:21
コンパイラのようなこんな人間もいるのだな。

543:デフォルトの名無しさん
04/02/29 15:32
ｸﾘﾘﾝの事かぁー！

544:デフォルトの名無しさん
04/02/29 17:48
>>536
最後まで読んでから聞け
社会に出てから苦労するぞ

545:デフォルトの名無しさん
04/02/29 21:42
allocaってどうやって実装してるの？
引数に渡す値って可変なんでしょ？
後付けでadd esp, nとかわかんの？
ソース嫁とかなしでおながいします。
ｻﾑｲので

546:デフォルトの名無しさん
04/02/29 21:56
ソース嫁

547:デフォルトの名無しさん
04/02/29 22:07
ｻﾑ･･･

548:デフォルトの名無しさん
04/02/29 22:11
gccだとbuiltin_allocaでinline風の処理。

549:デフォルトの名無しさん
04/02/29 22:25
どうやっても何もねーし
スタックポインタ動かす→そのアドレス返す、で終わりだろ

550:デフォルトの名無しさん
04/02/29 22:40
これだからソース嫁ない香具師は・・・・

551:デフォルトの名無しさん
04/02/29 22:54
>>545
allocaはコンパイラの組み込み関数です。

コンパイラの生成するコードが読み切れる―例えばauto変数の参照にはフレー
ムポインタのみを使い、SPは関数出口でsp <- fpのように設定して元に戻すま
で参照しない―なら、後付けで実装もできます。

でも最適化のレベルの高いコンパイラでは危険ですね。

552:デフォルトの名無しさん
04/03/01 20:45
ahhoca()

553:デフォルトの名無しさん
04/03/01 20:46
>>548
ahoca?

554:デフォルトの名無しさん
04/03/01 20:50
assoca!

555:デフォルトの名無しさん
04/03/01 20:55
>>554
asoccaじゃねーの？

556:デフォルトの名無しさん
04/03/01 23:05
alloca(n)を
sub esp, n
mov eax, esp
に展開してやればいいの？

最後に
mov esp, ebp
pop ebp
する関数なら大丈夫ってこと？

557:デフォルトの名無しさん
04/03/02 00:53
>>556
それだと危険だね。Win32だと単純にスタックポインタをいじるだけだと、
2ページ以上境界をまたいだ時に例外飛ぶよ。
他のOSは実験してないからしらん。

確か1ページずつ動かしてくコードになってたはず>_alloca()
隣のページを触った時に初めてメモリ確保するんだっけな？

558:デフォルトの名無しさん
04/03/02 18:56
>>557
え、ページなんて概念があったんですか。
ちなみに１ページって何バイトでしょうか？
その辺の情報で何か適当なWebリソースってありますでしょうか。

そういえば、自作の処理系でスタックから配列を確保すると、
16000バイト付近でおかしなことになるんですが、これも
ページと関係ありですか？
コンパイラ側でスタックサイズを確保するだけじゃだめなのか。

559:デフォルトの名無しさん
04/03/02 19:25
ごめん、ググったらx86の１ページは4kてわかりました。

今ためしにVC6で大きい配列確保するテストしてみたら、
ある大きさになったら密かに__chkstkっていうのを呼んでる。
ちょうど4kバイトを境に。
まいったなあこれ。
全く知らなかった。

560:デフォルトの名無しさん
04/03/02 19:37
つまり4kを超える固定配列をスタックに確保する場合は、
sub esp, 4096
の代わりに、
mov　eax, 4096
call　__chkstk
に書き換えなくてはいけないわけだ。
やだなあこれ・・

allocaだと＋余分を計算しないといけない？
無条件で_chkstk呼べばいいのかな。

561:デフォルトの名無しさん
04/03/02 19:39
でもこれでスタック確保でおかしくなる原因がすっきりわかりました。
ありがとうございました。>557

562:558
04/03/03 02:41
いまどきのOSはスタックの割り当ては動的だからね。

最小限のサイズのみを割り当てて、スタックの次のページを
さわった瞬間にメモリ未割り当てのページフォルトが発生して、
そのタイミングで実際の仮想メモリを割り当てる実装になってる。
で、そのページフォルトを判定するのが隣接ページのみってこと。

フレーム割り当てのタイミングでサイズが決まってるのなら、
sub esp, 4096; sub esp, 4096; sub esp, 200
みたいな感じで展開しちゃってもいいと思うよ。

563:デフォルトの名無しさん
04/03/03 05:37
>>562
espの値を変えただけでは、ページを触ったことにはならないと思うが。

564:デフォルトの名無しさん
04/03/03 06:15
つーかさー、いい加減ソース見ろよ。
ページ処理をどーすればいいのかとかもわかるし。

565:デフォルトの名無しさん
04/03/03 07:36
>>558
ところで、自作の処理系ってアクティブ何とか？

566:デフォルトの名無しさん
04/03/03 12:21
やっぱりMacOSXみたいにスタックもallocしたほうが分り易いよな

567:デフォルトの名無しさん
04/03/03 18:12
>>562
名前557の間違いですか？
ちなみにCRTの_chkstkを呼ぶ様にして解決しました。
おかげで既知のバグがすべて潰せました。

>>564
557氏みたいなヒントがないとソースみてもわかんなかったよ。

>>565
アクティブ何とかの話はよくわかりませんが、
目標はネイティブ実行できるLISPっぽいCみたいな感です。

568:デフォルトの名無しさん
04/03/04 23:56
どーでもいいけど、
スタックとるahhocaって制限多すぎでない？

大きな自動変数は、普通process即氏けどな。

569:557
04/03/05 01:12
>>563
IA-32(+Win32?)の場合だとesp、ebpは明示的に参照しなくても
ポインタが指し示すだけでAccess Violation飛んだはず。
かなり前の記憶なんで確証ないけど・・・

>>568
用途が違う。大きなサイズが必要ならHeapを使えばいい。

関数が呼び出されるまで厳密なサイズはわからないが、
スタック食いつぶすほどのサイズにはなりえない場合とか、
シグナルハンドラから突如longjmp()されようが、絶対に
メモリリークしたくない場合などに使える。

570:デフォルトの名無しさん
04/03/05 19:07
>>569
> かなり前の記憶なんで確証ないけど・・・
明らかに記憶違い。

$ uname -ms
CYGWIN_NT-5.0 i686

$ cat a.c
#include <stdio.h>
static void *
badstack()
{
　　 __asm__("mov %esp, %edx; sub $0x100000, %esp; mov %esp, %eax; mov %edx, %esp");
}

int main()
{
　　 char *p = badstack();
　　 printf("%p\n", p);
　　 fflush(stdout);
　　 printf("%x\n", *p);
　　 return 0;
}

$ gcc a.c

$ ./a.exe
0x12ef18
Segmentation fault (core dumped)

571:デフォルトの名無しさん
04/03/05 19:40
>>570
linuxでもちょっと大きな奴渡すとすぐにsegfault!です

572:558
04/03/05 20:39
>>571
自分も最初そう思ったけど、
１０分の１の0x10000にしても落ちたから違うと思う。
ポインタ変えただけじゃ駄目なんじゃないかな。
_chkstkのまわりくどいソースとあわせて考えると。

573:デフォルトの名無しさん
04/03/05 22:14
>>571
大小は関係ない。
> esp、ebpは明示的に参照しなくても
> ポインタが指し示すだけでAccess Violation飛んだはず。
というのは誤り。espを変更しただけでは落ちないで、参照したときに落ちる。

>>570のテスト内容ちゃんと見た?

574:デフォルトの名無しさん
04/03/05 22:46
>>570
つーかそれ関数すぐ戻ってるから、プログラム的に
スタックが有効かどうかというテストにはならんのでは？
badstack() {
　char baduse[0x100000];
　return baduse;
}
と同じことだし・・

575:デフォルトの名無しさん
04/03/05 23:15
あー勘違いした

576:デフォルトの名無しさん
04/03/05 23:17
なので、>>571が正解！

577:545
04/03/09 22:36
alloca実装でけたよ
疲れた

578:デフォルトの名無しさん
04/03/20 13:15
Windowsで使えるlexってないんでしょうか？
Cygwin上でうごかすのではなく、純粋にWindows用として。

579:デフォルトの名無しさん
04/03/20 13:33
URLﾘﾝｸ(sourceforge.net)

580:578
04/03/20 14:04
>579
ありがとう。
でも俺がいうのもなんだが甘やかしすぎでは。

581:デフォルトの名無しさん
04/03/20 18:02
>>580
何だそりゃｗ

582:デフォルトの名無しさん
04/03/20 19:30
>>578
こんなんもあるけどな
URLﾘﾝｸ(www.vector.co.jp)

583:デフォルトの名無しさん
04/03/20 20:18
579は鉄オタに優しいNHKみたいですね＜あまやかしすぎ

584:デフォルトの名無しさん
04/03/20 21:46
おれはNHK料金払ってない

585:デフォルトの名無しさん
04/03/20 21:53
>>584
同じく、見てないし。

586:デフォルトの名無しさん
04/03/20 23:24
つーかNHKあまやかしすぎ

587:デフォルトの名無しさん
04/03/23 00:12
教育テレビで歌のお姉さんが胸もまれてたよ。

588:デフォルトの名無しさん
04/03/23 07:16
なんと。

589:デフォルトの名無しさん
04/04/07 19:36
yacc か bison のサンプル集みたいなサイトご存知ないですか？
ちょっと、書籍で勉強してるんですがサンプルが少なくて困ってます。

590:名無し＠沢村
04/04/07 22:06
おまいらよ、超便利ﾏｼﾝ語ｴﾃﾞｨﾀ「Visual E++」ができたから見ちみれ！！
ﾌﾟﾛｸﾞﾗﾑ言語の歴史が変わった歴史的瞬間だ。

URLﾘﾝｸ(hp.vector.co.jp)

591:デフォルトの名無しさん
04/04/08 19:16
>>590
Windoze用かよ＿|￣|○

592:デフォルトの名無しさん
04/04/08 23:52
逆に聞くが、Windows用以外に何があるんだ？

593:デフォルトの名無しさん
04/04/10 01:45
>>592
(ﾟДﾟ)ﾊｧ?Macに決まってんだろ！

594:デフォルトの名無しさん
04/04/10 05:25
>>592
SPARCでSolarisかLinux。PPCでMac OS X用。
これだといじれるんだけどな。Windozeなんざ動く環境がないんで試す事すらできねぇ。

あ、StrongARMなLinuxZAURUSも有るか。

595:デフォルトの名無しさん
04/04/10 05:44
> Windoze
スペルは正しく書きましょう Windows :p

596:デフォルトの名無しさん
04/04/10 09:41
>>595
ネタだとは思うけど一応...

URLﾘﾝｸ(d.hatena.ne.jp)

597:デフォルトの名無しさん
04/04/10 10:37
ネタをネタで :D

598:デフォルトの名無しさん
04/04/11 11:00
最適化技法について分かりやすく説明してくれている HP ってありませんか？

599:デフォルトの名無しさん
04/04/11 19:46
yacc の勉強とかはみんなどこでやったんですか？
書籍は相当限られていると思うのですが。

600:デフォルトの名無しさん
04/04/11 21:34
yaccなんて１、２回使えばわかる気がするけど。

601:デフォルトの名無しさん
04/04/11 21:53
>>599
みんな、yacc のソースコードを必死に読んだんだよ。
そのために bison はオープンソースになっているんじゃないか。
お前も頑張れ。

因みに yacc のスキャナ自体も yacc で書かれているが
頑張れば何とかなる。

602:デフォルトの名無しさん
04/04/12 21:54
いやいや、yaccのサンプルはないの？

603:デフォルトの名無しさん
04/04/12 22:55
>>602 >>88見れ

604:名無し＠沢村
04/04/12 23:12
ちんぽ

605:デフォルトの名無しさん
04/04/12 23:25
それで？

606:デフォルトの名無しさん
04/04/18 09:21
>>603
書籍はもってるらしいぞ。

607:デフォルトの名無しさん
04/04/23 00:13
gcc 3.4のC++パーサは手書きなんだと。

608:デフォルトの名無しさん
04/04/24 23:06
>>607
みんな手書きだろう？
口述パーサなんてあるか？

609:デフォルトの名無しさん
04/04/24 23:27
>>608
>　みんな手書きだろう？
3.3.3まではyaccに生成させてたんだよ。
これは手書きとは言わんだろう？

610:　
04/04/24 23:48
ところで、コンパイラの仕事ってどうやって
発生するの？
どんな会社がそういった仕事の最先端を行っているの？
なんとなく興味あります

わたしはしがない下請けなので
コンパイラ、と聞くとちょいと憧れますね

611:デフォルトの名無しさん
04/04/25 12:35
知ってるけど教えてあげない

612:デフォルトの名無しさん
04/04/26 19:19
>>609
なるほど、そういう意味ね！

613:デフォルトの名無しさん
04/04/26 19:25
>>529
ほほえましいな。レス番違うし。

614:デフォルトの名無しさん
04/04/26 19:36
>>613

615:デフォルトの名無しさん
04/04/27 04:59
ワロタ

616:デフォルトの名無しさん
04/04/27 23:10
じわじわ来るねw

617:デフォルトの名無しさん
04/05/08 09:26
すんません、Exceptionのthrowとcatchって、どうやって実装されてるんですか？
なんとなく、setjump()とlongjump()をつかうんだろうなーとは思うんですが、いまいち自信ないです。
どう実装してるのかを紹介したサイトなりがあれば教えていただけますか。
＃「例外実装」とかでぐぐってもそれらしいのは見つからない。

618:デフォルトの名無しさん
04/05/08 09:44
exception setjmp longjump でググってみてみれ。

URLﾘﾝｸ(www.google.co.jp)

619:618
04/05/08 10:24
longjmp だった。言い訳なんかするもんか・・・

620:デフォルトの名無しさん
04/05/08 11:06
How a C++ compiler implements exception handling
URLﾘﾝｸ(www.codeproject.com)

621:デフォルトの名無しさん
04/05/08 12:27
>>617
ちゃんとしたcontinuationがあれば、それを使って実装すればいい。

622:デフォルトの名無しさん
04/05/09 00:19
どういう意味だ？

623:!621
04/05/09 00:48
>>622
exception を実装する為に continuation を実装するというのも本末転倒な感じが
するけど。

URLﾘﾝｸ(www.shiro.dreamhost.com)

624:デフォルトの名無しさん
04/05/09 19:17
longjumpは制約が多すぎないか？
スクリプトレベルでうまく動かすためには、相当なサポートコードが必要に
なると思うが…

625:デフォルトの名無しさん
04/05/16 12:21
Rubyはlongjmp使ってなかったっけか。

626:デフォルトの名無しさん
04/05/17 05:33
自分も先読みが結構必要なときの
マッチしなかったときの処理にlongjmpを使ってるよ。

627:デフォルトの名無しさん
04/05/18 09:34
>>610
ARM,MIPS,SHとかの組み込み用アーキテクチャとかなら新規開発したあとコンパイラもそれにあわせて最適化とかが必要だから仕事があるんじゃない？

628:デフォルトの名無しさん
04/05/18 21:58
Schemeでいうcontinuationの機構を作りたいのですが、
setjmpとlongjmpの他に何が必要ですか？
スタックの内容を退避しなければ駄目ってのはなんとなくわかるのですが。
インアセ使わずにC言語だけでできるものでしょうか？
とりあえずi386以降で動けばいいです。

629:デフォルトの名無しさん
04/05/19 02:28
>>628
「スタックなぞ一切使わない」というのが王道です。

すなわち、関数呼出しはCALLでなく、JMPになります。
return addressは、「次の処理の関数」として表現し、引数として渡すのです。
通常スタックフレームに置かれる変数は、ヒープに置くことになります。

関数型言語スレ(総合スレは荒れてるので、HaskellかML)
で質問すると詳しい人が教えてくれるでしょう。

630:デフォルトの名無しさん
04/05/19 19:26
ういー、むづかしそうです。
SchemeのCPSてやつですね。

631:デフォルトの名無しさん
04/05/20 02:21
「スタックなぞ一切使わない」という方法は、ここでいう (4) の前者だよね。

URLﾘﾝｸ(lists.sourceforge.jp)
URLﾘﾝｸ(lists.sourceforge.jp)

632:デフォルトの名無しさん
04/05/21 02:19
>>630
やりたいこととは違うと思うけど、Schemeを普通のCにコンパイルする方法。
URLﾘﾝｸ(home.pipeline.com)

- 関数呼出しはCの関数呼出しとしてコンパイルされるが、CPSなのでreturnは決してしない
- スタック領域をヒープとして用いる
- スタックがあふれそうになったら、copying GCで新しいスタック領域に移し計算を続行する
- GCのスタックを走査する部分にはCPUに依存しないので、Cだけで書ける

昔Sigplan Noticesで読んで面白いと思った。

633:デフォルトの名無しさん
04/05/23 00:00
bison / yacc の使い方の質問です。

bison とか yacc って、みんな初めは電卓作りますよね。
3 + 5 (Return)
って入力すると「画面上に」8をprintfするやつ。
これ、画面上で8を返すんじゃなくて、
yyparseの返り値とかそういう感じで yyparse の呼び出し元に
8 を何とかして知らせる方法ないですか?
ただし、グローバル変数は使わないものとして。

634:デフォルトの名無しさん
04/05/23 15:40
>>633
/usr/lib/yaccpar とか /usr/share/bison/bison.simpleを書き換える。

bisonは

#define YYPARSE_PARAM foo

を定義しておくと、void *fooが引数として渡されるから、アクションでその中に
答を入れて返すようにすればいいのでは。

プログラム中からyyparseを複数回呼出す場合は、先読みバッファの再初期化に注意。

635:名無し＠沢村
04/05/24 21:41
おまいらよ、おれはつい最近つーか、たったいまさっきtcl/tkつーコンパイラの存在を知ったよ。
いまＤＬしてるところで、まだ開けて見てないんだが、Webでの説明を見た限りじゃなんか良さげだった。
つーか、ＧＵＩに関しては、Visual C++よりもちゃんとしたＧＵＩアプリが簡単につくれるとのことだ。
ただ計算的な処理には不向きということだが、そこは何かＣ言語で書いて追加できるとのことだ。
おれはちょっとこのtcl/tkを調べてみるが、ホントにＧＵＩに関して良さげだったら、いま開発中の「Vicual E++」は、
このtcl/tkで書き直してもいいな。Visual C++じゃエディタの予約語の色づけとかチョー面倒だしな…
そして内部のメインの処理だけをＣ言語で書くようにすればいいからな…
それができそうかどうかをまず調べてみようと思う。
次に調べたいことは、おれが次につくりたい高級言語に、tcl/tkはオープンソースらしいから、パクレる部分があるかどうかということだ。
ともあれ、おれのコンパイラの開発は飛躍的に前進しそうだな。
おまいらよ、おれはtcl/tkいま知ったぞ。おまいらは、tcl/tk知らなかっただろう？

636:デフォルトの名無しさん
04/05/24 22:11
>>635
tcl/tkって「チックル・チーコ」って読むんだよね？

637:デフォルトの名無しさん
04/05/24 23:11
>>635
お前だけ。

638:名無し＠沢村
04/05/24 23:49
Tcl/Tk、ＤＬしたが、何やこれわぁ！？スクリプトやないか？
実行ファイル作成できんのか？ＨＳＰ以下か？ゴミソフト！！！

639:デフォルトの名無しさん
04/05/25 00:46
セックル・チンコ

640:デフォルトの名無しさん
04/05/25 01:35
>>638
tclsh, wish という位だから、tcl/tk は一種のシェルだよ。
C から system() でシェルのコマンドを実行するのと似た様な感じで使える。
まぁ、もちっと面倒だけど。

俺も以前 tcl/tk からパクれる所が無いかなとソース眺めてみたけど、
C で実装されている部分は低レベルな所だけだったような。

641:デフォルトの名無しさん
04/05/25 10:49
TclつったらPerlと同じくらい歴史の長いスクリプトなんだが
アホは知らなかったのね。

642:デフォルトの名無しさん
04/05/25 10:54
>>641
言語で大事なのは歴史の長さよりも話者人口だよ。
歴史の短い Java をみんなが使うのはなぜだと思う?
Algol や Prolog が滅びたのは?

643:デフォルトの名無しさん
04/05/25 12:04
今頃Tcl持ち出してくるなんて１００％ネタだと思ってたんですが。
釣りだよね？親切に説明してる640が気の毒だ。

644:デフォルトの名無しさん
04/05/25 13:29
>>642
Algolはともかく、Prologは滅びてはいないだろ。
Algolにしたって、形を変えてその思想は受け継がれているわけだし。

645:デフォルトの名無しさん
04/05/25 13:53
>>642
知名度の話をしてるんだが。なにが言語で大事なのは、だ。
かってに妄想してチンコ膨らましてんじゃねーよキモイ。

646:デフォルトの名無しさん
04/05/25 19:15
642じゃないけど、
　妄　想　ま　で　制　限　さ　れ　て　た　ま　る　か
妄想でチンコ膨らそうぜ

647:デフォルトの名無しさん
04/05/25 21:40
>>642
Tclはハード設計ツールの組込みスクリプト言語ではメジャーです。
(Tclはいやだけど、独自言語よりはましだよな)

もともとTclはアプリ組込み用だし。tclshもwishも組込みのサンプル
みたいなもんです。

648:デフォルトの名無しさん
04/05/25 22:13
でも結局、Tk のほうが Tcl よりも何倍もメジャー。

649:名無し＠沢村
04/05/26 21:18
Starpack
Tcl/Tkでつくったスクリプトを実行ファイルに変換するツールだな。
が、わし英文読めんけん、このページのどっからＤＬしていいかわからんのよ。
このページの何行目の何という文字をｸﾘｯｸするとＤＬできるか、教えて～♪

URLﾘﾝｸ(www.interq.or.jp)

650:デフォルトの名無しさん
04/05/26 21:45
沢村師ねよ

651:デフォルトの名無しさん
04/05/29 19:38
ここは沢村を呪うスレとなりました。

652:デフォルトの名無しさん
04/05/29 22:11
　　　　　　　　　　　　　 -=､￣`―''"　|＼ `'''―'''"　　 |　　||　　　　　　　　　　|ヽ､＿＿＿__,へ、
　　　　　　　　　,...--､　　　 `―‐ァ‐...::',　＼:::::::::::::::::::: |　　||　　　　|ヽ､＿__,ヘ、| ┌──┐ i´
　　　　　　　 ,. '　 ..::....`'''‐--‐''"~...:::::::::ヽ　 ` ､::::::::::::::::|　　||　　　　| ┌─┐ i´ |　|　　　　　│ |
　　　　-=ニ"_,...､-- ヾヽ､::::::::::::::::::::::::::::::::ヽ　　`､ `,::::::|　　||　　　　|　|　　│ |　|　|　　　　　 .|　|
　　　　　　　　　　`''‐-`ヽ.`''‐-..._:::::::〃:::l:::l`ヽ..ノヽヾ,: |　　||　　　　|　|　　│ |　|　|＿＿＿＿|　|
　　　　　,..-‐''''‐----'":::::::`ヽ、　/l:/|::::/l:::lヾ.‐'""' i| l |　　||　　　　|　|　　│ |　|.┌─‐┐┌┐.|
　＿_,. ' ......:::::::::::::::::::::::::::::::::::: `''1 l! l::::i lヾ|,...-＝＝l. l:|　　||　　　　| └─┘ |　|ノ ,ヘ、 |　|　レ'
　　`ー--‐'￣`>　　　....:::::::::::::::::ﾉ.._,...ヾ!ﾉ-':::/~　　ﾉ i |　　||　　　　.|　|￣￣|ノ　　/　/｀ .|　|
　　　　　　 ,.. '"　 ...::::::::::::::::::::::::::ヽ<￣`>'"　`ｰ‐‐''"ノ..|　　||　　　　 |ノ　　　　　　/　/　　|　|
-‐'"゛`''‐''" .......::::::::::::::::::::::::::::::::::::::{ `‐',ﾍ |　 ,..、＿　　.|　　|| 　　　　　　　　　　/　/　　 |　|　　　　　/|　　　　
....＿＿...:::::::::::::::::::::::::::::::::::::::::::::::::::::::!、　 !　 ,..-` 　　 ,. |　　||　　　　　　　　　／.／　　　.|　|　　　.　/ |
　　-"--- ....＿＿_,...--- ._::::::::::::::::::::`､　`‐'　　　_ｨ' V|　　||　　　　.＿　＿／.／　　　 .　| └─'´ .,)
　　　　　　　　　　　, '"￣..::::::::::::::::::::::::::〉__,..w､ｧ'"Vﾊﾉ |　　||　　　　　｀ｰ─‐'´　　　　　　｀ｰ──'´
　　　,..--- ....＿_,. ' ....:::::::::::::::::::::::::::::::::::::::::Vi,..ﾊ---'"　|　　||
　 ,. '　　　　.....:::::::::::::::::::::::::::::::::::::::::::::::::::::::::'､.　―　　　.|　　||
-=-‐-‐'゛`''‐-.._　　　_,..-----==-　　.:::::::::::`ｰ.`--‐'",'|　　||

653:デフォルトの名無しさん
04/05/30 08:43
沢村が全てを台無しにしたんだな。

654:デフォルトの名無しさん
04/06/02 01:19
マルチスレッドが良く分からない。マルチスレッドなコードを生成するのには
コンパイラ側で何かしてあげなくてはいけない事があるのでしょうか。
それともランタイム環境の問題なのかな。

655:デフォルトの名無しさん
04/06/02 03:04
tls（thread local storage）なんてのが言語仕様として定義されていればコンパイラはそれを意識する必要があります。

656:デフォルトの名無しさん
04/06/02 07:57
>>655
完全にライブラリレベルなのかなと思っていたのですが、そういう訳でもないんですね。
pthread ライブラリを wrap して、他のライブラリも MT-Safe に作れば良いのかと
思ってました。どうもありがとうございます。

657:デフォルトの名無しさん
04/06/09 22:05
インタープリタなんかではスレッド作るとそのスレッド専用の VM が起動する処理系が
あるみたい。コンパイルされる言語でも、スレッド毎にランタイム環境を作ってあげれ
ば良いのかな。

658:デフォルトの名無しさん
04/06/09 22:48
>>657
コンパイルされる言語の場合は、ホスト環境のpthreadライブラリを呼び出す様に
すればいいのでは？
今後主流になると思われるSMP環境を考えたら、複数のCPUを有効に使えるかも

659:デフォルトの名無しさん
04/06/10 00:20
>>658
pthread_create() が C の関数を引数に取るので、クロージャとかを渡したい場合に
何となく面倒じゃないかなと思ってました。変数部分は引数として渡してあげれば
問題無いような気がしてきました。

660:デフォルトの名無しさん
04/06/16 10:58
bison と flex を使っています。
flex では yylval をガンガン使っています。
bison で %pure_parser したら flex が吐き出す C コードのコンパイルで氏にました。
どうすれば %pure_parser しても yylval (と同じような機能) を flex で使えるでしょうか。

661:デフォルトの名無しさん
04/06/16 16:28
>>660
自己レス
URLﾘﾝｸ(www.timeparadocs.net)
これで解決しますた。
が、flex のファイルに yylval.hoge と書いていたのを yylval->hoge と書かないと逝けないようです。

662:デフォルトの名無しさん
04/06/17 23:22
boostのspiritっていじって遊ぶにはよいけど、
実際問題使えるものなのかな？

663:デフォルトの名無しさん
04/06/18 16:14
boost::spirit便乗質問なんですがパースした後
parse_infoのfullを調べるとエラーが発生したか確認できますが
エラーが発生した行番号を取得するにはどうやったら良いんでしょうか？

664:デフォルトの名無しさん
04/06/18 21:33
position_iterator（勘

665:デフォルトの名無しさん
04/06/19 22:30
うわ、みてみると確かにそれらしい気配が・・・
しかし、よく意味が分からない罠・・・

666:読まずにレス
04/06/22 00:47
JJTreeでJVM上で起動するスクリプトを書くのはアリですか？

667:デフォルトの名無しさん
04/06/22 10:17
だめ

668:デフォルトの名無しさん
04/06/23 23:35
このようなコンパイラ誰か作ってもらえません？
イメージ的にはVMを介さない.NETみたいな。
開発の形態はApacheみたいに元となるものがあって
ユーザーが拡張プラグインを自由に作って公開できるようなのがいいな。

・ネイティブコードを吐く
・OSは問わない
・VMなどを介さない
・メインとなる構文はあるが、ユーザーが自由に構文を追加・変更できる。

669:デフォルトの名無しさん
04/06/23 23:38
>>668
D言語でええやん

670:デフォルトの名無しさん
04/06/23 23:38
>>668
URLﾘﾝｸ(hp.vector.co.jp)

671:デフォルトの名無しさん
04/06/23 23:42
>>669
D言語って名前くらいは聞いたことあるんですけど、
>>668で書いたようなことを実現しているんでしょうか？

672:デフォルトの名無しさん
04/06/24 00:03
Lisp系を使えばいいんでないかとオモタ

673:デフォルトの名無しさん
04/06/24 00:15
>>668
このようなコンパイラ誰か作ってもらえません？

というクレクレな割に

> ・ネイティブコードを吐く
> ・OSは問わない

いきなりハードル高い

674:デフォルトの名無しさん
04/06/24 00:25
>>673
APIの類を使わなければ大丈夫
CPUは限定されるが

675:読まずにレス
04/06/24 00:36
ダメですか…orzｶﾞｯｸﾘ　こっそり作ることにします。

676:デフォルトの名無しさん
04/06/24 00:39
.NETだから、膨大なライブラリで動的な言語で言語非依存のバイナリインターフェイスを持ってないとダメだな

677:デフォルトの名無しさん
04/06/24 02:13
>>668
死ねボケ

678:デフォルトの名無しさん
04/06/24 02:20
>>677
お前が死ねカス

679:デフォルトの名無しさん
04/06/24 02:23
>>678
お前も死ねタコ

680:デフォルトの名無しさん
04/06/24 09:50
goto 677

681:デフォルトの名無しさん
04/06/24 09:58
nop

682:デフォルトの名無しさん
04/06/24 10:11
lea eax, dword ptr[eax]

683:673
04/06/24 13:10
>>674
> APIの類を使わなければ大丈夫

画面を含む一切の入出力ができなくなりますが

684:デフォルトの名無しさん
04/06/24 14:11
ブートから初めてVESAなり叩けば良い

685:デフォルトの名無しさん
04/06/24 21:45
>>668は実行可能ファイルとは一言もいってない訳だが。

686:デフォルトの名無しさん
04/06/25 00:58
このページ挙がってないのかな?
URLﾘﾝｸ(www.csg.is.titech.ac.jp)

687:デフォルトの名無しさん
04/06/26 03:09
gosub 687

688:デフォルトの名無しさん
04/06/27 04:13
>>683
>画面を含む一切の入出力ができなくなりますが
要求事項にないから、いいんじゃない？

689:デフォルトの名無しさん
04/06/27 05:13
>>683
GCC があるんだから自分の好きな言語のフロントエンドを書けばいいじゃん。

690:デフォルトの名無しさん
04/06/27 08:28
簡単に言ってくれるが、gcc難解すぎて弄る気にならん

691:デフォルトの名無しさん
04/06/27 10:36
>>689
GCCのフロントエンド書いたときあるの？

692:デフォルトの名無しさん
04/06/27 11:41
>>689
gcc使っても>>668の用件に合わせるのは難しいままだろ?
無知蒙昧な人?

693:デフォルトの名無しさん
04/06/27 17:10
>>689-692
GNU Common Lispでマクロをいじれば何とかなりそう。

694:デフォルトの名無しさん
04/06/27 17:10
URLﾘﾝｸ(www.cminusminus.org)
URLﾘﾝｸ(cs1.cs.nyu.edu)
URLﾘﾝｸ(llvm.cs.uiuc.edu)
URLﾘﾝｸ(gcc.gnu.org)

C--, MLRISC, LLVM, RTL...
色々在るけど、誰か使った事ある？

695:デフォルトの名無しさん
04/06/27 23:04
>>685
まあ、ここ見てる奴は「ネイティブコード」と書いてあるからそんな疑問は浮かばんわけだが。

696:デフォルトの名無しさん
04/06/28 00:10
ネイティブコードと、オブジェクト（実行可能）ファイルを混同して考えるのはお前くらいなものだが。

697:デフォルトの名無しさん
04/06/28 00:28
C--は使ったことあるよ。
結構面白いけど、関数型言語とか論理型言語とか、
実装研究がまだまだ行われている言語向けだなあ。

698:デフォルトの名無しさん
04/06/29 18:16
Common Lispのプリプロセッサ（マクロ）って
そんなに自由度が高いの？

699:デフォルトの名無しさん
04/06/29 20:58
>>698
自由度は高いよ。
マクロ定義とは実質的にLispコードを生成する関数だとか。

まあ、C++のtemplateもだけど自由度が高ければ高いほど解読しにくいわけで、
達人以外が使っても生産性が大して上がらない気もする。

700:デフォルトの名無しさん
04/06/29 22:39
Lispのマクロは
評価時に展開されるから
*プリ*プロセッサとは言わない

701:デフォルトの名無しさん
04/06/30 22:18
>>700
評価に先駆けて展開しといたり、
コンパイル時にも展開できるわけだが。
まあ話を平たくすると、いつでもできるわけだ。

702:700
04/06/30 23:25
>>701
Lispの評価器に関する知識が必要な話を
マクロ＝プリプロセッサという世界のの人に
今説明しても混乱するだけかと

703:デフォルトの名無しさん
04/07/01 00:28
>>698
S式を二回評価すると思ってね。(おおざっぱ)
一回目でプログラムの生成、二回目で生成されたプログラムの実行。
LispはデータもプログラムもS式だから、
こういうのは機構的にもプログラミング的にも簡単。
一度遊んでみると良い。

704:デフォルトの名無しさん
04/07/01 12:02
C, C++だと
MYMACRO(a,b,c) { ... } // a,b,c,..は可変個引数
から
　int a=0;
　int b=1;
　int c=2;
　...
　my_macro_end(a,b,c);
を生成するようなのは書けないでしょ? Lispのマクロはできます。

C++やJavaだとデザインパターンなどで似たようなコードをクラス毎にあちこち
で書かないといけない(が、C++のテンプレートでは表現できない)ことがある。
そういう場合にパラメータを与えて雛形からコードを生成するスクリプトをRuby
などで書くことを考えましょう。
Lispのマクロなら全部Lispだけでできます。

705:デフォルトの名無しさん
04/07/01 12:03
後はなんだろう。処理に必要なデータを静的に持っておきたいとしましょう。
例えば、isdigit()のために、その文字が数字かどうかを記録した1バイト文字
256個分のテーブル(文字が数字なら1、数字でなければ0)を定義したいとします。
そこで、
int isdigit_table[] = {
　0, 0, 0, ...., 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, ...., 0
};
と書く代わりに
int isdigit_table[] = {
　(eval-when-compile // コンパイル時に実行
　　int table[256];
　　char* digits="0123456789";
　　memset(table, 0, 256);
　　for (char* d=digits; *d!='\0'; d++)
　　　　table[*d] = 1;
　　return table;)
};
みたいなことを書けば、(eval-when-compile ...)で囲んだ処理をコンパイラが
実行して、その結果のテーブルとして同じ中身のisdigit_tableを定義できると
思ってください。
C++だとコンストラクタでもできますね(コンパイル時でなく実行時になりますが)。

要するに、C/C++のマクロ(cpp)が格段に高機能な言語になったとしましょう
(C自体では嬉しくないから、RubyとかPHPとか?)。その場合のC,C++に相当する本
体の言語がLispであり、ついでにcppの言語も同じLispになったと考えればいいです。

次ページ