quartz-research-note/content/Rustでの評価文脈(環境)のRAIIっぽい実装.md

50 lines
1.3 KiB
Markdown
Raw Normal View History

#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 EnvironmentT<'a, T: Clone>(&'a mut Vec<(String, T)>, usize);
impl<'a, T: Clone> EnvironmentT<'a, T> {
pub fn new(vec: &'a mut Vec<(String, T)>, mut names: Vec<(String, T)>) -> Self {
let len = vec.len();
vec.append(&mut names);
Self(vec, len)
}
pub fn lookup(&self, name: &String) -> Option<T> {
let res = self
.0
.iter()
.rev()
.filter(|(n, _v)| name == n)
.collect::<Vec<_>>();
res.get(0).map(|(_, v)| v.clone())
}
}
impl<'a, T: Clone> Drop for EnvironmentT<'a, T> {
fn drop(&mut self) {
self.0.truncate(self.1);
}
}
```