S.F.@SFPGMR
春季県大会、専松ー習志野は１－８で習志野がコールド勝ちか。。銚子商が勝ち上がればベスト８で対決となるのか。。
ベスト８は
習志野
木総
中央学院
東京学館
市立船橋
まで確定で、
・銚子商ー暁星国際は延長
そして、
・拓大紅陵ー市立柏は雨天順延
・西武台千葉ー東海大浦安は雨天順延
なんで明日以降確定になるんですな・・
やはり秋・春の大会は番狂わせが起こるな。夏の予選はあまりそういうことはないが・・ああ、八千代東があったなあ・・あれはすごかったな。
S.F.@SFPGMR
やはり式は式として書けるようにしないとこれではちょっとやっとれん！ってやっぱりなったんだよな。
普通にwasmのインストラクションが書けて、式も織り交ぜるようにできればそれで十分なんだよなあ・・。って前思ってちょっとそういうの作ろうとしたんだよな。確か。
そういうわけで過去にパーサ作りまでで放り出した言語の、binaryenに橋渡しする部分のコードを書き始めている。とりあえず文法を思い出すところから始めてる。実はbinaryenの助けを借りれば、wasmのコード生成や最適化はbinaryenに任せることができるので割と簡単に書けたりする。 https://t.co/ZgdEmO77Bq
パーサもpeg.jsというのを使って書いてるから、ここも文法さえきちんと決めることができればそんなに大変でもないんだよね。しかしこの文法を決めるのが私にとってはすごく大変なことで、まあ悩みに悩むところではある。自由度が高すぎて決めきれない感じなんだよな。
wasmのmemoryに対するロード・ストア・演算をC言語風の式で書けるようにすればいいんじゃないかなあ？って思ったのはつい先日だけど、2-3年前もそう思ってたみたいでそういうwasmのインストラクションを生成する薄いラッパみたいな言語を作ろうとしてたようだ。
でそのコードを見てこれでええやん！ってなってまた続きを作り始めた次第である😭
今作ろうとしているゲームシステムは、昔のHWの構成を部分的に真似たものになってるんですな。メモリ・マップド・Ｉ／Ｏのエミュレーションみたいな感じですな。言い換えると、共有メモリを使ってWebGL2・WebAudio・JS・WASM間で情報の受け渡しを行うって感じですわ。
VRAMやスプライトバッファみたいなものをTypedArrayで作って、そこにJSやWASMから書き込むと、GPUシェーダがそれを読んで画面に書くんですな。なのでゲーム中の処理はメモリから読んで演算してメモリに書くっていう感じのものが多くなる。こういうのってJSではちょっと書きにくいんですわ。
書けないことはないけど、ちょっと面倒くさい。wasmだとメモリの読み書きは自在にできるけど、オフセットが数値のみの指定でこれまたつらい。これを定数変数で指定できるようにしたのがmwasmなのだが、しかしwasmのテキストモードで書くのはちとつらい。
かといってrustやAssemblyScriptでwasm部分を書くと、wasmのメモリマネジメントの部分が若干抽象的になってしまうんですわ。言語にいろいろ任せられる一方、メモリの内容がどうなってるのかわかりにくくなるってことなんですわな。
私が作ろうとしてるゲームのようなものは、ある程度自分でメモリマネジメントができるんで、ヒープとかガベージ・コレクタはいらなかったりするんですわ。あらかじめメモリをどう利用するかとか利用する容量とか決められるんでね。その枠内で処理を進められるからね。
メモリはあらかじめ最初に10MBとか決めておいて確保して、そのなかのオフセット0～65535まではVRAMレミュレートに使って、65536～128Kまではスプライトメモリ、そのあとはオーディオ用としてＸＸＫ確保とかそういう感じで決めれるということなんですわな。
wasmのメモリはスタックやローカル変数用のメモリとは切り離されてるから、そういうのに汚染されることもないんだよね。確保した分は全部自分用に使うことができるんだよね。
で今考えて実装している言語というのは
・変数の値＝メモリオフセット
・変数の参照＝変数の値の位置にあるメモリの値
・変数への代入＝変数の値の位置にあるメモリに値を書き込む
とまあこういう感じになってるのですわ。
wasmのメモリ定義って領域確保しかできないんだけど、今作ってる言語はそれに加え、変数定義できるようになってるんですな。で変数の型に従って自動的に変数に格納するオフセットが計算されると。この言語では変数はこの中でしか定義できないようになっている。 https://t.co/jlSmqOAlAD
もちろんwasmでいうところのグローバル変数やローカル変数も定義できる。が、メモリに対する演算をするっていうのを志向するんで通常の変数はこういう仕様にしている。この言語には変数スコープすらない。
メモリ定義の例（実際まだ動いてないのになんだが😅）
こんな感じで変数を事前定義して、これを関数内で使ってごにょごにょやるわけですな。このへんかなりCOBOLのWORKING-STORAGE SECTIONみたいな感じもするな😅 https://t.co/gJcVX8TFdO
関数とかはこんな感じですわな。構造体ももちろん定義できる。配列なんかももちろん使えますわ。しかし配列は可変長ではなく固定長のみである。ローカル変数や引数はwasmと同様$が先頭に付く。構文見てもらうとわかると思うけど、式以外はほぼwasmをなぞっている。for/whileなんかももちろんないよ😅 https://t.co/8lNyElTHrk
これを前に作ったmwasmで書くとこうなるんですわな。これは純然たるwatではないので注意だけど、結構長くなるんだよね。 https://t.co/0AVScLhzPz
load とstoreが頻発するんで書いてるとめんどくさくなってくるんだよね。
定数（定数ラベル）もまあこんな感じで定義できるようになってるというわけですな。 https://t.co/mC4ZjXufRF
C風に式やステートメントが書けるwasmテキストフォーマットって感じのものを志向してるのですわ。
ほったらかしにしてるうちに、wasmでmulti-valueも使えるようになってる。これは関数の戻り値としてtupleを使えるようにすのが主目的だとなんだと思う。これつまるところ、スタック操作の拡張なんだなとProposalを読んで思った。pickとかね。
multi-value/Overview.md at master · WebAssembly/multi-value · GitHub
Proposal to add multi-values to WebAssembly. Contribute to WebAssembly/multi-value development by creating an account on GitHub.
このProposalがどこまで取り込まれたのかよくわからんけど、キャリー付きの演算命令とか、マクロ、そしてさっき言及したpickなどのスタックから値を取り出す拡張命令なんかも入ってるんだよね。単に複数の値を返すだけの提案ではないんだよな。
1.1のドラフトを読む限り、pickやマクロは取り込まれてはいない。Result Typeがvec(valtype)になってるので、やはりMulti ValueのProposalはすべてが取り込まれたのではないんだな。どっかでこの議論を読んだきがするんだがなあ・・
binaryen.jsのMulti Value Operationを見るとなんとpush/popが疑似命令で実装されていた。そしてtuple.make/extractなんていう疑似命令も。
GitHub - AssemblyScript/binaryen.js: A buildbot for browser & Node.js builds of Binaryen, a compiler infrastructure and toolchain library for WebAssembly.
A buildbot for browser & Node.js builds of Binaryen, a compiler infrastructure and toolchain library for WebAssembly. - GitHub - AssemblyScript/binaryen.js: A buildbot for browser & Node.js...
v8ブログに載ってたwabtに入ってるwasm-decompileを使って作成中のモジュールをdecompileしてみた。抽象的な言語コードにデコンパイルされるのだが、確かに読みやすくてデバッグに有効かも。左がデコンパイルしたやつで、右がwat版の同じ関数。
#webassembly
v8.dev/blog/wasm-deco… https://t.co/UtDo6kMRBx
自分スレッドをまた追っかけると。しかしこれはまた長いスレッドですわ😭
がしかしこのMultivalueってどこまで規格に取り込まれるのだろうか。finishedになってるから全部なのかなあ。。
github.com/WebAssembly/mu…
まあMulti ValueのProposalで一番気になったコードがこれなんですわな。pick使ってスタックだけで階乗関数を実装しているやつ。 https://t.co/hoavPpCTuE
ただここの部分
(pick 1) (pick 1) (i64.mul)
は
(pick 0) (pick 1) (i64.mul)
じゃないかと思うんだけどなあ・・
このサンプルにあるphisっていうのはΦ関数のことっぽいが定かではない😅
このΦ関数はSSAにおいて挿入されるΦ関数のことであると思われるがこれもまた定かではない😰
ーー
An iterative factorial function whose loop doesn't use locals, but uses arguments like phis.
自作ゲーム用のコンパイラ（というよりはwasmテキストモードもしくはbinaryen用のトランスパイラ的なものだが）を作っててこのMultiValueあたりを調べてるうちに「コンパイラ知識のなさ」というのを痛感し、ちょっと凹んだのを思い出したな・・
peg.jsはpeggyjsに引き継がれたのか・・。
GitHub - peggyjs/peggy: Peggy: Parser generator for JavaScript
Peggy: Parser generator for JavaScript. Contribute to peggyjs/peggy development by creating an account on GitHub.
peggy(peg.js)のドキュメントを見直すに、パーサーの処理結果をASTでなくbinaryen.jsのModule（Module Treeとでも言うべきか）を生成することができそうな気もしてきたな・・。
しかしこのpeggyもまた停滞が始まっている模様・・
peggyとbinaryen、そして自分でかいた（はずの）パーサーコードを睨んで、どうやれば一番すっきりというか、無駄のないコードになるのかをここ2日ほど延々と考えてるところ。今のところこれだ！っていう状態には至っていない。どころか自分の書いたパーサのコードでさえ「はて？」ってなってる😭
しかしまあこれで唸ってるだけで1日の余暇の時間が過ぎるのが早いこと早いこと・・
寝てる、もしくは気を失っているのはないかと思うほど時間が経つのが早いのだ😥
まあしかし今日は昨日の地震でちょっと眠りが浅くなってしまって1日眠かったんでもう寝ることにしよう・・
やっぱりあれですな。
１．プリプロセス
２．自前AST生成
３．ASTからbinaryen irに変換
４．binaryen.emitBinary()でバイナリ生成
っていう順番で行くのが無難ですわな。
binaryenのIR=wasmではないんだよな。かなり前に、途中で「あ、これwasmまんまじゃないんだ。中間表現なんだ。」って気づいたんだよね。なのでfuncでもifでもブロックを挟まないといけないとか、微妙な違いがbinaryen IRとwasmではあるんだよな。
しかしその違いの細かいところはすっかり忘れてるので、またこのドキュメントを読み返す必要があるのだった😭
パーサのテストコード書いてバグ出し→修正のプロセスをここ数日繰り返している。この作業が私にとってかなり苦痛である。が、あきらめずぼちぼち進めようと思う。「いずれ終わる」という楽観的思考で進めますわ。
binaryen.jsでdataセクション（セグメント）を設定するのはどうするんだ？ってなった。
setMemoryのsegmentsで指定するんだな・・。 https://t.co/2IACus3bpN
ひたすらパーサのテストコードを書き、テストし、パーサのソースを修正するということを繰り返してる。ちょっと中だるみですな・・。なかなかコードジェネレートのところに進むことができんですわ・・。
過去に作ったパーサなんでなんか特殊な仕様を付けようとしてた部分もあり、そこが今に至りトラップとなっているという😭これ何のために？？っていうのを思い出すが大変なのよね・・😥
例えばこの「エレメント識別子」やらも、ナニコレ？？ってなっている。自分で考えて書いたはずなのだが😥 https://t.co/iKPsG1hFqU
多分table関係なのかなと思うけどね。
peg.js -> peggy.jsになって、エラーメッセージがこんな感じで出せるようになったみたい。 https://t.co/ry8t0wGhUU
おお、確かに。。 https://t.co/G8ylSqgr4R
エラーがわかりやすくなったな。シフト＆ローテートオペレータの代入式がおかしいですな・・。評価の順序に問題があるんだろうなあ・・ https://t.co/zaFLSa1V2z
ん？ローテート・シフトに代入演算子っているのかな🤔
今書いたテストは全部通るようになった。網羅できてるかというと🤔 https://t.co/g7s4sQE3is
ASTをbinaryenに引き渡す部分のコードを書き始めますか・・まだまだ道のりは長い・・
コンパイルできるようになったらプリプロセスの部分を書こうかなと思ってるんだよね。。プリプロセスの部分は以前書いたmwasmのやつを改造して使おうかなと思ってるんだけどね。つまりメタ・プログラミングはJSを使ってできるようにしようかなと。
mwasmってコードジェネレートする部分書いた感ないなあ・・って思ってたら実際書いてなかった😥
watのプリプロセッサだもんね。当り前ですわ。生成したwatはwabtに渡してwasmバイナリにしてたんですな。
いやでもコードをbinaryenに引き渡すやつ書いたよなあ・・って思ってたらこれだった。
この言語よりもさらにwasmに寄せようとしてるのが今の言語なんですな・・。まあこのsgl2っていうのもできてないんだけど😅
ベクトルの式をwebglみたいに簡単に書きたいって思ってたんだよな。あと行列もか。
コードジェネレート部分を考えつつ家の掃除、車洗車、用事で出かけたりしてたらもう夜ですな・・休日もあっという間に過ぎますな😅
このコードジェネレート部分も悩ましいところであることは間違いない。なにせまともに実装したことない領域だもんでね。binaryenに助けてもらうにしてもね。
昔コードジェネレート部分書いてる途中でほったらかしにしてる言語のコードジェネレート部分を見直していろいろ思い出そうとしてるんですが、もうすでに眠くなってるんで、本格的には明日からになりますなあ・・。
sgl2/generateCode.mjs at master · sfpgmr/sgl2 · GitHub
TDOPパーサをベースとした言語を作っていく. Contribute to sfpgmr/sgl2 development by creating an account on GitHub.
このsgl2という言語はTDOPパーサ使ってパーサ部分は書いたんですな。まあこのTDOPっていうパーサアルゴリズムはすごくわかりやすいんですわ。
悩ましいのはやはりデバッグがまともにできるように、ソースマップをきちんと出さんといかんところが一つのハードルとなってるんですわ。あ、その前にちゃんと意味のわかるエラー表示もしないといかんのだった😰
今のパーサが出すエラーはちょっと意味不明なんでね。
意味不明というか、もともとの原因ではなく、間接的な要因でエラーが出力される部分が多いんで、何でこのエラーが出るのか？をパーサの動きを想像したり、構文を見たり、はたまたトレースログ見たりしないといけなかったりするところが多いんですわ。エラー表示に工夫が必要ってことなんですが。
ちょっとこの辺も、使ってるpeggy.jsやらbinaryen.jsの理解が浅くて本来こうすればいいものを・・っていう部分も多分にあると思うので、もっと調べないといかんなあと。そこに多大な時間がかかるんですな。
AssemblyScriptのコードを読むのもいいかもしれんのですが、これも結構巨大なコードなんで読むのに骨が折れるんですわ。でもお手本になるのは間違いないんだよね。私のコード読解力の問題ですわな。
コードジェネレートの部分はbinaryen様のお力を借りたとしても、面倒くさいことこの上ないですな・・。それだけ私がヘタレだということなのだが。できる限り手をかけないでこの局面を乗り切りたいが、ヘタレなので手をかけないで済ますテクがないから手をかけないといけないのだ。なんだこりゃ😥
なぜこれを放置したのか今になって理解したな😢
しかし今回は、牛の歩みだろうが亀の歩みであろうが、遅くても一歩ずつ進めるんだという気持ちも強いのであった。ほんまか😅
再帰というテクニックにより、思いのほか書くコードの量は少ないということもまた事実なのだが。この再帰というものを考え始めるとなぜか頭がこんがらがってしまうんだな、これが😭
うんうん頭が無駄な唸りをあげ、疲れて惰眠を貪ってしまう感じである・・
無駄なループとでもいおうか・・
うーむ。改めてこれをを読もうとしたり・・
ソース・インクルードことをずーっと考えてるんだよね。peggy.jsを使う場合、ソース・インクルードをどう扱えばいいのかなあって思ってね。それでヒントにならないかな？って思ってC言語の分割コンパイルの単元を読んでたわけ。
C言語の場合、ヘッダファイルでコンパイルに必要な情報を提供して、.Cファイルごとにコンパイルしてオブジェクトにして、後でリンカでオブジェクトをまとめて１つの実行ファイルにするって感じですわな。
今作ってる言語の場合は
１．コードジェネレート前にすべてのソースファイルを取り込み、1つの巨大なソースファイルにする。
２．そのソースコードをpeggyで作ったパーサでASTにする
３．ASTをbinaryen.js IRツリーに変換してバイナリ出力する
こんな感じで考えてるんですわな。
それで３．のbinaryen.jsのIRに変換するときに、ソースマップの情報を与えることができるんだよね。これ入れるとソースマップが作られて、オリジナルの言語だけどブラウザのデバッガでステップ実行とかできるようになるはずなんだな。知らんけど😅
最初にソースインクルードしてまとめるときに、どこからどこまでがもともとのファイルなのかと、行情報を持っておかないといかんのですわ。これをなんとかしてbinaryenにソースマップ情報として渡さんといかんのですよ。これがちと面倒くさいなあと。
だがしかしその間にパーサによるパースっていうフェーズがある。peggy.jsで作ったパーサはその情報を受け取ってASTにうまいことくっつけることなんていうことはできんので、そこを自分で書かないといけないんですわ。しかしこのツィート書いてるうちに頭の中が整理できてきたな😄
さらにマクロ使えるようにするってなると、デバッグ情報を引き渡すのにまた工夫が必要になってくるんですな。マクロは今回の言語では不要にしよう。やるならインライン展開かなあって思う。しかしデバッグビルドでできるようにするにはとても面倒だと思うので、デバッグビルド時は無効にするのかなと。
なんてこと考えてたら、ああ、コンパイラにデバッグ・リリースビルドってあるけど、なるほどそういうわけかあ・・って妙に納得したりとかしてね
プリプロセスもある程度固めとかないと、後で手戻りが発生しそうだなあってちょっと思ってる。
手戻りや再考の時点で放置リスクが最大になるんでね🤔
やはりちょっとAssemblyScriptのソースコードまた読もうかな。過去なんどもチラ見してるけど、やっぱりあれくらい本格的になるとコード追うの大変なんだよね・・
contributeできるぐらいに精通してないと大まかに理解できないっていうなんか矛盾めいた感じが。
cプリプロセッサのアルゴリズム解説。。おおお。
github.com/rui314/8cc/wik…
ちゅうわけでAssemblyScriptのソースコードを読み始めた。。
まずはトークン分割から。。やはりトークン分割してパーサに渡す流れですわな。私は今PEGパーサジェネレータ使ってるんで、トークン分割とパーシングを同時にやってる感じになるんだよね。
assemblyscript/tokenizer.ts at main · AssemblyScript/assemblyscript · GitHub
A TypeScript-like language for WebAssembly. Contribute to AssemblyScript/assemblyscript development by creating an account on GitHub.
トークナイザはソースコードから文字を1文字ずつ読んで、識別子単位で分割するって感じですわな。その時にRangeというオブジェクトでソースコード中の識別子の位置を記録して持っておくというわけですな。AssemblyScriptではね。
私が欲してるのは自分の趣味嗜好を反映したものすごく汎用性の低いものなんだよね。そうじゃない場合はrustやAsemblyScriptで十分ですからな。そこを自分自身わきまえとかんとまた夢仕様を考え始めてそんなの無理って放置してしまうんで気を引き締めないとな・・
まあ、トークナイザはまあまあこういうもんですわな。。これはこれくらいの理解でいいな・・。続いてパーサを読んでこうか・・ってやっぱり前読んだことあるなこれ。すっかりわすれてたが😅
パーサーで気になるのはやはりimportの処理だわな・・これはもうAssembly Scriptのコードで真似できるならそれでいいな。それよりまず理解しないとな。
parseImport()を読んだ。単にこれはimportのノードを作っただけのように見えるな。この段階ではまだpathからソースを読んでASTにくっつけるみたいことはしないのかなあ・・とするとどのフェーズでimportのソースを読むんだろうな・・
最終的にはimportしたモジュールも展開したASTができるんだろうけけどね。それをいつ・どこでやってるかですな・・
今はcliのソースコードを読んでいる。
そもそも全体の流れを把握せず読んでたし・・まずこれを読むべきだった・・😭
おお、ここだ😊
なるほどお・・
再帰的に呼び出してるって推測してたんだけど、まあ見た目再帰呼び出しでない感じなんで見過ごしてたわ・・
なるほどなあ・・
https://t.co/gDWSYU5g1X
ものすごく簡略化していうと
１．パースしてimportファイルをキューにプッシュ
２．キューに溜まったimportファイルをパース
３．キューが空でない→２．に戻る
４．終了
な感じ。
２．でさらにimportがあればキューに溜まり、空になるまでパースすれば展開完了になるんだな・・
重複したimportファイルの取り扱いもここで調整するんだなあ・・頭いいなあ・・
やっぱりコンパイラを完成させられる人たちってすごいや・・😊
そりゃparser.tsやcompiler.tsだけ読んでもわからんはずだわ。そこに書いてないんだもの・・でもまあよかった。大まかには理解できたな・・😄
import した時の参照名と実際定義されている関数の名前と一致してるかとかのチェックはやはりパースが完了した後にやるんだろうな。それもソースコードを読み進めて確かめるか・・
あ、そうだ。ついでに64ビット整数をどう扱ってるのかも勉強させてもらおう。なんか昔このドキュメントを読んでJSのBIGINTとWASMの64ビット整数の受け渡しできるやらできないやらを理解したつもりが、すっかり忘れちゃってるんでね・・
V8の深堀なんかもすごく面白そうなんだけど、まあそれはおいとこう・・
結局あれだな。文法に適合してるかどうかのチェックをしたらもうどんどんASTにしてしまって、あとからセマンティクスのチェックをかけるってほうが効率的だわな。実際。そしてAssemblyScriptのインポートのアルゴリズムでいけば、循環参照で無限ループになることもなさそうな気もするんだな。
importはとにかく単純にまずソースインクルードでいいな。そしてAssemblyScriptのインポートアルゴリズムに倣って全部取り込んでAST化すると。そのあとセマンティクスのチェックをする流れですなあ・・。いやしかし、シンタックスとセマンティクスをごっちゃにしがちなんだよな。。
パーサで行うこと→文法チェック
ですわな。peggyだといろいろなアクションできるんで、セマンティクスなチェックを入れてしまったりしてややこしくしてしまいがちだが、シンプルに考えんといかんな。。
シンプル・イズ・ベストですよ。
まあそういいながら、コードを2行くらい書いただけで他の雑用でこの土日は過ぎ去ってしまったな・・
しかしpeggyのエラー周りの処理の中身とか少しチェックして理解できたんでよしとしよう・・
まあ朝は朝で、svelteカスタムビルドしてるんでいつもの元レポジトリを取り込んでマージしたら大量にビルドエラーが出てそれなおすのに四苦八苦してたのもあるんですが😭
結構破壊的変化はある。私にとってはだけど。
そしてまあ午後は佐々木くんの試合。いやあやはりすごい。本人も言ってたけど、今日は球数が多くて、6-7回あたりは少し疲れた感じだったもんな。試合はロッテの負けか。しかし日本ハムのピッチャーもこのシチュエーションであのピッチングはすごかったな。プロ野球選手ってやっぱりすごいわ。
言語つくりはゆっくり進めよう。焦ってはいかん。。ロッテが佐々木君にしたように、じっくり大切に育てるようにしよう。
ASTからbinaryenに引き渡すコードを書き始めてるが、いろいろ考慮漏れがあって手が止まるというか、考えてる時間が非常に長い。例えば変数のスコープとかね。
WASMだと変数のスコープって
１．グローバルスコープ（グローバル変数）
２．ローカルスコープ（ローカル変数と関数引数）
この２つだと思ってるんだけど、１．、２．の変数が関数本体に現れた場合、仮に同じ名前だとするとどちらを参照してよいのかコンパイラに情報を与えないといけないんだな。
実際ローカル変数へのアクセスは最終的には
local.get/local.set
だしグローバル変数だと
global.get/global.set
というインストラクションにしないといけないんでね。
もっというと今作っている言語の変数は名前でアクセスできるようにしているけども、最終的にはインデックス値に変換する必要もあるからね。
でグローバルとローカルが同じ変数名であった場合に
・既定はローカル変数であるとみなす
っていう考えでいた。しかしこれだとグローバル変数にアクセスできなくなってしまうんで、「この変数はグローバルですよ」ってコンパイラに教える構文が必要なのだな。そういうの忘れてたりとかね😅
あと私の言語上ではメモリ変数という変数もあるんで、それも1つのスコープ。その中では名前の重複は許されないけど、ローカル変数スコープとグローバル変数スコープとの名前は重複しててもよいとすると、それを識別するための構文が必要ですわな。
メモリ変数っていうのはWASMの線形メモリ上にラベルと型、大きさを事前定義してラベルを変数みたく使うっていうものですわ。これまあ私の言語上の話ですけどね。変数で線形メモリのデータを出し入れ（load/store）できるようにするってことなんですが。 https://t.co/jjX5OrVzqu
アセンブラなんかにある機能を参考にしてるというかほぼまんまですが😅
関数のステートメント上では普通に変数みたくアクセスできるんですが、WASMレベルではオフセット計算してload/storeするインストラクションに変換されるわけですわな。変数は定義順にメモリにアサインされる。
もちろんオフセットの先頭アドレスを明示的に指定できたりとかいう仕様も入れてるんですわ。スタックメモリはWASMでは線形メモリとは別の領域にあるんでそれは気にしなくていいんだよね。
動的に確保するメモリとかってどうするんだ？っていうことなんだけども、いわゆるヒープっていうのは言語仕様としては存在しない。
必要であればライブラリで線形メモリ上に作るって感じですな。
もし動的管理が必要な部分があればそこはJSに逃がすってこともできるしね。つまりはメモリは必要な分をあらかじめ静的に確保しておいて、その中でチマチマやるってことを想定してる。私が作りたいゲームはまさにそういう感じの言語仕様が望ましい。
まだ迷ってるところとしては式あたりのところなんだよね。WASMはスタックマシンなんで、演算結果はスタックに置かれるんですわ。これをうまいこと使って冗長な操作を端折れんかな？っていうことも考えとるんですわ。
例えばテンポラリな値の入れ物をわざわざローカル変数で用意せずとも、スタックで代用できないかなあとかね。
func hoge(a:i32,b:i32,c:i32):(i32){
stack = a+b;//a+bの値をスタックに
stack += c;//スタックの値とCを足してスタックに
//スタックの値をそのまま戻り値とする
return stack;
}
このスタックを使った演算をもうちょっとわかりやすく書けんやろか・・って思っててね。
= a+b;
+= c;
ってだけ書けばよいってのはどうかなあとかいろいろ考えてるところですわ。
スタックなんで
= a;
= b+c;
+=;
って書けるなあとか、これはかえってわかりにくいなあとかね。
=もなくして書けるのもいいのかもなあ？ってとかね。pegによる構文をかなり直す必要があると思うけど。
a+b;
+c;
しかしこれだと+cの+が符号を表すのか加算を表すのかわからんようになってしまうなあとかね・・。
まあこういうことを考えてるのは例えばローカル変数を一時変数として使用してしまうと、
d = a+b;
d += c;
return d;
ってやるとWASMにコンパイルすると
local.get b
local.get a
i32.add
local.set d
local.get d
local.get c
i32.add
local.set d
local.get d
return;
こうなってしまうんだよね。
まああの、binaryenに渡すんで最適化されるかもだけどね。これがスタックを一時変数として使えるとするとコンパイルしたときに
local.get b
local.get a
i32.add
local.get c
i32.add
return
こうなるわけですな。ローカル変数は疑似的なものですわな。最終的には整数インデックスになるけども。
言語ソースからコンパイル結果がある程度イメージできるというか、１：１っぽくなるようにしたいっていうかね・・。せっかくWASMが式指向なんで、rustっぽくしたいなあっていうのはあるね・・
スタックを言語上で意識して使えるようになると、関数呼び出しも引数あたりの処理で最適化できそうな気もするんだよなあ。
ってなことを考えてたりすると時間はあっというまに過ぎるな😰
webassembly 2.0のWorking Draftか。。
それよりまずこれもう一度読み返そう。2年前と比べると仕様追加部分が加筆されとるんだよね。このドキュメントはとてもわかりやすいと私は思う。
WebAssembly テキスト形式の理解 - WebAssembly | MDN
WebAssembly を人間が読んだり編集したりできるようにするため、 wasm バイナリー形式にはテキスト表現が存在します。これはテキストエディター、ブラウザーの開発者ツールなどで見せるために設計された中間表現です。この記事では、テキスト形式のしくみ、生の構文、および元のバイトコードの表現との関係 (と JavaScript で wasm を表現したラッパーオブジェクト) について説明します。
blockも考えたら引数持てるから、ブロック単位のスコープってのもできるんじゃないかな？とか思ったり。スコープとか別にコンパイラ側でなんとかすりゃいい話だけど、コンパイラが余分なランタイムインストラクションを吐かんようにしたいってのもあってね。WASMに寄り添う言語でありたいので。。
blockの仕様を読んでるけど、やっぱりこの抽象構文ってえげつなく読みにくいなあ・・。
数学記号の意味が頭に入ってないせいかと思うんだけどね。
「⇒」は「ならば」の意だとかね。
もうこのblocktypeの定義だけで「はあ？」ってなってる😭 https://t.co/MB1OSaKHIC
なんとなく
tがresultならばtですよと。しかしかっこがついてる。かっこがついてるということは複数あるってことを表すらしい。「？」記号はoptionalってことなので、0以上のtのリストってことになるのかなあ？ってなぼんやりした理解でいいのか🤔 https://t.co/ndDqo1IJOl
resultはさすがにわかりますわ。
(result i32)
みたいなのですわな。 https://t.co/jfpfrPRUtH
ああ、「?」は「optional occurrence 」なんでそれ自体複数の可能性あるのか。 https://t.co/sZWvKgUpKT
このtypeuseのお尻の下付きイタリックの「I」はなんやねん？とかなっている。 https://t.co/U0mYpxgkBh
「x,I':typeuse」っていう部分は、「xがtypeuseだった場合」ってことかな。
そしてtypeuseってなんやねん？っていうのもちゃんと定義はある。
そしてこの「'」だよな。これはなんとなくインスタンス化した実体（コピー）みたいなものを表すって気もするな。数学的には「プライム」って読むらしいな・・まあこの抽象記法が数学的な記法に沿ってるかどうかもわからんですが。「'」記号は文脈によって取る意味は違ってくるようだけどね。
厳密に定義するとめちゃくちゃ長くなって書くのが大変だから、記号に意味を持たせて抽象化する（省略する）んですわな。
まあこの仕様を読みこなすにはそれなりの知識が必要だってことですわな。
とは言いながら、binaryen.js上のblockでは引数付きのblockサポートしとらんようですがね・・ https://t.co/hd9nAGDMGe
まあおおもとのbinaryenのソース見てもやはりBlockは引数サポートしとらんね。ここはいったんスルーしよう。 https://t.co/CmVvLQVKwz
昨日からじわじわと、コードジェネレート部分を実装している。なんと1日10数行レベル！
もうその行間に沸く疑問や謎が半端ないのだ。いかに自分の知識が薄いか、痛感しているここ数日なのである。
まあしかし、実装のセオリーみたいなものが見えてきたのもまた事実。スピードは少しずつ上がっていくだろうと思ってはいるがしかし我ながら超遅いな😭
今回はきちんとコンパイルエラー吐いて、デバッグビルドでソースマップ吐いてブラウザでデバッグできるようにしようと思ってるのでね・・。そこまでできたらVS Codeでデバッグとか、コード補完とかもできそうな気もしてきたりと。まあこれは今の状況では単なる夢想でしかないのですが😅
やはりこの時期、やる気にムラが出るなあ。今はまったくやる気がでないな・・。５月病ですかな。
ちょこちょこいじってはいるんだけど、進捗ははかばかしくないですな。仕事ではないんで追われるようなスケジュールもないからね😄
まあいつものことか😅
なんかこう「再帰呼び出し」についていろいろ考えるところがあってですな。長考してることが多い。普通に考えて条件分岐が多い冗長なやつを書くんではなくて、再帰呼び出しでスマートかつ短いコードを書くことができんかな？って思ってね。
「とりあえず動くものを今知っている方法で書く」のではなくて「自分にとってあまり過去書いたことのない手法で書いてみたい」って感じが強い。まあこれ私にとってなんで、他人が見ると「ふつう」ってことなのかもしれないけれどもね。
長考して「続きはまた明日」ってなるんだけど、長考した内容を忘れてしまって、「あれ昨日なんでこんなコード書いてるんだ。何を考えてたっけかな？」ってなったりもしてるな😥
デバッガが優秀なんで、途中までコードを動かしながら変数の中身を見てその先をどう書くか考えるようなやり方を取っている。期待したような変数の値にはなってないことも多くパーサコードの手直しも結構多く発生しているな。
ちょっとこの記事を読んでから、私の考え方が少し変わったというか。逆に混乱してるのかもしれんけども。かなり影響を受けた気がする。
ABNF Parser の実装 | blog.jxck.io
IETF の RFC では ABNF 形式の表現がよく使われ、たまに実装することがある。しかし、実装するたびに前のコードを引っ張り出して思い出す、を繰り返しているので、自分用にメモとしてやり方をまとめる。完全に我流であり、目的は「その ABNF が正しいかを確認すること」な...
この記事と今の私のコードの書き方とはまったく関係ないけどね。なんかこう見え方が変わったというかね。なんて言っていいのかわからんのですが。
むしろパーサやコードジェネレータについて分かった気になっていたが、この記事を読んで私が何も理解していないということが分かったということかもしれんですな。
Wizordum 🧙♂️ (Wishlist me)@wizordum
Secret, secrets, everywhere!🧙♂️#Wizordum
What do you like the most about secrets?
#indiedev #boomershooter #FPS #retroFPS #madewithunity https://t.co/yWW2amzauJ
t-sin@bak-shaver@sin_clav
自作VST3のチップチューンシンセ、まだ不具合あるけどついに全機能の実装を終えたような気がするぞ…！？！？
波形表示機能はON/OFFが可能で（デフォルトOFF）、OFFになるとフレームレートを落とす感じ。
ぜんぶRustで書いていてソースコードこんな感じです。
github.com/t-sin/soyboy-s… https://t.co/7BmV8zSho8
ENgelou@EN_gelou
40年前の音声合成LSIで遊んでいる https://t.co/NReLs6nIij
S.F.@SFPGMR
そういえばsvelte kitのビルドシステムがこれに変わったみたいなんだな。
Turborepo
TAKUYA🐾個人アプリ作家@craftzdog
このツイから４年、普通に食えるどころかとても良い暮らしが出来ているので戦略は間違っていなかったと今も思える twitter.com/craftzdog/stat…
yone™13 Pro®︎@yone
最近レトロPC関連何もできてないので、NeXT (OPENSTEP) 設定してる。ネットワークをつなげたいところ。NeXTの美しいGUIにウットリしてる。 https://t.co/sqGAfFfL8k
相ダ@sg_m3_md_ss_dc
#ゲーム制作 #MMF2 #CF25
巨大戦艦の攻略に時間がかかりそうなので後半に出そうかと…
本当はR-TYPEみたいに前半に出そうと思ってたんだけどね…ちと巨大すぎたｗ
没にもしたくないし
そのかわりに前回のラスボスの巨大戦艦を改良したものを出そうかと思いました https://t.co/81NwYlsjnB
James Swiney@JamesSwiney
Another boss, might need some difficulty tuning yet #IndieGameDev #indiegame #shmup #pixelart https://t.co/tIOt0J8MTz