冒号空间

逻辑范式——当算法失去了控制（再谈逻辑式编程）
• 评价代码的复杂度，长短只是一个因素。程序员不是打字员，花在思考上的时间和精力远远超过花在键盘上
• 算法=逻辑+控制。其中逻辑是算法的核心，控制主要用于改进算法的效率 […]

声明范式——目标决定行动（声明式编程简谈）
• 命令式编程是行动导向的，因而算法是显性而目标是隐性的；声明式编程是目标驱动的，因而目标是显性而算法是隐性的
• 声明式编程重目标、轻过程，专注问题的分析和表达而不致陷入算法的迷宫，其代码也更加简洁清晰、易于修改和维护
• 归根结底，编程是寻求一种机制，将指定的输入转化为指定的输出 […]