J'ai lu un peu sur la sémantique dénotationnelle (DS) et je suis très intrigué par le processus de conception de programmes informatiques où les types et les fonctions ont des correspondances fortes et claires avec les mathématiques.
Existe-t-il des ressources pour discuter en détail de la conception de programmes basés sur DS? J'ai vu quelques traitements superficiels du sujet.
Je suis familier avec Haskell, Scala, Common Lisp et un peu de Scheme, donc toutes les ressources qui utilisent ces langues seraient grandement appréciées.
Réponses:
La conception dénotationnelle ( conception de programme enracinée dans la sémantique dénotationnelle et découlant de celle-ci) est ma principale méthodologie. Il y a quelques années, en écrivant sur FRP, je suis devenu beaucoup plus clair sur ce que j'avais fait. Voir Programmation réactive fonctionnelle push-pull . Pour une description plus explicite du paradigme et une variété d'exemples, voir Conception dénotationnelle avec des morphismes de classe de type . Une fois que j'ai pris conscience du motif, j'ai commencé à le chercher partout. Là où cela échoue, je sais que j'ai une fuite d'abstraction. Pour une première description informelle, voir le billet de blog de Luke Palmer Semantic Design .
Je suis toujours intéressé par les applications de conception dénotationnelle, j'aimerais donc entendre parler de vos explorations.
la source
Nous avons appliqué la sémantique dénotationnelle à la conception du langage elle-même, en faisant valoir que la conception des langues, en particulier des langues spécifiques à un domaine, devrait commencer par la définition de la sémantique. Si vous êtes intéressé par les détails, vous voudrez peut-être jeter un œil à la conception DSL basée sur la sémantique et à la sémantique d'abord! Repenser le processus de conception du langage .
la source