2 part forth (909ﾚｽ)
上下前次1-新
490(1): デフォルトの名無しさん [sage] 2008/10/09(木) 21:12:38 AAS
: foo dup + ;
: bar dup * ;
: baz foo ( ここ ) bar ( そこ ) ;
foo が呼ばれたときリターンスタックには( ここ )が積まれてる。
bar が呼ばれたときリターンスタックには( そこ )が積まれてる。
bar というワード自身がリターンスタックに積まれているのではない。
491(1): デフォルトの名無しさん [sage] 2008/10/09(木) 21:16:04 AAS
ついでに >>5656(6): デフォルトの名無しさん [sage] 04/02/18 12:27 AAS
第3問
: foo twice ." Hello" ;
でfooを実行すると
HelloHello
を出力するようなtwiceを定義してみれ。
のリターンスタックを使ったパズルの説明でも書いておこう。
問題は、
: foo twice ." Hello" ;
で、
HelloHello
を出力する twice を定義しろというパズル。
492: デフォルトの名無しさん [sage] 2008/10/09(木) 21:22:30 AAS
解答は、
: twice r> dup >r >r ;
何が起きているか説明すると、twice が呼ばれたとき、リターンスタックには、
: foo twice ( ここ ) ." Hello" ;
上の( ここ )が積まれている。
twice は最初に r> を実行して、( ここ ) をリターンスタックからデータスタックに移している。
次の dup で ( ここ ) がデータスタックに二つ積まれた状態になる。
最後に、 二つの >r で ( ここ ) が二つリターンスタックに戻される。
493: デフォルトの名無しさん [sage] 2008/10/09(木) 21:27:12 AAS
さて、定義されたワードの終端に到達したので Forthは、
リターンスタックからリターンアドレスを一つ取り出してそこに戻ろうとする。
: foo twice ( ここ ) ." Hello" ;
↑これの ( ここ )に戻ってくるわけだね。
そして、Helloを出力する。
そしてまた定義されたワードの終端に到達するので、Forth は
リターンスタックからリターンアドレスを一つ取り出してそこに戻ろうとするわけだ。
つまり、もう一度 ( ここ ) に戻る。
もう一度、Helloが出力されたら、次にリターンスタックからpopされる
リターンアドレスは foo を呼び出したアドレスなので、ここでようやく、
foo の実行が終了することになる。
494: デフォルトの名無しさん [sage] 2008/10/09(木) 21:29:45 AAS
リターンスタックに積まれているリターンアドレスは、
次に実行すべきワード単体ではなくて、
それ以降、実行すべきコード全体の先頭を指し示すアドレスだ、
と、理解できたかしらん？
495(2): 488 [sage] 2008/10/10(金) 00:34:56 AAS
（ここ） は分かってるつもりなんですが、
メモリアドレス的に的確に伝えるには難しいような気が。。。
: baz foo ( ここ ) bar ( そこ ) ;
16bitアドレス環境として、スレデッドコードで考えると、
（ここ）は foo のアドレスと同じか、それとも +1 でしょうか？
# foo のアドレス +2 すると bar のアドレスですよね
なんかアホなこと言っているようですみません。
496(3): デフォルトの名無しさん [sage] 2008/10/10(金) 00:55:01 AAS
>>495
「barのアドレス」と書くとbazの定義の中のbarの呼び出しのあるアドレスなのか、
それともbar自身の定義のアドレスなのか混乱するから、
( ここ ) と表現したわけで、その違いがわかってるなら問題ないですよん。
あとポインタってわかるよね？
497(3): デフォルトの名無しさん [sage] 2008/10/10(金) 01:03:18 AAS
>>495
その言い方で言えば、（ここ）はbarのアドレスですね。
正確には、bazの定義の中のbarのアドレス。
>>490 での例を少し補って、
: foo dup + ;
: bar ( あっち ) dup * ;
: baz foo ( ここ ) bar ( そこ ) ;
と書けば、「barというワード自身」というのは（ あっち ）のことになる。
498(1): 496 [sage] 2008/10/10(金) 01:20:54 AAS
>>497
補足ありがとう。
>>486486(2): 464 [sage] 2008/10/09(木) 08:54:40 AAS
>485
>463は呼び出したWORDを積むことを前提にしているし、>451 >472で言ってるのが >463 >473で
思い切り否定されてるので、forthじゃそういう考え方無いのかな、と思った。
もしforthでもそういう使い方しているんだったらおいらの不勉強だね。
の書き込みの問題点を考えてみると、Forthのリターンスタックは、
明らかに「WORDを積」んではいない。
WORDを積むという表現で想起されるのは、>>497の( あっち ) を積むという
ことだとForth使いは受け取るだろうから。
そして ( ここ ) や ( そこ ) は明らかに>>484484(1): 464 [sage] 2008/10/09(木) 01:15:39 AAS
446です。
forthは興味半分で使ったレベルでしかないですね……
concatenative俺言語の設計の参考にしているぐらいです。
>473
リターンスタックを「次に実行する命令の列」という形に抽象化すると、「現在処理中のWORD」と
「ソースコードを解釈したWORD」「Dictionaryに保持されているWORD列」…つまり呼び出されて
いないWORDを対称（等価／交換可能）に扱うことができるようになるので、バーチャルマシンの
構造を簡単化することができるかと思います。
……forthで許されているのかしらんけど。
の「次に実行する命令の列」を
指し示しているわけなので、何が新しいのかよくわからない、という感想に
なるのだと思う。
499(1): 464 [sage] 2008/10/10(金) 01:36:27 AAS
>498
新しいかどうかなんて知らんよ。単にWORDの扱いを正規化できてVMが簡素になるっつうだけの話。
>497で言及している(ここ)(そこ)みたいな間接ポインタをVMで扱う必要も無くなるし。
まあ、その皺寄せをWORDに押し込んでるだけなんだけどね。
500(1): 496 [sage] 2008/10/10(金) 01:42:51 AAS
>>499
なんていうか…
「(ここ)(そこ)みたいな間接ポインタ」というそれそのものが、
アセンブリ言語の時代からある「リターンアドレス」という概念なんですよ…。
Forthはそれをリターンスタックに分離して保存・復帰しているだけのこと。
501(1): デフォルトの名無しさん [sage] 2008/10/10(金) 06:35:09 AAS
>>491
>そして、Helloを出力する。
. "Hello"
がなんでHelloを出力することになるの？
"Hello" .
じゃないのはなんで？
文字列リテラルは特別扱い？
502(1): デフォルトの名無しさん [sage] 2008/10/10(金) 08:32:35 AAS
>500
今は実際のリターンアドレスの話をしとらんよ。
リターンスタックを「次に実行する命令の列」という形に抽象化するっつうとるだろうに。
503(1): デフォルトの名無しさん [sage] 2008/10/10(金) 08:46:05 AAS
>>501
." とか、 前付きの " は、Forthではただの引用符じゃなくて、一つのワード。
だから、Helloとの間に空白が要る。
但し、終わりの " はセパレーターだから、空白なしで良い。
前にも出てたけど、
Forthでは文字列リテラルはポインタと長さの二つの数値で表す。
「.」は、トップアイテムを一つpopして値をプリントするワードだから、
" Hello" .
だと5がプリントされるだけ。文字列ポインタがスタックに残る。
「."」 が 「次の " までの文字列をプリントする」というワード。
文字列をスタックに積んだときは
" Hello" type
とやる。
504(2): デフォルトの名無しさん [sage] 2008/10/10(金) 08:52:55 AAS
>>502
だから、「次に実行する命令列」は辞書の中に既にあるんであって、
それはスタックである必要はなくて、いってみればアレイ。
辞書の中で実行は動的に行ったり戻ったりするから、
やっぱりリターンアドレスの保存は必要。
505: デフォルトの名無しさん [sage] 2008/10/10(金) 09:06:11 AAS
>>503
＞「."」 が 「次の " までの文字列をプリントする」というワード。
なんじゃそら
ﾜﾛﾀ
506: デフォルトの名無しさん [sage] 2008/10/10(金) 17:24:55 AAS
factorだと文字列リテラルはあるよ
507: 488 [sage] 2008/10/10(金) 22:08:31 AAS
>>496,497 サンクス
スレデッドコードと書いておいて誤解がなかったようだ。
497 のレスだと、俺の中では「次のワード」という認識になる。
（あっち）という表現を使えば確かに誤解はなくなる。
なんだか、リターンスタックのデータ内容と、
（サブルーチン）リターンアドレスを混同した希ガス
508(1): 464 [sage] 2008/10/11(土) 00:37:41 AAS
>504
「必要がないから積まない」じゃなくて、「VMの原理を簡単にするために積む」んだって。
VMが辞書の中を行ったり来たりしないようにするのが目的。
もちろん、VMの仕事をWORDに移管しただけの話だし、スタックが大きくなるデメリットもあるけどな。
509(1): 504 [sage] 2008/10/11(土) 01:03:24 AAS
>>508
つまり、ワードを全部インラインにするということ？
それなら確かに理論的には可能だし、リターンスタック自体要らない。
普通は、大きくなるのはスタックじゃなくて辞書だな。
まあ、辞書からインラインで展開したものを
リターンスタックにコピーしてもいいけど、
ランタイムにやるなら相当動作が遅くなると思う。
それに、
なぜそのためにスタックというデータ構造を使うのかがわからない。
後ろから先に積んでいくことになるわけだが。
その発想はインストラクションキャッシュだと思う。
だから、むしろキューがいいと思う。
ソフトウェア的にやると相当遅いとは思うけど、
論理的には可能だと思うよ。
510: デフォルトの名無しさん [sage] 2008/10/11(土) 02:00:15 AAS
サンクス >693693(2): デフォルトの名無しさん [] 2014/01/16(木) 04:52:38.68 AAS
Forth で Forth を書くんだ
５ ソースコード
６ ｂｏｏｓｔ：：ｓｐｉｒｉｔ
というので激しく不安になるな。
というか、スクリプトの入門というのなら、ＢＡＳＩＣタイプ言語の作成とかＣタイプ言語の作成
とか分散しないで、どっちか一つに集中すべきじゃない？
入門だったら、むしろ構文はシンプルなforthライクにして、エンジンの中身に拘るべきだと思うけど……
511: デフォルトの名無しさん [sage] 2008/10/11(土) 02:02:28 AAS
誤爆スマソ
512: 464 [sage] 2008/10/11(土) 02:18:22 AAS
>509
いや、基本はWORD呼び出し時に展開（そのWORDに定義されたWORD列をスタックに押し込む）。
WORDコンパイル時に全部インラインに展開するわけじゃないです。
＃高速化を目的として、WORDコンパイル時にある程度はインライン化することになると思うけど。
WORDに定義されたWORD列を、実行時にその場で積んでその場で処理する必要があるから、
FIFOの仕組みが必要になります。
まあ、小まめにWORDの積み降ろしをやらなきゃいけないから、確かに重そうだけどね。
513(1): デフォルトの名無しさん [sage] 2008/10/11(土) 05:37:05 AAS
464のやり方は、ありえなくはないけどForth的じゃないね。
どっちかっていうとJava VMのJITコンパイラみたいな。
Forthはシンプルな実装で軽い、ってイメージ。
514(5): デフォルトの名無しさん [sage] 2008/10/11(土) 06:54:12 AAS
>>464464(18): デフォルトの名無しさん [sage] 2008/10/07(火) 00:25:52 AAS
>463
いや、別にWORDがサブルーチンである必要はないんじゃない？WORD毎の環境要らないんだし。
Cとの相性を考えるとサブルーチンにした方が良いと思うけど。
あと、CPUのアーキテクチャには疎いんだけど、最近のCPUでスタック持ってるのってあったっけ？
のやり方だと実行の度にリターンスタックに命令列のコピーが発生するわけだな。
対して普通のForthはリターンアドレス一つのコピーで済む。
Forthでは関数の戻り場所を実行時に入れ替えたりできる( >>5959(3): デフォルトの名無しさん [] 04/02/19 17:08 AAS
人少ないなぁ。
第4問
: AA reverse ." AA" ;
: BB AA ." BB" ;
: CC BB ." CC" ;
でCCを実行すると
CCBBAA
を出力するようなreverseを定義すれ。
‥‥‥実はコレ第3問のヒントだったりする。
>>6262(4): デフォルトの名無しさん [] 04/02/20 12:42 AAS
懲りずに第5問。
: foo
." 1 "
resume
." 2 "
resume
;
: bar
['] foo call/cc
." 3 "
resume
." 4 "
drop
;
で、barを実行すると、
1 3 2 4
と表示するような、resumeとcall/ccをがんがって定義してみれ。
ちなみに、この2つのワードは以下のスタックコメントに示すような
引数と返り値を持つものとする。
resume ( continuation -- continuation' )
call/cc ( xt -- continuation )
# ワード名とスタックコメントの名前がアレですが、
# 字面に惑わされなければ、仕様を満たすのは簡単なはず。
# 第３問〜第５問は基本的に同じカラクリ、というのがヒント。
) わけだけど、
>>464のやり方だと命令列自体の入れ替えになるから相当面倒。
Forthの自由度をわざわざ減らしている気がするんだけどな。
でも作るというならがんがれ。
様々な進化があってこそ発展もある。
上下前次1-新書関写板覧索設栞歴
あと 395 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s