Aplicando Semântica Denotacional ao Design de Programas

Eu li um pouco sobre semântica denotacional (DS) e estou muito intrigado com o processo de projetar programas de computador em que tipos e funções têm mapeamentos fortes e claros para a matemática.

Existem recursos que discutem a criação de programas baseados no DS em detalhes? Eu já vi alguns tratamentos superficiais do assunto.

Eu conheço Haskell, Scala, Common Lisp e um pouco de Scheme, para que todos os recursos que usam essas linguagens sejam muito apreciados.

Design denotacional ( design de programa enraizado e fluindo da semântica denotacional) é minha metodologia principal. Alguns anos atrás, enquanto escrevia sobre FRP, fiquei muito mais claro sobre o que estava fazendo. Consulte Programação reativa funcional push-pull . Para uma descrição mais explícita do paradigma e uma variedade de exemplos, consulte Design denotacional com morfismos de classe de tipo . Quando me tornei consciente do padrão, comecei a procurá-lo em todos os lugares. Onde falha, sei que tenho um vazamento de abstração. Para uma descrição informal e precoce, consulte a publicação do blog de Luke Palmer, Semantic Design .

Estou sempre interessado em aplicativos de design denotacional, por isso gostaria de saber sobre suas explorações.

Aplicamos a semântica denotacional ao próprio design da linguagem, argumentando que o design das linguagens, em particular as linguagens específicas do domínio, deve começar com a definição da semântica. Se você estiver interessado nos detalhes, poderá dar uma olhada no DSL Design Driven Semantics e Semantics First! Repensando o processo de design de idiomas .