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

[obsidian] vault backup: 2025-07-11 00:45:49[
All checks were successful
Build / build (push) Successful in 7m55s
Details

Browse Source
This commit is contained in:
Matsuura Tomoya(Windows)
2025-07-11 00:45:50 +09:00
parent bcfb639da7
commit 3dbbb6da30
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
content/多段階計算を命令型VMインストラクションで表現したい.md
View File

@@ -18,9 +18,9 @@ VMは最初、マクロ評価時に自分の現在の評価ステージを0と
VMは、命令記録モードと実行モードの2種類で、現在の評価ステージが0のときに実行モードになる VMは、命令記録モードと実行モードの2種類で、現在の評価ステージが0のときに実行モードになる
mainプログラムの先頭はマクロ展開のため必ずincl_levelからスタート＝命令記録モードから開始 mainプログラムの先頭はマクロ展開のため必ずincr_levelからスタート＝命令記録モードから開始
命令記録モードでは、decl_levelがでてくるまでバッファに実行した命令をコピーし続ける 命令記録モードでは、decr_levelがでてくるまでバッファに実行した命令をコピーし続ける
decl_levelでレベル0になったら...うーん decl_levelでレベル0になったら...うーん
```ocaml ```ocaml
@@ -62,3 +62,7 @@ endescape
ret 1 ret 1
``` ```
VMの構造にメタプログラミングを埋め込むよりも、MIR生成段階でなにかしらのサンクを呼び出すということにして一時的に空にしておく、みたいなやり方のほうが素直かもな