是否有算法需要专门的函数语言来实现

只要一种语言 Turing complete , 任何 算法可以在其中实现(定义为“算法”)。但正如其他人所说,函数式语言可以做一些更优雅的事情。(看看哈斯克尔。这是一门多么可爱的语言。)我也认为有一类问题OOP语言做得更好。(在我看来,GUIs,尽管有些人可能不同意。)

不,但是一种函数式语言可能会导致一种更优雅的算法实现,这种算法可以利用这种语言的特性。例如,需要大的递归深度。

据我所知,这样的算法必须转换成在某个微处理器上执行的一组机器命令(无论您使用编译语言还是解释语言)。而且当前的处理器都不是“功能性的”。
事实上,这会导致更广泛的断言:任何“函数算法”都可以在C或汇编程序中实现:)