将指称语义学应用于程序设计

我已经读过一些有关指称语义（DS）的文章，并且对设计计算机程序的过程非常感兴趣，在计算机程序中，类型和功能与数学之间有着牢固而清晰的映射。

是否有任何资源详细讨论了基于DS的设计程序？我已经看到了对该主题的一些表面处理。

我精通Haskell，Scala，Common Lisp和一些Scheme，因此使用这些语言的任何资源都将受到赞赏。

指称设计（植根于指称语义并从中产生的程序设计）是我的主要方法。几年前，在撰写有关FRP的文章时，我对自己所做的事情更加清楚。请参阅推挽功能反应式编程。有关范例的更明确的描述和各种示例，请参见具有类型类态射态的Denotational设计。一旦意识到这种模式，我便开始在各处寻找它。如果失败了，我知道我有一个抽象泄漏。有关早期的非正式描述，请参阅Luke Palmer的博客文章Semantic Design。

我对代名词设计的应用一直很感兴趣，所以我很想听听您的探索。

我们已经将指称语义应用于语言设计本身，认为语言（特别是领域特定语言）的设计应从语义定义开始。如果您对这些细节感兴趣，则可能需要先看一下语义驱动的DSL设计和语义！对语言设计过程的再思考。