JavaScript惰性求值的一种实现方法示例
前言
在学习Haskell时，我遇到了这种写法：
sum(takeWhile(<10000)(filterodd(map(^2)[1..])))
这段代码的意思是，找出自然整数中小于10000的同时是乘方数和奇数的数字，再把这些数加总。由于Haskell的懒运算特性，上面的程序并不会立马生成从1到无限大的自然数列表，而是会等待takeWhile指令，再生成符合条件的列表。如果用JS来写，很难写出这么简洁高表达性的代码。一个可能的思路就是写个while循环，然后找到符合条件的数进行加总。这个比较简单，我就不演示了。
但是如果我们要用高阶函数来模拟Haskell的写法，就要想个办法实现懒运算了。提到懒，首先想到的就是Iterator。没人踢它一脚告诉它next()，它会一直坐那儿不动的。
现在我们就来用Iterator来实现一个懒运算。
首先定义一个生成从1到无穷大自然数的generator:
constnumbers=function*(){
leti=1
while(true){
yieldi++
}
}
由于只有在generator执行后生成的iterable上执行next()方法，yield才会执行，所以我们要做的主要工作就是实现不同的next方法，达到目的。
我们需要先创建一个工厂函数Lazy，Lazy封装了我们的各种目标操作:
constLazy=iterator=>{
constnext=iterable.next.bind(iterable)
constmap=()=>{}
constfilter=()=>{}
consttakeWhile=()=>{}
return{
next,
map,
filter,
takeWhile,
}
我们先实现map方法，它会把每次next返回的值根据提供的回调函数进行修改：
constmap=f=>{
constmodifiedNext=()=>{
constitem=next()
constmappedValue=f(item.value)
return{
value:mappedValue,
done:item.done,
}
}
constnewIter={...iterable,next:modifiedNext}
returnlazy(newIter)
}
再定义filter方法，它会让next只返回符合判断条件的值：
constfilter=predicate=>{
constmodifiedNext=()=>{
while(true){
constitem=next()
if(predicate(item.value)){
returnitem
}
}
}
constnewIter={...iterable,next:modifiedNext}
returnlazy(newIter)
}
最后，定义takeWhile，它会限制next执行的条件，一旦条件不满足，则停止执行next并返回历史执行结果：
consttakeWhile=predicate=>{
constresult=[]
letvalue=next().value
while(predicate(value)){
result.push(value)
value=next().value
}
returnresult
}
主要的方法都定义完了，现在把它们合并起来：
constLazy=iterable=>{
constnext=iterable.next.bind(iterable)
constmap=f=>{
constmodifiedNext=()=>{
constitem=next()
constmappedValue=f(item.value)
return{
value:mappedValue,
done:item.done,
}
}
constnewIter={...iterable,next:modifiedNext}
returnlazy(newIter)
}
constfilter=predicate=>{
constmodifiedNext=()=>{
while(true){
constitem=next()
if(predicate(item.value)){
returnitem
}
}
}
constnewIter={...iterable,next:modifiedNext}
returnlazy(newIter)
}
consttakeWhile=predicate=>{
constresult=[]
letvalue=next().value
while(predicate(value)){
result.push(value)
value=next().value
}
returnresult
}
returnObject.freeze({
map,
filter,
takeWhile,
next,
})
}
constnumbers=function*(){
leti=1
while(true){
yieldi++
}
}
现在用我们写的Lazy和numbers函数来实现文章开头的Haskell代码：
Lazy(numbers()) .map(x=>x**2) .filter(x=>x%2===1) .takeWhile(x=>x<10000) .reduce((x,y)=>x+y) //=>16650
参考：
LazyEvaluationinJavaScriptwithGenerators,Map,Filter,andReduce
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，如果有疑问大家可以留言交流，谢谢大家对毛票票的支持。
声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。