无副作用、引用透明的函数式编程的承诺之一是可以对此类代码进行广泛优化。引用维基百科:
在许多情况下,数据的不变性可以提高执行效率,因为它允许编译器在命令式语言中做出不安全的假设,从而增加内联扩展的机会。
我希望看到函数式语言编译器通过生成更好的优化代码来胜过命令式编译器的示例。
编辑:我试图给出一个特定的场景,但显然这不是一个好主意。所以我会尝试用不同的方式来解释它。
程序员将想法(算法)翻译成机器可以理解的语言。同时,翻译的最重要方面之一是人类也可以理解生成的代码。不幸的是,在许多情况下需要权衡取舍:简洁易读的代码会受到性能缓慢的影响,需要手动优化。这是容易出错、耗时的,并且会降低代码的可读性(甚至完全不可读)。
函数式语言的基础,例如不变性和引用透明性,允许编译器执行广泛的优化,这可以取代手动优化代码并使程序员从这种权衡中解脱出来。我正在寻找想法(算法)及其实现的示例,例如:
- (功能)实现接近原始想法并且易于理解,
- 它被语言的编译器广泛优化,并且
- 如果没有降低其简洁性和可读性的手动优化,很难(或不可能)用命令式语言编写类似高效的代码。
如果有点含糊,我深表歉意,但我希望这个想法很清楚。我不想对答案进行不必要的限制。如果有人知道如何更好地表达它,我愿意接受建议。
我的兴趣不仅仅是理论上的。我想用这样的例子(除其他外)来激励学生对函数式编程产生兴趣。
起初,我对评论中建议的几个例子并不满意。再三考虑,我收回我的反对意见,这些都是很好的例子。请随时将它们扩展为完整的答案,以便人们可以评论和投票。
(一类这样的例子很可能是并行化代码,它可以利用多个 CPU 内核。通常在函数式语言中,这可以很容易地完成,而不会牺牲代码的简单性(比如在 Haskell 中通过添加par
或pseq
在适当的地方)。我是也对此类示例感兴趣,但也对其他非平行示例感兴趣。)