[obsidian] vault backup: 2023-09-01 12:44:45[

This commit is contained in:
Tomoya Matsuura(MacBookPro) 2023-09-01 12:44:46 +09:00
parent 8352adc21d
commit abd5e4f1f8
2 changed files with 36 additions and 1 deletions

View File

@ -0,0 +1,33 @@
#programming-language #compiler-design
chumskyのチュートリアルで、評価する関数をライフタイム付きでこんな感じになってたの頭いいなと思ったので、RAIIにしたらもっとシンプルに見えるのではと思った
```rust
fn eval<'a>(expr:Expr,env:&'a mut Vec<(String,Val)>)->Result<Val,Error>{
match expr {
...
Expr::Let(name,e,then)=>{
env.push((name,eval(e,env)));
let res = eval(then,env);
env.pop();
res
}
...
}
}
```
Environmentは評価全体で見ればLetやLambdaごとに分岐していく構造だけれど、局所的には1列のベクタで表現できる
```rust
struct<'a,T> Environment(&'a mut Vec<T>)
impl<'a,T> Environment{
pub fn new()->Self{
Self(&mut Vec::new())
}
}
```

View File

@ -9,4 +9,6 @@
[[音楽プログラミング言語の形式化]]
[[多段階計算]]
[[多段階計算]]
[[Rustでの評価文脈環境のRAIIっぽい実装]]