标签
探讨在Haskell中使用应用函子进行静态分析的概念，与单子进行对比，并讨论在忽略数据的上下文中解释代码以进行分析而不执行效果。
这篇彼得·诺尔（Peter Naur）于1985年发表的论文指出，编程本质上是一种理论构建活动，程序员需要深入理解问题领域，而不仅仅是生成代码。