2 part forth

**デフォルトの名無しさん** · 2005/12/07(水) 02:41:39

何か話題ないのか

**デフォルトの名無しさん** · 2005/12/07(水) 10:20:28

FORTH にある ROT って
つまり age のことだよね？

最近やっと気付いたよ w

**デフォルトの名無しさん** · 2005/12/07(水) 22:57:42

: age ROT ;

**デフォルトの名無しさん** · 2005/12/07(水) 23:57:33

sage は SWAP でいいのかな？

: sage SWAP ;

**デフォルトの名無しさん** · 2005/12/08(木) 02:35:14

やっぱり
: foo bar ;
より
/foo { bar } def
の方がわかりやすいなあ
: を imdsw_on ; を imdsw_offとかにすれば
ちょっとはわかるような
わからんか

**デフォルトの名無しさん** · 2005/12/10(土) 01:54:03

FORTHは全部が後置記法に統一されてないのがちぐはぐで嫌

**デフォルトの名無しさん** · 2005/12/16(金) 14:42:09

age

**デフォルトの名無しさん** · 2005/12/16(金) 19:51:11

>>265
FORTHの中の人の事情がいろいろ表に出てきてるから。
事情がわかると「なるほど」と思う。

**デフォルトの名無しさん** · 2005/12/16(金) 20:26:43

>>265
硬いこというなよ。普通の言語だって演算子の優先順位とかあるじゃんか。
ソースも１文字ずつ後ろから読んでたら面白かったのに＞forth

**デフォルトの名無しさん** · 2005/12/16(金) 22:34:35

前から後ろから

**デフォルトの名無しさん** · 2005/12/17(土) 08:06:49

でも入口と出口は一緒
pushしてpop
「おめでとうございます。元気な男の子ですよ」

**デフォルトの名無しさん** · 2005/12/17(土) 10:33:36

interlog

**デフォルトの名無しさん** · 2005/12/17(土) 12:43:43

そこで、swapしちゃいます

**デフォルトの名無しさん** · 2005/12/17(土) 13:46:53

HTROFに改名しますた

**デフォルトの名無しさん** · 2006/01/07(土) 18:05:41

自然数 N が与えられたとき、
1 から N までの数字を N 個並べる組み合わせをすべて
列挙するプログラムは Forth で書くとどうなりますか？

例えば N = 3 のとき
1 2 3
1 3 2
2 1 3
2 3 1
3 1 2
3 2 1
となるようにです。
よろしくおながいします。

**デフォルトの名無しさん** · 2006/02/12(日) 23:31:47

ゅしほ

**デフォルトの名無しさん** · 2006/03/05(日) 10:04:15

>>27のリンク先で
「WORDというワードは呪われた代物で、無いほうがよい」っていうのはどういう意味かね。
ほとんど表記法を変更する目的でしか使われないからかな。

**デフォルトの名無しさん** · 2006/03/05(日) 16:17:17

訳注に書いてあるとおり。
プログラムの可読性を損ねるからだと思われ。

**http://www.vector.co.jp/soft/win95/util/se072729.html** · 2006/03/18(土) 22:15:13

TextSS　のWindowsXP(Professional)64bit対応化おながいします

もしくは64bitにネイティブ対応したテキスト置換ソフトありますか？

そういや64bitにネイティブ対応している２ｃｈブラウザてありましたっけ？

**デフォルトの名無しさん** · 2006/03/30(木) 18:03:27

手軽に手に入る唯一のFORTHチップ？

http://www.offete.com/ep32book.html

**デフォルトの名無しさん** · 2006/03/30(木) 18:17:19

オライリーの表紙に龍はないだろ

**デフォルトの名無しさん** · 2006/05/02(火) 18:58:48

>>274

こんな感じか？　たぶんもっと美しいやり方があるのだろうが、ヘタレの
俺にはこの程度しかわからん。

variable x
0 x !
: make.stack 1+ 1 do i loop ;
: clean.stack x @ 0 do drop loop ;
: fn recursive
dup 2 = if
drop .s swap .s swap
else
>r r@ 0 do J 1 - fn J 1 - roll cr loop r> drop
then ;
: show.all
dup x !
dup 0 = if
." Error" drop
else
dup 1 = if
.s
else
cr make.stack dup fn drop
then
x @ clean.stack
then ;

3 show.allとかやってみて。

**デフォルトの名無しさん** · 2006/05/18(木) 11:40:06

Thinking FORTH を CCL で日本語化するプロジェクトが進行中。
本日作業分担を大まかに決める予定。

日本FORTH研究会の会報をPDF・オープン化することも本日の議題。

LL Ring! Language Update に出るか否かも本日決定？

第3世代 FIG JAPAN 立ち上げたいなぁ。

**274** · 2006/05/18(木) 12:01:42

>>281
激しくありがとうございます

**デフォルトの名無しさん** · 2006/05/18(木) 16:13:05

>>282 期待age

**デフォルトの名無しさん** · 2006/05/18(木) 16:13:50

sageいれちまった... orz

**デフォルトの名無しさん** · 2006/05/18(木) 16:19:51

というか日本支部生きてたのか（ｗ

**デフォルトの名無しさん** · 2006/06/01(木) 02:25:15

>>286

生きてません。本家FIGでもリンクがなくなっています。
とはいえ、三世代FIG-JAPAN設立構想も検討中。

**デフォルトの名無しさん** · 2006/08/09(水) 18:37:34

LL Ringに参戦するようだが、勝算はどれくらいだろう？

2006/08/23(水) 21:25:38

Windows上で動くFORTHってない?
DOS窓で動くやつじゃなくて、APIとか叩けるやつ。

**デフォルトの名無しさん** · 2006/08/30(水) 06:22:31

つ win32forth

**デフォルトの名無しさん** · 2006/08/30(水) 08:50:36

LLRing乙でした。

**デフォルトの名無しさん** · 2006/09/03(日) 23:05:33

FORTHﾏﾝｾｰ

**デフォルトの名無しさん** · 2006/10/21(土) 16:45:01

最近話題無いの？

**デフォルトの名無しさん** · 2006/10/21(土) 22:50:10

back and forthです。

**デフォルトの名無しさん** · 2006/10/21(土) 22:51:33

joyとかの話する？

**デフォルトの名無しさん** · 2006/10/23(月) 13:32:14

今更forth使ってる人は自分で問題解決できる人ばっかだからなあ

**デフォルトの名無しさん** · 2006/10/25(水) 07:31:20

>>296
解決できない俺はどうすれば・・・

**デフォルトの名無しさん** · 2006/10/26(木) 00:39:00

質問すればいいんじゃねえの？！

しかしこのスレ
２年以上経つのにまだ300行ってないのか

**デフォルトの名無しさん** · 2006/11/10(金) 22:20:47

なんかニュースないの？

**デフォルトの名無しさん** · 2006/11/10(金) 22:26:12

>>298
＞２年以上経つのにまだ300行ってないのか

FORTHプログラム張りなんだぜ？

**デフォルトの名無しさん** · 2006/11/28(火) 05:56:22

test

>>261-265
>>266,267

**デフォルトの名無しさん** · 2006/11/29(水) 12:28:15

: hoge foo bar ;

{ foo bar } hoge def #コードブロック
* foo bar hoge def #なし

**デフォルトの名無しさん** · 2006/12/09(土) 03:15:37

age
http://factorcode.org/

**デフォルトの名無しさん** · 2006/12/10(日) 21:07:56

虎擬の新年号付属基板に移植するプロジェクト

**デフォルトの名無しさん** · 2006/12/26(火) 05:05:37

>>301
おばかな流れにワロス

**デフォルトの名無しさん** · 2007/01/28(日) 04:43:44

**デフォルトの名無しさん** · 2007/02/27(火) 19:51:33

**デフォルトの名無しさん** · 2007/02/27(火) 20:28:16

FORTH のすごいところは対話型の言語でありながらコンパイラだってとこじゃないのかなぁ…

**デフォルトの名無しさん** · 2007/02/27(火) 20:57:50

forthの凄いところは2スタックマシンと辞書による入れ子構造だと思う。

**デフォルトの名無しさん** · 2007/03/02(金) 12:31:00

（・∀・）っ/凵 ⌒☆ VisualForthマダー？

**デフォルトの名無しさん** · 2007/03/02(金) 12:34:49

>>310
ムーアたん自ら開発済み。
http://www.colorforth.com/index.html

**デフォルトの名無しさん** · 2007/03/30(金) 06:30:41

最近のCPUって、プログラムの自己書き換えができないとか聞いたけど、
そうだとするとFORTH実装するのつらいよね。

**デフォルトの名無しさん** · 2007/03/30(金) 07:48:32

たしかに今も昔もCPUの回路は自分で変更できないな。

**デフォルトの名無しさん** · 2007/03/30(金) 23:27:06

メモリ書き換えればいいじゃん >312

**デフォルトの名無しさん** · 2007/03/31(土) 16:33:43

>>314
最近のCPUってもコードキャッシュに先読みしたりしているから、
下手にメモリを書き換えると、先読みしたコードと、実際のメモリのコードが一致しなくなる。
ので、正常に動作しなくなったり、パイプラインにペナルティが発生して、動作がおそくなったりするらしい。

FORTHって、新しくワードを追加すると、自分自身が大きくなっていくような言語だから、
そこらへんどうすればいいのかわからない。
だれか教えてくれんかな。

**デフォルトの名無しさん** · 2007/04/01(日) 05:04:00

FORTH以前にコンピュータの基礎知識が混乱してるな。

**デフォルトの名無しさん** · 2007/04/01(日) 12:54:31

>>316
FORTHの事、知らないだろ。

**デフォルトの名無しさん** · 2007/04/01(日) 13:11:17

>>313
VBばっかり使ってないで、ハーバードアーキテクチャとノイマンアーキテクチャの違いに付いて勉強しろよ(w

**デフォルトの名無しさん** · 2007/04/01(日) 16:33:44

最近だとこの関係でJITコンパイラとXDビットでも問題になってましたな。
JIT関係にノウハウありそうだけど、良く判らん

**デフォルトの名無しさん** · 2007/04/02(月) 05:03:35

べつに何の困難もないと思うけどな。
パラメータスタックなんて自由度の低いポインタみたいなもんじゃん。

**デフォルトの名無しさん** · 2007/04/11(水) 23:18:58

なんかよくわからんけど、問題になりそうなのは、既存ワードの書き換え時だと思うので、

ワード書き換え→キャッシュをフラッシュ

でいいと思う。

**デフォルトの名無しさん** · 2007/04/23(月) 23:27:41

いかにForthでも、線路を作りながら電車を走らせるようなことはありません。
ワードをコンパイルした後、そのワードを実行するまでには
少なくとも実行ワード名を読み込むI/Oプロセスが介在するので、
人間にとっては一瞬でも、機械には一服する余裕があります。

あと、Forthのワードのオーバーライドは、
関数型言語によくあるようにプログラムの全体についてそのワードの定義を更新するのではなく、
再定義後に読み込まれる部分についてしか効果がありません。
後から遡って定義を変更できるようにするには、
初めから特別な方法で定義しておくようになっています。

こんな感じでどうでしょう。

**デフォルトの名無しさん** · 2007/04/24(火) 06:20:31

forthの人気のなさは異常

**デフォルトの名無しさん** · 2007/04/24(火) 23:36:56

異常だな。～ if ～ then ～ else のせいだったりするんかね？
……forthに何があったらもっと流行るかな？

**sage** · 2007/04/24(火) 23:53:34

て、むしろ正常ってこと？

**デフォルトの名無しさん** · 2007/04/28(土) 23:24:51

Forthを使いたいと思う人より、Forthの処理系を造りたいと思う人の方が多そうな予感

**デフォルトの名無しさん** · 2007/04/30(月) 07:13:54

自分もForthを作っているクチ
毎日、Forthでプログラム作ってるぜ!って奴はいますか?

**デフォルトの名無しさん** · 2007/04/30(月) 08:55:54

ど素人の趣味なので毎日はしませんが、Forth系じゃないコードはほとんど書きません。

むしろForthでForthを作れば良いのではないかと思います。

**デフォルトの名無しさん** · 2007/04/30(月) 12:17:29

>328
Schemeみたいに最低限のプリミティブを用意して、それからForthを組むようにしたら面白いかもね。
Lispだとこんな感じか。
ttp://ja.wikipedia.org/wiki/LISP#.E6.9C.80.E5.B0.8F.E3.81.AELISP

Forthの場合、スタック関連の操作、代入、分岐、Immediate、postponeぐらいで
実装できそうな気がする

**328** · 2007/04/30(月) 21:27:11

>>329
古典的なForthみたいにですね。
昔はアセンブリで書いた核の部分は、今はCでいいですからね。
ただ、何を核にすれば必要十分なのかについて、あまり資料がないですね。
四則演算と論理演算（ビット操作）もあった方がいい気もしますが、どうなんでしょう
（Lispは四則演算はいらない？）。
gforthはそういうやり方らしいですけど、
実行速度のためCで書き込むプリミティブを多めに取ったと書いています。

はじめ漠然と考えていたのは、間接スレッディングのforth環境の上でネイティブ方式のforthを頭から書いてしまう
というようなことでした。Executableフォーマットのファイルを作るのが結構面倒ですけど。
そこまでしなくても、Cのダイナミックライブラリとのインターフェイスがforth上で書ければ、
ほとんど何でもforthでできるんですけどね。
逆に言えば、マシンやOSの低レベルの仕様を調べないと派手なことをするのは難しいので、
そこが難点かも知れません。

もともとforthは言語仕様自体は貧弱なので、
アプリケーション毎に自前の言語を組上げていくみたいな面白さもあります。
インプットストリームも弄れるので、シンタックスまで変更できますし。
それがあまり面白がられていないということですかね。

**デフォルトの名無しさん** · 2007/05/03(木) 09:02:05

昔、近所の古本屋で標準FORTHを100円で保護したのだが、捨ててしまった。漏れの馬鹿。
ところで、Beginning Forthを注文した。米国からなので2週間くらいかかりそう。

**デフォルトの名無しさん** · 2007/05/06(日) 22:37:02

Forthはともかく資料不足。よって今更ながら英語の入門書をもう一個：
ttp://www.mpeforth.com/books.htm
『Programming Forth』 - Stephen Pelc et al.

**デフォルトの名無しさん** · 2007/05/16(水) 04:42:21

汎用で考えるとやっぱり今どきスタックは32ビット長ですよねえ。
そこで移植にお勧めの埋め込み用32ビットプロセッサって何がありますか？
I/Oがたっぷり用意されているので遊べるかなって思いますがどうでしょう。

**デフォルトの名無しさん** · 2007/05/24(木) 20:39:30

パフォーマンス優先ならSHじゃね？
最近秋葉でも手に入りやすくなったし。

FORTHコンパイラをアセンブラでガリガリに書きたい人なら
アセンブラが書きやすいH8かな。

**デフォルトの名無しさん** · 2007/06/05(火) 19:20:03

φ(。。) めもめも

**デフォルトの名無しさん** · 2007/06/05(火) 20:54:14

HDLだけでFORTHは作れる？

**デフォルトの名無しさん** · 2007/06/11(月) 13:07:14

>>336
作れるみたいですね　やってみたことないけどw
ttp://www.ultratechnology.com/chips.htm
この中のMicroCoreって初めて知りました
ttp://www.microcore.org/

**デフォルトの名無しさん** · 2007/07/26(木) 16:12:13

joyの話しようぜ

**デフォルトの名無しさん** · 2007/09/15(土) 23:22:38

後で読む： i386 / Linux 向け Forth コンパイラの作り方。

ttp://www.annexia.org/_file/jonesforth.s.txt

**デフォルトの名無しさん** · 2007/09/26(水) 15:51:44

CでForthの処理系を書いてみた。
GCにはBoehm GC、辞書にはJudy Arrayを使ったので
ほとんど手間がかかっていないわりに速かった。
まだ単純な処理しか出来ないけどrubyとかより速いかも。

**デフォルトの名無しさん** · 2007/09/29(土) 00:15:24

ささやかな期待

**デフォルトの名無しさん** · 2007/09/29(土) 19:36:42

rubyより遅いforhtなんてあるのか?

**デフォルトの名無しさん** · 2007/09/29(土) 19:51:26

>>342
rubyで書けばいいんじゃね？

**デフォルトの名無しさん** · 2007/09/30(日) 17:21:13

>>343
激しく楽しくない気が

**デフォルトの名無しさん** · 2007/09/30(日) 19:36:18

>>340
GC?

**デフォルトの名無しさん** · 2007/10/02(火) 20:36:49

>>345
Garbage Collector でそ。

**デフォルトの名無しさん** · 2007/10/02(火) 22:29:09

（forthに）GC？

てことじゃないか？

**345** · 2007/10/03(水) 23:33:04

>>347
フォローありがとうございます。

>>346
すみません。347さんの線でお願いします。

どう使うのかなあ？と。

**デフォルトの名無しさん** · 2007/10/04(木) 15:23:24

concatenative

**デフォルトの名無しさん** · 2007/10/07(日) 11:41:29

" hoge" は汚なく感じるな
"hoge" か " hoge " だろと

**デフォルトの名無しさん** · 2007/10/16(火) 01:35:58

http://www.forthfreak.net/index.cgi?ForthBestPractices

Programming guidelines when you start doing forth programming:
* try to keep your words to one line, two lines max
* try not to pass more than 3 items on the stack to a word, preferably only 2
* try not to juggle more than 3 items on the stack within a word if you can

**デフォルトの名無しさん** · 2007/10/24(水) 17:49:19

FreeBSD 6.2 では boot loder の動作を
コントロールするために ficl という forth が使われていて
るので、勉強中です。

FreeBSD のサーバーをリモートから管理しています。

以前のバージョンでは nextboot(8) で別ディスク上のカーネルを
次回のみテスト的に起動する設定ができたのですが、今のバージョン 6.2 では
nextboot(8) では同一ディスク内のカーネルのテスト的起動しかできません。

二台のディスクがついているマシンのそれぞれのディスクに別々にOSを
インストールして、交互にアップデートをかけたいのです。
リモートからのコントロールしかできないので、ssh のアクセスができなく
なると一万円払ってOS再インストールなので

そんなわけで、forth のcodeを見ているのですが、難しいです。 orz

FreeBSDのloader 改造したりしている人はいませんか?

**デフォルトの名無しさん** · 2007/11/03(土) 19:38:03

いまふ

**デフォルトの名無しさん** · 2007/12/22(土) 11:53:19

dsForthがアドエスで動くのはｶﾞｲｼｭﾂ?

**デフォルトの名無しさん** · 2008/01/04(金) 04:23:01

notガイシュツ

**デフォルトの名無しさん** · 2008/01/27(日) 13:50:29

このスレの人たちが使う電卓はRPLだったりするの？

**デフォルトの名無しさん** · 2008/01/27(日) 15:03:59

HPの電卓?

**356** · 2008/01/27(日) 17:17:11

>>357
そうです。RPNの間違いでした。

**デフォルトの名無しさん** · 2008/01/27(日) 18:59:27

HP41CV,HP28,HP48SX,HP32S,と使ってきましたよ。
ちなみに今使っているHP35は問題大あり!

**デフォルトの名無しさん** · 2008/02/07(木) 10:12:19

Adobe高速JavaScript実装、バイトコードにForthを採用
http://journal.mycom.co.jp/news/2008/02/07/011/index.html

**デフォルトの名無しさん** · 2008/02/07(木) 15:34:36

LLVM涙目

**デフォルトの名無しさん** · 2008/02/07(木) 21:52:21

単なるスタックベースのVMなだけじゃないの?
JavaVMとか既存のVMと一緒でしょ

**デフォルトの名無しさん** · 2008/02/16(土) 22:40:23

急に某ゲーム機上で動くforthが作りたくなって>>339が挙げてるやつ読んでるんだが(まあこれはi386用だけど）、わかりやすいなこれ
実を言うと今までforthはあまり理解してなかったけど、モヤモヤしてたことがすっきりしてきた
しかしforthってシンプルで美しいなぁ
Lispやsmalltalkに負けないと思うのに、このマイナーさ…

**デフォルトの名無しさん** · 2008/02/17(日) 00:09:41

concatenative languageあたりをキーワードにWebをさまよってみると良いよ。
joy factorあたりが面白いかね。おいらも俺言語作成中。

**デフォルトの名無しさん** · 2008/02/17(日) 00:24:42

factor は良いねぇ。秘かに期待している。

**デフォルトの名無しさん** · 2008/02/18(月) 11:50:59

基本的に

１．stackの一番上と二番目の値に対して演算
２．stackの一番上だけ取り除く
３．stackのn番目と一番目を交換

の機能だけがあると思ってていい？

**デフォルトの名無しさん** · 2008/02/19(火) 07:10:53

concatenativeに？
それならスタックに対する関数適用だけかな

**デフォルトの名無しさん** · 2008/03/20(木) 14:28:46

forthのコメントってもしやforthで書かれてる？
( コメント ) ←これ

**デフォルトの名無しさん** · 2008/03/20(木) 15:22:35

>>368
実装にもよるけど、
ワード ( を読むと、フラグが立って、ワード ) まで無視する。
Forth で書いてある、ってこういう意味ってことでいいのかな？

**デフォルトの名無しさん** · 2008/03/20(木) 15:50:12

>>369
いやなんかマクロみたいな機能を使って書かれているのかなーと
forth知らないので全然分かんないんですけど

要するに↓みたいにforth言語で書かれているのか？ってことです
: ( hoge hoge ... ;

**デフォルトの名無しさん** · 2008/03/20(木) 20:15:20

『標準FORTH』だと pp.166 にある。

: ( 29 WORD DROP ; IMMEDIATE

29 は ')' のコード

WORD はスタックトップと同じキャラが出てくるまで入力を読んで、
その先頭のアドレスをスタックトップに置くワード。DROP は説明の
必要ないな。IMMEDIATE は直前に定義されたワードを、
イミディエイトワードにするワード。

C マガジンのきだあきらさんの連載『千言万語』の Forth の時に
紹介してたネタだったような気もする。

**デフォルトの名無しさん** · 2008/03/20(木) 20:16:04

千言万語単行本にならねーかな

**デフォルトの名無しさん** · 2008/03/20(木) 21:37:32

追加。
イミディエイトワード、というのが、プログラムの実行時ではなく
読み込み時に意味を持つワードなので、マクロのような機能と
言えるかもしれません。

**デフォルトの名無しさん** · 2008/03/21(金) 07:42:46

>>371-373
サンクス

http://www.geocities.jp/naosacra/mops/particle2/immediate.html
これ見てるけどimmediateの意味がいまいちわからん…
何のためのものなんだ？

: ( 29 WORD DROP ; IMMEDIATE
例えば↑にimmediateがついてなかったらどういう動作になるんだろう

**デフォルトの名無しさん** · 2008/03/21(金) 08:55:03

仮に ( がイミディエイトワードで無かったとすると、

: hoge ほげほげ ( ほげほげ ) ;

とか書いた場合に、hoge の定義の一部として、実行される部分になって
しまいます。定義中でも直ちに実行されるワードがイミディエイトワードです。

**デフォルトの名無しさん** · 2008/03/22(土) 10:18:31

>>375
なるほど
理解した。サンクス

**デフォルトの名無しさん** · 2008/03/27(木) 22:38:05

最近、Concatenativeな言語というもの目にしたんでage

**デフォルトの名無しさん** · 2008/03/28(金) 00:23:41

なんか酷いのみつけてきたwwwww

ちょっと草植えときますね型言語 Grass
http://www.blue.sky.or.jp/grass/doc_ja.html

スタックマシン使ってるってだけみたいだが（俺には良く分からん）

**デフォルトの名無しさん** · 2008/03/31(月) 10:36:35

forth厨はなんでもかんでもスタックマシンにするな

**デフォルトの名無しさん** · 2008/04/03(木) 02:09:52

factorでHelloWorldのCGIやってみた
httpdからのfactor起動はバッチファイルで

USING: io ;
"Content-type: text/html; charset=Shift_JIS\n\n" print
"<HTML><head><title></title></head>\n<body>" print
"はろ～factor表\示可能\" print
"<br>\n</body></HTML>" print

なんか楽しいw

**デフォルトの名無しさん** · 2008/04/10(木) 03:00:58

あれ？factorの新しいの入れたら日本語出なくなった
エンコード関係？

**デフォルトの名無しさん** · 2008/05/14(水) 14:10:30

factorソースから入れるのめんどくさいな・・・
gitなんて初めて知ったよ

**デフォルトの名無しさん** · 2008/06/03(火) 17:56:33

何か面白い話無い？

**デフォルトの名無しさん** · 2008/06/05(木) 11:05:57

スタック1本で動作する処理系作れ

**デフォルトの名無しさん** · 2008/06/05(木) 16:18:58

バロースのメインフレームはシングルスタックなんだぜ？

**デフォルトの名無しさん** · 2008/06/05(木) 18:37:49

wikipediaより

> スタックを1つしか持たないスタックマシンは、
> 計算モデルとしては非常に弱い。例えば、1-スタックマシンでは、
> 0n1n（0の並びの後に同じ個数の1が並ぶ言語）のような単純な言語も認識できない。
> 1-スタックマシンの計算能力は、有限オートマトンよりも高いが、
> 決定性プッシュダウン・オートマトンよりも低い。

> 一方、複数のスタックを持つスタックマシンはチューリング機械と等価である。
> 例えば、2-スタックマシンでは、チューリング機械をエミュレートできる
> （チューリング機械のヘッド位置から左側のテープをひとつのスタックが代替し、
> 右側のテープをもうひとつのスタックが代替する）。

へぇ～

**デフォルトの名無しさん** · 2008/07/17(木) 00:50:58

factorのドキュメント消えてら

**デフォルトの名無しさん** · 2008/08/01(金) 21:55:57

V
http://en.wikipedia.org/wiki/V_(programming_language)

Onyx
http://www.canonware.com/onyx/

Forthもこれらも俺には使いこなせないんだけどね orz

**388** · 2008/08/01(金) 21:57:15

Vはこっちのページも
http://code.google.com/p/v-language/

**デフォルトの名無しさん** · 2008/08/02(土) 03:04:06

Forthの実装中sage
実装法のドキュメント付きで晒すかも

**デフォルトの名無しさん** · 2008/08/02(土) 04:01:08

forthって、引数の数ミスるだけで崩壊するよな

>>390
どんな俺フォースを見せてくれるんだい？
誰もいないしここ、日記帳のつもりで使ってくれよ。

**デフォルトの名無しさん** · 2008/08/02(土) 06:07:26

久々にレスｷﾀﾜｧ*・゜ﾟ・*:.｡..｡.:*・゜(n‘∀‘)ηﾟ・*:.｡. .｡.:*・゜ﾟ・* !!!!!

**デフォルトの名無しさん** · 2008/08/02(土) 08:44:15

>>390
http://www.google.co.jp/search?hl=ja&q=codepad&btnG=%E6%A4%9C%E7%B4%A2&lr=

どんな言語使って作るかしらん
こんなの補助として使ってみるのも便利かもしらん

**390** · 2008/08/02(土) 14:40:33

過疎っぷりに見てる人もいないと思ったら、意外といたのね。

>>391
Forthの実装は初めてなので、古典的で教科書通りのIndirect Threaded Code、
Cで書いた仮想マシンの上で動かすってかんじで。
今はMac OS XとLinux(x86)とLinux Zaurus(arm)の上でぽちぽち書いてる。
ポータビリティーは良いのでメモリがあって速度も気にしなければ
簡単にマイコンにも移植可能だと思う。H8なら余裕かな。
今月のトラ技の78K0基板持ってるんだけど、こっちはきついかも。

>>392
あばばばばばば

>>393
おお、こんな面白いのがあったのね。
とりあえずアカウント取ってみた。
このスレに落書きしつつ、blogにまとめてけばいいかな。

ANS-ForthのCORE準拠を目指して
http://www.taygeta.com/forth/dpans.html
読んでるんだけど、けっこうめんどいなあ。
ある程度実装の目処がたったらコード晒してくつもり。
少々お待ちを。

**デフォルトの名無しさん** · 2008/08/04(月) 22:59:11

Forth は実装が簡単だって聞いてたんで、
自分も作ってみようとちょっと調べたんだけど、
仕組みがよく分からなかったし(ワードの定義とか)、
規格に沿った物にしようとすると意外に仕様が大きくて、
挫折しますた＞＜

**390** · 2008/08/05(火) 23:09:27

>>395
辞書まわりは次の10個のワードがあればOK(たぶんね)

CREATE
COMMA(,)
[
]
IMMEDIATE
TICK(')
COLON(:)
SEMICOLON(;)
FIND
WORD

このあたりのワードの挙動は、
http://www.annexia.org/forth
ここのjonesforthを参考にすればいいと思う。
これをインスパイヤしたCと日本語のドキュメントを書いてるんだが・・・仕事が忙しくてね・・・
これをざーっと読んで、yforthあたりの簡単な処理系のコード眺めて
実際に動作を確かめればANS-Forthの準拠もそう難しくないかと。

たださ、ANS-Forthって処理系の内部の規定しすぎじゃね?
もっと好きなようにやらしてくれよ。一回確保したWORDが二度と解放できないとか、
文字列はヌル終端しない代わりに文字数を記憶するとか、ちょっと気持ち悪い気がする。

**デフォルトの名無しさん** · 2008/08/05(火) 23:23:59

>文字列はヌル終端しない代わりに文字数を記憶する
これは正当だと思う。ヌル終端がどれだけのバグを生み出しているか……

**デフォルトの名無しさん** · 2008/08/06(水) 21:05:50

実装としては文字列をヌル終端にしても可。
但し、文字数は必要、かつ、
ヌル終端を当てにしたコードを書いても一般には動く保証なし。
が規定の内容と思われます。他の規定も同様。

**デフォルトの名無しさん** · 2008/08/08(金) 19:23:22

ASCIIZはねーよマジで

**デフォルトの名無しさん** · 2008/08/09(土) 16:38:27

でも、C言語で作られたプログラムとの連携したいときは、NUL文字終端がいいよね。
C言語で作られたプログラムの数の多さ、便利さから言うと、無視できないなと。

**デフォルトの名無しさん** · 2008/08/09(土) 18:30:35

Cは捨てるのがよろしいかと。
C++をbetter Cとして使う方がまだましだと思う。

C++を使えないようなリソースのキツい環境で使うんだったらforthを直書きした方が良いんじゃね？

**デフォルトの名無しさん** · 2008/08/10(日) 00:15:50

＞C++をbetter Cとして使う
それ最悪

**デフォルトの名無しさん** · 2008/08/11(月) 00:15:21

402 と同感だが、better Cとして使うのは FORTH 実装にはない(価値が少ない)だろ。
自己学習として作るならまだしも、
FORTHに期待される動作環境だったらアセンブリレベルの設計が必要だろ。
C++使うならC++的設計をしろって。

**デフォルトの名無しさん** · 2008/08/27(水) 00:31:36

forthチック俺言語のプロセスが回った記念カキコ。

forthだと引数管理がけっこう面倒だと思うけど、wordの名前に
引数の数の情報を盛り込んだら楽にならんかね？
俺言語ではこんな感じでドットの数＝引数の数にしているんだけど、どう思う？
1 2 ..sum
1 2 3 .:sum
名前の衝突も起こりにくくなって一石二鳥かと思うんだけど。

**デフォルトの名無しさん** · 2008/08/27(水) 09:31:38

ドット打つのがひたすらめんどくさそう
ifだと.:ifになるの？

**デフォルトの名無しさん** · 2008/08/27(水) 21:05:33

こういう風にしたらどう？

・引数可変のワードは # で始まることとする
・ワード [ は現在のパラメータスタックポインタの値を
　リターンスタックに積む
・ワード ] は現在のパラメータスタックポインタの値と
　リターンスタックポインタのトップの値の差から
　パラメータ数を計算しパラメータスタックに積む

たとえば

[ 10 20 30 ] #sum

と書くと、#sum実行直前にはパラメータスタックは

10 20 30 3

となっていて、#sumは3つの数の和を求めればいいことがわかる。

**404** · 2008/08/27(水) 22:38:18

>405
そこは構文糖使った方がよろしいかと (a ? b ! cの三項演算子とか)

>406
それも考えたけど、そうするとConcatenativeのメリットが死ぬんだよね。

できるだけ前の計算結果に依存しないように考えると、セパレータのようなものを
スタックに積むのは良くないので、ワード単体で引数までを意味するようにしたい、
ということですな。

**デフォルトの名無しさん** · 2008/08/28(木) 02:39:56

prologみたいにsum/3みたいにするとか。
よく判ってないが。

**デフォルトの名無しさん** · 2008/09/19(金) 17:01:15

引数管理しなきゃいけないようなコードの構成だと崩壊しそう

**デフォルトの名無しさん** · 2008/09/25(木) 03:11:26

しばらくforthやってたら他の言語がいじれなくなってて驚いた。
のめり込むのは危険だなｗ

**デフォルトの名無しさん** · 2008/09/25(木) 03:16:06

>>407
そのセパレータってリスト終端のnullに相当するから
あながち間違ってないと思う。

**デフォルトの名無しさん** · 2008/09/25(木) 21:54:56

concatenativeの論理を詰めて行くと、
スタックの機構はコード設計のための因子から外されるのかも。

**デフォルトの名無しさん** · 2008/09/25(木) 22:34:55

>411
Wordの中でWordを呼ぼうとすると破綻するよ。

>412
結局はトップを基点とした対称性（みたいなもの）になるからな。
対称性があれば何でもOK

**デフォルトの名無しさん** · 2008/10/01(水) 00:29:26

スタック型プログラミング言語の最少命令セットを探して
Whitespaceに辿りついたのですが、
これよりも言語仕様的に小さいスタック型言語ってあります？

**デフォルトの名無しさん** · 2008/10/01(水) 01:55:39

define
call
return
conditional jump
push
pop

これだけで足りるかな？

**デフォルトの名無しさん** · 2008/10/01(水) 07:09:50

callに条件をつければjumpも省けるんじゃないか？

**デフォルトの名無しさん** · 2008/10/02(木) 03:17:37

それより、ひと目で何やってるか判るforth作ってくれないかな。
>>54-65とか何やってるのかわからん。
記号覚えればいいんだろうけど。
: は定義っぽいということは文脈で判った。許す。
>rとかr>は何かと。
;は文の終り？

LISPでいう 'a は (quote a)です、みたいに特殊記号をあまり使わずに
誰が見ても大体判るように、平易な形にならないかな。

**デフォルトの名無しさん** · 2008/10/02(木) 17:56:08

>>417
: word
でワードの定義開始、;で定義の終端
>r,r>はリターンスタックへのプッシュとポップ
>>54の括弧内はそのワードを実行するとデータスタックの状態がどう変わるかをコメントで表している
他の言語と違って裸のスタックが丸見えなんよ

**デフォルトの名無しさん** · 2008/10/03(金) 02:22:08

リターンスタックに何をプッシュ(とポップ)するの？TOSの内容ってこと？
>rとr>って判りにくいと思う。
一瞬で見分けられないというか。
不等号ちがうんかと。
記号使わずに全部記述的にできないかな。
mindとかそんなのかな。

**デフォルトの名無しさん** · 2008/10/03(金) 03:00:42

わかりやすい文法が欲しいのならforth系はあきらめた方がいいと思うよ

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

: pushTOStoReturnStack postpone >r ; immediate
: popFromReturnStackToTOS postpone r> ; immediate

**デフォルトの名無しさん** · 2008/10/03(金) 12:26:50

自分も420に賛成する、forthは裸の2スタックマシンのアセンブラと思えばいいんだけど、それがつらいとちょっときついと思う
ただ、それがインタラクティブ環境を作るあたりと小さな核で構築できるのが非常に面白いのでがんばって覚えてみてよ。

逆に言うと簡単にぶっ壊れるとも言う

**デフォルトの名無しさん** · 2008/10/03(金) 16:59:48

Cとかの他の言語の常識持ち込もうとしてるヤツいないか？
「Forthではこう書く」ってのに納得いかないなら
悪いことは言わんから、使うのやめとけ

**デフォルトの名無しさん** · 2008/10/03(金) 17:54:20

スタックっつうのはあくまで機械にやさしいものであってユーザーフレンドリーなものじゃないしな

**デフォルトの名無しさん** · 2008/10/03(金) 18:38:23

頻繁にスタックを意識しないといけないのは悪いForthコード

**デフォルトの名無しさん** · 2008/10/03(金) 20:05:40

正直アセンブラの方が楽だよ

**デフォルトの名無しさん** · 2008/10/03(金) 20:24:33

慣れると気持ちいいよJoy。forthは知らんけど

**デフォルトの名無しさん** · 2008/10/03(金) 20:29:08

>426
Forthは仮想スタックマシンのアセンブラだから、
（仮想）マシンの理解度によるだろな。

**デフォルトの名無しさん** · 2008/10/03(金) 22:29:45

いや、もっと視認しやすい記号セットを使ってくれって話だろ。
ハイライトできるエディタで単語登録するか、トランスレータでもかますのがいいと思う。

**デフォルトの名無しさん** · 2008/10/03(金) 23:01:49

ところでリターンスタックって別に必要なの？
普通のCPUは1本だよね。
スタックに対して相対アドレッシングがないからってことかな？

**デフォルトの名無しさん** · 2008/10/03(金) 23:57:29

>419
>rとr>は確かに見た目がわかりにくい。
よほどのことが無い限り使わない。
localがあれば要らない。

>430
呼出しのときにデータスタックで直接パラメターを渡すためでしょう。

**デフォルトの名無しさん** · 2008/10/04(土) 00:00:27

>>430
普通のアーキテクチャだと関数呼び出しのスタックにパラメータも突っ込んじゃうけど
forthはデータのpushと関数呼び出しの戻りアドレスが入るスタックが別なんよ。

っていうか別だから面白いことができるので、一緒だったらループとかで涙が出そうだと思う。

**デフォルトの名無しさん** · 2008/10/04(土) 00:10:21

SP, BPレジスタに相当するものがあれば良いのでは

**デフォルトの名無しさん** · 2008/10/04(土) 17:45:11

リターンスタックとデータスタックが一緒だと、
リターンアドレスを壊さないようにデータをいじるのがメンドイ。
リターンアドレスが詰まれている位置を避けるようにして
スタックをアクセスしなきゃいけないから。
それはSPとBPがあってもメンドイことに変わりはない。

**デフォルトの名無しさん** · 2008/10/04(土) 19:46:33

>>430
まあ、便利だから？
実装としてはバローズのメインフレーム見たく演算とリターン
アドレス保存を一本のスタックでこなすものもあるよ。

**デフォルトの名無しさん** · 2008/10/04(土) 21:37:24

factorだともうひとつスタックあるよ

**デフォルトの名無しさん** · 2008/10/04(土) 23:25:44

データスタックとリターンスタックがないと
チューリングマシンと等価じゃないらしいぞ

**デフォルトの名無しさん** · 2008/10/05(日) 00:17:09

>>437
等価じゃないとはよく聞くけど、等価じゃないとする説明ってどっかにないですかね。
それで実用で困ることありますかね。

**デフォルトの名無しさん** · 2008/10/05(日) 01:12:05

今理解した。
リターンスタックってそのままBP相当じゃん。
ほんとはBPポインタ一個あれば十分だよね？
素直にBPを持たずにわざわざリターンスタックなんて用意してるのは、
スタックマシンと言えなくなるからかね。
なんだかなあ。

**デフォルトの名無しさん** · 2008/10/05(日) 03:10:12

BPあってもメモリがないとな

**デフォルトの名無しさん** · 2008/10/05(日) 03:49:49

今理解した。
BPってそのままリターンスタック相当じゃん。
ほんとはリターンスタックあれば十分だよね？
素直にリターンスタックを持たずに、わざわざBPなんて用意してるのは、
レジスタマシンと言えなくなるからかね。
なんだかなあ。

**デフォルトの名無しさん** · 2008/10/05(日) 07:20:41

>>437
メモリアクセスできない純粋なスタックマシンなら、スタックが二本ないと
チューリング等価ではないかも知れないが、FORTHはメモリアクセス @ ! が
あるから、たとえスタック一本であってもチューリング等価じゃね？
考えてみればわかるが、メモリアクセスがあるとスタックの本数を自由に増やせる。

FORTHとスタックマシンとConcatenative言語は、それぞれ別の概念で、
単純に等号で結べないから、何について話しているのか意識しないと混乱すると思われ。

**デフォルトの名無しさん** · 2008/10/05(日) 09:51:29

ForthのVMとしては、
論理的には最低限二つの区別されたスタックがある。
標準的な実装での利点（v.s.スタックフレーム方式）は、
サブルーチン間でのデータのコピーが減らせること。

スタックフレーム一本でやるのはCとかでも標準的な実装だけど、
VMという同じ抽象度で比べれば、Cにはスタックは無い。

VMが実装できれば機械自体の仕組みはどうでも良い。

**デフォルトの名無しさん** · 2008/10/05(日) 13:26:57

込み入った話は分からんけど、
とりあえずBF書けたらチューリング完全じゃなかったっけ？

**デフォルトの名無しさん** · 2008/10/05(日) 14:12:31

なんか話が噛み合ってない気がする。

**デフォルトの名無しさん** · 2008/10/05(日) 15:11:57

なんでそこまでチューリングマシンにこだわるのかわからん。
Forthがチューリングマシンであろうとなかろうと
Forthで実用的なプログラムは書ける。

あともう一人、やたらリターンスタックを排除したがる奴も
何をしたいのかさっぱりわからん。

**デフォルトの名無しさん** · 2008/10/05(日) 17:47:31

まず当たり前の大前提の確認からだけど、Forthはチューリング完全だから。
仮にForthの仕様からリターンスタックだけを排除したとしても（それはForthとは呼べないだろうが）
チューリング完全だ。理由は>>442

リターンスタックがBPで代用できるとか正直意味わからん。
スタック演算自体理解してない希ガス。

**デフォルトの名無しさん** · 2008/10/05(日) 18:27:08

リターンスタックという名前がいかんのだろ。

**デフォルトの名無しさん** · 2008/10/05(日) 18:35:04

>>437
スタックオートマトンとスタックマシンをごっちゃにしてる気がする。

**デフォルトの名無しさん** · 2008/10/05(日) 18:39:13

>>448
むしろリターンスタック以外の名前があるなら知りたいものだが。

**デフォルトの名無しさん** · 2008/10/05(日) 19:02:41

>442
大雑把にはこんな感じかね。
・データスタック：　引数＆戻り値
・リターンスタック：　実行する命令列（辞書で展開された単語含む）

リターンスタックというよりもオーダースタックといった方がちょうど良い気がするけどね

**デフォルトの名無しさん** · 2008/10/05(日) 19:25:44

リターンアドレスを積んでいるからリターンスタック
それでいいと思うが、難しく考えすぎじゃね？>>451

**デフォルトの名無しさん** · 2008/10/05(日) 19:28:44

Aスタック←→Bスタック
だったら勘違いが起きなかったと思う。

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

>>453
むしろ勘違いを引き起こしそうなんだが。
リターンスタックが難しいんじゃなくて、
リターンアドレスをスタックに積むという
当たり前の関数呼び出し規約を説明しなければ、
理解されない時代になったということか…

**デフォルトの名無しさん** · 2008/10/05(日) 21:59:43

なんでリターンスタックの名前で混乱とか勘違いがあるの？
ひょっとして、リターンと聞いて戻り値を連想しちゃう人がいる、とか？
だとしたらかなりキビシい状況だな。

**デフォルトの名無しさん** · 2008/10/06(月) 01:09:11

カールスタックの方が一般的じゃね？

**デフォルトの名無しさん** · 2008/10/06(月) 01:09:52

あ、カールじゃなくてコールスタック

**デフォルトの名無しさん** · 2008/10/06(月) 01:24:45

カールはスナックだな

**デフォルトの名無しさん** · 2008/10/06(月) 07:35:22

カールと言えば薄べったいのが出てることを最近知った。
従来品に比べて口の裏に張り付きにくいのはメリットだが、
少し物足りない気がした。