Grass言語

草を反芻するwWWWwwww

片桐　継（Tugu Katagiri） — Fri, 27 Feb 2009 21:18:00 GMT

少ない脳みそで、論理的にGrassを考えてみる。ラムダとかチャーチとか、まだ判んないorz
わかんないなりに、がんばってみたメモ

お題はこれ
wwWWwWWWwvWwwwWwwwwwWWWWw

まずは、vで分ける

(1)wwWWwWWWw
(2)WwwwWwwwwwWWWWw

(2)は[W]で始まるからメインルーチンなので後で

(1)から解析を開始

最初が ww だから

定義関数はFunc1(arg1,arg2)

開始時の初期スタックは
Arg1-Arg2-OUT-Succ-[w]-IN

１つ目のペアWWw

処理式は Arg2(Arg1)

スタックに積む

Arg2(Arg1)-Arg1-Arg2-OUT-Succ-[w]-IN

２つ目のペアWWWw
処理式は Arg2(Arg2(Arg1))

スタックは

Arg2(Arg2(Arg1))-Arg2(Arg1)-Arg1-Arg2-OUT-Succ-[w]-IN

関数定義ここまで。

よって、Func1(Arg1,Arg2) は Arg2(Arg2(Arg1)) という処理をする関数になる

メインプログラム解析開始

メインプログラムの前にはユーザー関数が一つ。よって開始時点でのメインプログラム用スタックは

Arg2(Arg2(Arg1))-OUT-Succ-[w]-IN

このときにメインプログラムは
WwwwWwwwwwWWWWw

１つ目のペアWwww
スタック１の処理式はユーザー関数 Arg2(Arg2(Arg1)) なのでアドレスに (Succ) をスタック

よって、メインプログラム用スタックは

Arg2(Arg2(Arg1))(Succ)-Arg2(Arg2(Arg1))-OUT-Succ-[w]-IN

２つ目のペアWwwwww
スタック１の処理式はユーザー関数 Arg2(Arg2(Arg1))(Succ) なのでのアドレスに ([w])をスタック

よって、メインプログラム用スタックは

Arg2(Arg2(Arg1))([w])(Succ)-Arg2(Arg2(Arg1))(Succ)-Arg2(Arg2(Arg1))-OUT-Succ-[w]-IN
↑ポイントは、スタック式なので、後から渡すほうがArg1になるってところ。

３つ目のペアWWWWw
スタック４の処理式はOUTだから、OUT(Arg2(Arg2(Arg1))([w])(Succ))

よって、メインプログラム用スタックは

OUT(Arg2(Arg2(Arg1))([w])(Succ))-Arg2(Arg2(Arg1))(Succ)([w])-Arg2(Arg2(Arg1))(Succ)-Arg2(Arg2(Arg1))-OUT-Succ-[w]-IN

解析はここまで。

で実行処理はスタックの一番上だから

OUT(Arg2(Arg2(Arg1))([w])(Succ))

OUT(Succ(Succ([w]))

→[w](Asciiコード119)の次の次の文字コードを出力→'y'

草食で食あたり

片桐　継（Tugu Katagiri） — Thu, 26 Feb 2009 22:37:00 GMT

もうちょっと頑張ってみたGRASS言語。
実はASCII文字出力プログラムだったんだね。計算するんだと思っていたからパニックだった。
何をどこにどの文字を出力するのかを制御する言語だとわかるとだいぶ楽になった。

ヒントは、GRASS on AWK
http://blog.livedoor.jp/naoya_t/archives/51026653.html

使い慣れていたAWKスクリプトで解析したら、すこし判ってきたｗ
といっても、まだ、GRASSソース書けといわれても困るけどｗ

結局、判り辛かったのは数学をやっていなくて、論理しか理解できない超文系人間なので
用語がさっぱりワケがわかんなかったのよねｗ

で、ちょっとおさらい＆用語理解を頑張ってみた

ラムダ式
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97

ようするに、なんか引数一個で計算してその答えが必ず一個になる式、ってことらしいｗ
１に２たして７だして４ひいて９たす、みたいなのを羅列すると、((((1+2)+7)-4)+9)*2) として計算するってことだよねぇ、きっと。
GRASSはこのラムダ式が基本みたいで、ある計算をする→その答えを引数にしてまた計算する→その答えを引数にしてまた計算する、を繰り返すらしいｗｗ
この計算、という表現がクセモノで、実はGRASSの場合にはこれが文字コードだったってことだけどorz

プリミティブ

これも用語も意味も用法も判らなかった。
色々とあさった結果、行末もしくはｖでまずは切り、その単語の中の草の数と並びで、「何をどうするか」が決まり、その規則をあらわしているらしいっぽい。
一番判らなかったのは、そこが前提条件って部分

悩みつつも、そこはここを読んで少し理解したｗ
http://www.ueda.info.waseda.ac.jp/~ohtani/wiki/index.php?Grass

で、やってみようかな。少しずつ。

まずはこのソース。

wWWwwww

とすると、これをまずは分解。

w
WW
wwww

最初は引数をあらわすので、１個から「引数は１個」だから、プリミティブにあてはめて、

引数-Output標準出力-次の文字コード-「w」-InputArg

になって、２番目が２個だから「Output標準出力」、３番目が４個だからスタックの４番目、となる

命令は、（（スタック４番目）Output標準出力）

だから、標準出力に「ｗ」が表示されるってわけだ。

んじゃもう一個。

wWWWwwwwWWWw

とすると、分解

w
WWW
wwww
WWW
w

引数-Output標準出力-次の文字コード-「w」-InputArg

でもって、２番目が３個だから「次の文字コード」、３番目が４個だからスタックの４番目「ｗ」、４番目が３個だから「次の文字コード」、５番目が１個だから「引数」

命令文は

（（次の文字コード）スタック４番目）　の結果を　（（次の文字コード）引数）　の引数として実行する

つまり、

スタック４番目の「ｗ」の次の文字コードを次の文字コードにスタックする

なので、「ｘ」が取り出せるっと。

さて、ここまでたどり着いて、大事なのは、ASCIIコード表だと気づく。これがなくちゃGRASSは始まらないですね

http://e-words.jp/p/r-ascii.html

というわけで、今度はなんとなく流れが見えたので、次はHello､Worldを読んでみるｗｗｗｗｗ

最終目標、自在に文字を出してみたい、うん、そこにたどり着いてみたいなぁｗ

問題は、算数が苦手ってことかｗｗｗ

草食言語ｗｗ

片桐　継（Tugu Katagiri） — Wed, 25 Feb 2009 21:23:00 GMT

というわけで、２月東京の勉強会で話題をさらったGrass言語、好奇心いっぱいにいじってみようかな、とｗ

Grassはくわしくはこちら

Grass the grass-planting programming language

いろいろとコンパイラとかあるんだけれど、手軽に行こうかなとおもってｗ　Rubyインタプリタｗｗｗｗで行くことにしてみたのねｗｗうまくいくかなぁｗｗｗｗ

まずはRubyをインストール。いろいろとあるけど、手軽にRuby Install Guide::mswin32 (バイナリ)でｗｗｗｗ。

つぎに、Rubyインタプリタ用ｗのRubyプログラムInterpreter written in Rubyをダウンロードｗｗｗｗｗ

でもって、プログラムソースはこちらｗｗ

wwvwwwWWWwwWwwWWWWwvwWWwwwWwwvwWwwwWwwvwWWwWWWWWwvwWWWwwwwWWWWwWWWWwWW
WWWWwWWWWWWWwWWWWWWWwWWWWWWWWwWwwwwwwwwvwWWWwwwwwWWWWWwWWWWWwWWWWWWWwW
WWWWWWWwWWWWWWWWWwWwwwwwwwvwWWWWwwwwwwWWWWWWwWWWWWWwWWWWWWWwWWWWWWWWWw
WWWWWWWWWwWwwwwwwwvwWWWWWwwwwwwwWWWWWWWwWWWWWWWWwWWWWWWWWwWWWWWWWWWWwW
WWWWWWWWWwWwwwwwwwvwWWWWWWWwwwwwwwwWWWWWWWWwWWWWWWWWWwWWWWWWWWWwWWWWWW
WWWWWwWwwwwwwvwWWWWWWWWwwwwwwwwwWWWWWWWWwWWWWWWWWWwWWWWWWWWWWWwWWWWWWW
WWWWwWWWWWWWWWWWWWwWwwwwwwwvwWWWWWWWWwwwwwwwwwwWWWWWWWWWwWWWWWWWWWWwWW
WWWWWWWWWwWWWWWWWWWWWWWwWwwwwwwvwWWWWWWWWWWwwwwwwwwwwwWWWWWWWWWWwWWWWW
WWWWWWwWWWWWWWWWWWWWwWwwwwwvwWWWWWWWWWWwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWW
WWWWWWWwWWWWWWWWWWWWWWwWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWwWwwwwwwwvwWWWWW
WWWWWwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwWWWwwwwwwwwwwwwwwwwwwwWwwWWW
WWWWWWWWWWWWWWWWWwvwWWwwwwWWWwwwwwwwwwwWWWWwwwwwwwwwwWWWWWwwwwwwwwwwww
wWWWWWWwwwwwwwWWWWWWWwwwwwwwwwwwWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwvwWWWWWW
WWWWWWWWWWwwwwwwwWwwvwWWWWwwwwwwwWWWWWwwwWWWWWWwwwwwwwWWWWWWWwwwwwwwwW
WWWWWWWwwwwwwwwwwwwwwWWWWWWWWWwwwwwwwwwwwwwwvwWWwWWWWWw

で、これをインタプリタしてみた

うはｗｗｗでｗｗたｗｗｗｗｗｗｗｗ、Hello,World！！

すごいなー。これで何でHelloWorldになるんだろう？

というわけで、これがどうしてそうなるのかは、がんばって読み解いてみたい……と思うｗ