User loginNavigation |
Actors all the way downRecently, there has been renewed interest in meta-circular interpreters. For example, see ActorScript, Fexpr the Ultimate Lambda, and Dale Schumacher's recent posts. Here is the lambda calculus in ActorScript: "lambda" id body ~~ eval(env) --> (argument) -->body.eval(Environment(id,argument, env)) Environment(id, value, env) ~~ lookup(id2) --> id=id2 ?~ true --> value ?? false --> env.lookup(id) ~? Operator Operand ~~ eval(environment) --> Operator.eval(environment)(Operand.eval(environment)) Identifier ~~ eval(environment) --> environment.lookup(Identifier) By Hewitt at 2011-11-25 19:56 | LtU Forum | previous forum topic | next forum topic | other blogs | 6588 reads
|
Browse archives
Active forum topics |
Recent comments
21 weeks 6 days ago
21 weeks 6 days ago
21 weeks 6 days ago
44 weeks 1 day ago
48 weeks 2 days ago
50 weeks 4 hours ago
50 weeks 4 hours ago
1 year 4 days ago
1 year 5 weeks ago
1 year 5 weeks ago