冒号空间

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