我刚刚进入JavaScript,注意到这种语言不直接支持惰性求值。原生代码变成了样板的地狱,如下所示:
function lazy(f) {
var v = undefined;
return function() {
if (v == undefined)
v = f();
return v;
}
}
// 10 times larger than actual operation
var foo = lazy(function() {
return 3 + 3;
});
但我找到了 Sweet.js并相信它可以使代码变得简单,如下所示:
var foo = lazy (3 + 3);
var goo = lazy {
var a = 3 + 3;
return a;
};
所以我测试了编辑甜蜜.js:
function lazy_f(f) {
var v = undefined;
return function() {
if (v == undefined)
v = f();
return v;
}
}
macro lazy {
rules { $expr } => {
lazy_f(function() { return $expr; })
}
}
var foo = lazy (3 + 3);
它适用于单个 expr。但在某些情况下,lazy
会像这样接受一个 expr 块:
var goo = lazy {
var a = 3 + 3;
return a;
};
所以我像这样安排上面的代码:
function lazy_f(f) {
var v = undefined;
return function() {
if (v == undefined)
v = f();
return v;
}
}
macro lazy {
rule { $($expr) (;) ... } => { //
lazy_f(function() $expr ...); //
} //
rules { $expr } => {
lazy_f(function() { return $expr; })
}
}
var foo = lazy (3 + 3);
var goo = lazy {
var a = 3 + 3;
return a;
};
由于某种原因,它不起作用。我相信第一种模式$($expr) (;) ...
不应该与(3 + 3)
匹配,但显然它正在这样做。
我为此工作了一个小时,终于放弃了。如何使这两种模式同时工作?
如果无法做到这一点,我想为单个 expr 采用另一种方式:
lar foo = 3 + 3;
var foo_content = foo();
我也不知道该怎么做。
由于您想将其与大括号一起使用,因此您需要在宏中包含括号,就像@timdisney所说的那样。
但是,要像 var a = lazy this.x * this.y
这样延迟计算表达式,您需要将表达式正确绑定到 this
的当前值。
完整代码
function lazyEvaluate(thisObject, functionToEvaluate) {
var result, hasResult = false;
return function () {
if (hasResult) {
return result;
} else {
hasResult = true;
return result = functionToEvaluate.call(thisObject);
};
};
}
let lazy = macro {
rule {
{
$statements ...
}
} => {
lazyEvaluate(this, function () {
$statements ...
})
}
rule { $expression:expr } => {
lazyEvaluate(this, function () {
return $expression;
})
}
}
这应该适用于任何有效的表达式。
例
var a = 5, b = 2, c = lazy a * b, d = lazy {
console.log(c());
return c() * a;
};
a = 10;
console.log(c()); // 20
a = 5;
console.log(d()); // 100
$($expr) (;) ...
表示重复匹配由;
分隔的单个标记。你可能想要这个:
macro lazy {
// match single expression in parens
rule { ( $e:expr ) } => {
lazy_f(function() { return $e })
}
// match all of the tokens inside a curly
rule { { $expr ... } } => {
lazy_f(function() { $expr ... })
}
}