tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2024-06-26 18:18:20[

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya 2024-06-26 18:18:20 +09:00
parent 73ebe43c16
commit 5368effd5f
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
content/mimiumの中間表現を考える.md
View File

@ -113,6 +113,12 @@ delayはどうしておくかというと、最初の8バイトは現在のリ
中間表現では関数呼び出し、即値の読み込みはラベル使ってやるので十分かあ 中間表現では関数呼び出し、即値の読み込みはラベル使ってやるので十分かあ
そうなるとローカルの名前リネームは必要 そうなるとローカルの名前リネームは必要
state_sizeの保存には結局コールツリーを辿る必要が出てくる？ VM自体のstate_sizeの保存には結局コールツリーを辿る必要が出てくる？
pushfeedoffsetでバイトオフセットの値をトレースするためには結局applyの式を辿る必要はある pushfeedoffsetでバイトオフセットの値をトレースするためには結局applyの式を辿る必要はある
コールツリーのトラバースをし始めるとワンパスコンパイラとしての旨みがなくなる
feedはlambdaに閉じ込められてletrecにbindされてるのがちょっと面倒
まあでも結局ユーザー層に隠蔽するにはここで静的解析するしかないのか
あれ、でもこの静的解析って結局多段階でいうところのstage 0 の評価に相当するやつなのでは