Appliquer une sémantique dénotationnelle à la conception de programmes
J'ai lu un peu sur - sémantique dénotationnation (DS) et je suis très intrigué sur le processus de conception de programmes informatiques où des types et des fonctions ont des mappages forts et clairs aux mathématiques.
Existe-t-il des ressources qui discutent de la conception de programmes basées sur DS= en détail? J'ai vu quelques traitements superficiels du sujet.
Je suis conversé à Haskell, Scala, Lisp commun et un peu de schéma afin que toute ressource qui utilise ces langues seraient grandement appréciées.
Nous avons appliqué la sémantique inotationnelle à la conception linguistique elle-même, affirmant 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 coup d'œil à conception DSL à la sémantique et Sémantique d'abord! Repenser le processus de conception linguistique .