但本质上,命令式编程还是要求程序员告诉电脑how to do。而声明式编程的主要动机则是要程序员告诉电脑what to do,然后让电脑自己完成任务。函数式编程和逻辑式编程就归为这类编程范型。对于逻辑式编程其实大家并不陌生,SQL就是其中一种。而函数式编程也不是什么新鲜事儿,早在上世纪90年代就出现了纯函数式语言Haskell,另外我们熟悉的XSLT也