函数式编程语言曲高和寡？

haskell是个不错的冬冬

正在学

FP远比图灵机模型适合描述算法
很多讨论都在图灵机展开，是因为人类目前的制造水平只能造出类似图灵机的冯诺依曼机器……或者说历史和产业的契机看中了冯诺依曼机器

所谓"算法",并非仅仅指若干数学公式,还包括该算法应用于不同问题时,其在空间和时间的成本花销的评估.FP适合描述公式，即如何求值，但描述时间和空间成本上的花销就不是很方便了。另外，非冯诺依曼计算机很早就存在，只不过没有推广开。

算法涉及两个方面:1.可计算性,2.复杂性.
对于第一个问题来说,不是所有的数学问题都是可计算的,在这个领域里,lambda caculus与图林机相比有优势.要证明数学问题是否可递归化,要比用图林机方便的多.但是这个领域基本上就是纯粹的数学分析,递归化只不过是一个证明的目标.FP恐怕连工具都算不上,仅仅是在最后实现算法的时候,用FP表述递归函数更简便一些.

第二个问题,基本上是图林系统了.

function currying(func)   
{   
    return function()   
    {   
        var args = Array.prototype.slice.call(arguments,0);      
        if(args.length<func.length)   
        {                        
            return function(){   
                var _args = args.concat(Array.prototype.slice.call(arguments,0));      
                return currying(func).apply(this,_args);   
            }   
        }   
        else return func.apply(this,args);   
    }   
}