拍给程序员看的电影

这个片子一点都不文艺。因此我很喜欢。因此本评论写给程序员看。
这是我见过的关于“未来”“时 间旅行“一类电影中剧情最严密，逻辑最自圆其说的一部片子。
我怀疑编剧是个程序员。

首先简单回顾下剧情：主角起初可以预见到两分钟内的未来情况，因此可以提前趋利避祸。后来他为了遇到了一个命中注定的女人，去尾行(tail)跟随她来到了大峡谷。他发现和这个女人在一起时，他可以预见到更远的未来。后面的剧情，就是被一些没看懂的人大骂被耍了的情节：主角预见到比较远的未来，在未来，他又不断产生各个分支去搜索各种结局，最后这条路径还是无法找到最优解（其实是获得了一个最差的结果，全都死掉了），因此在电影的最后，整条搜索分支都回溯回远点。

显然，他运用了递归的能力。这一点在电影的高潮，码头仓库一段体现的最淋漓尽致：他在每条岔路口都递归的去搜索。这个情节简直可以拿来放到计算机算法课上当课件用了。

其实在电影的最后，主角选择了和政府合作共同打击黑恶势力，还很狗血的说了几句挺哲理的话。但这就是结局么？ 醒醒吧，这是编剧照顾文艺小资们的情绪故意卖的破绽。谁家用递归写个深度优先的搜索会只搜索一条分支呢？！

而那句很狗血的话：关于未来的一个特性就是每次你看着他时他会改变，因为你看着他了。
这分明是对side effect 的批判嘛，在另一部伟大的电影butterfly effect 中也有对 side effect 的深刻批判。因为有了副作用，程序的行为将变得不可预知，程序的正确性验证也就无从谈起。这是主角对纯粹函数式开发的深切呼唤。

通过FP还有另一个好处：并行
关于这段搜索的情节，有几点值得主义的：他同时并行执行了多个搜索任务。但是在电影里，又似乎不是纯粹的并行，因为其他的搜索分支会知道之前的搜索结果，进行剪枝。这算是搜索优化。


关于递归，大家基本上都认同吧。那么为什么起初主角只能预见两分钟，而后来尾随了一个mm后就人品大爆发了呢？真相就是他开始”尾递归”了。

关于电影名 “next” 。 这是表示迭代中止，跳转的语句。

另外，关于未来的计算，未来的过程，大家想起点什么来没？？continuation。

think about it. 为了宣传FP的思想，老美居然拍了部电影，真是寓教于乐阿。