Udon VM 向けのコンパイラを作る[5]

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

SAnuki IL の Web エディタ&コンパイラは私が Monaco と和解し次第リリースします(明日やる)

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

さすがにコンパイラ進捗します

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

SAnuki Online Compiler を公開しました．SAnuki は Udon Assembly にコンパイルされる中間言語です． 7colou.red/sanuki/ #MadeWithUdon

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

やっと高級言語作れる

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

feedback.vrchat.com/vrchat-udon-cl… に動きがないのでしんどい

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

コンパイラを作っていく & ブラウザで動くようにする上での色々な周辺ツール・ライブラリを用意したのと，Monaco の扱い方を覚えたのが主な進捗となります．シンタックスハイライトとかはなぜか動いていない（だめじゃん）

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

高級言語はまともな型推論を積むし，エディタもシンタックスハイライトや補完がしっかり効くようにするから期待していいよ

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

と言っておけばやらざるを得なくなり，結果的にできる

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

エイヤッと README.md を書いた github.com/cannorin/sanuki

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

"手書き用の構文を定義して，パーサと Web のガワを付けてリリース" に一番時間がかかりましたが…… pic.twitter.com/BsCHwaJIxM

拡大

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

ボトムアップで作ってるとトップダウン勢に見た目の進捗抜かれまくってしんどいね

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

最初から完璧なものをお出ししようとして先越されて敗北することを繰り返してきている

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

Hindley-Milner オーバーロード解決 決定可能 簡単 裏技 ワザップ

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

型クラス積みます……

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

途中まで作って気付いたんですが，UdonVM には malloc がないので reference cell を自由に作れたらまずい

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

クロージャ変換を書こうとして気付いた

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

ふつうの ML は素直にコンパイルできんなこれ

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

reference cell を生成するような関数を全てインライン展開強制して再帰関数にできなくすれば malloc 解決するな

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

monadic effects 積んでいいすか？？

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

最初から理想のものをお出ししようとして永遠に完成しないマンになっとる

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

スタックの扱いだるすぎるんで再帰関数より単純なループの方が入れたいんだよな

𝚌𝚊𝚗𝚗𝚘𝚛𝚒𝚗 @cannorin3

え〜 coeffect 要るが…

Ram.Type-0@VRC @RamType0

@cannorin_vrc 動的に生成したアドレスをスタックにプッシュできればOKだったのに アドレスが定数値限定なの本当になんの意味があったのか

Ram.Type-0@VRC @RamType0

@cannorin_vrc 定数値限定ならただの変数なので JITフェイズ挟んでStrongBox生成してスタックにはStrongBoxの参照積んで欲しかった あとまあ一応理論上の話なら全部object配列に詰めれば動的確保はできそう