Applicazione della semantica denotazionale alla progettazione di programmi

Ho letto un po 'di semantica denotazionale (DS) e sono molto incuriosito dal processo di progettazione di programmi per computer in cui tipi e funzioni hanno mappature forti e chiare alla matematica.

Ci sono risorse che trattano in dettaglio la progettazione di programmi basati su DS? Ho visto alcuni trattamenti superficiali del soggetto.

Sono esperto in Haskell, Scala, Common Lisp e un po 'di Scheme, quindi qualsiasi risorsa che usi queste lingue sarebbe molto apprezzata.

La progettazione denotazionale ( progettazione del programma radicata e derivante dalla semantica denotazionale) è la mia metodologia principale. Qualche anno fa, mentre scrivevo di FRP, sono diventato molto più chiaro di quello che stavo facendo. Vedi Programmazione reattiva funzionale Push-pull . Per una descrizione più esplicita del paradigma e una varietà di esempi, vedere Design denotazionale con morfismi di classe di tipo . Una volta preso coscienza del modello, ho iniziato a cercarlo ovunque. Dove non riesce, so di avere una perdita di astrazione. Per una descrizione iniziale e informale, vedi il post sul blog di Luke Palmer Semantic Design .

Sono sempre interessato alle applicazioni del design denotazionale, quindi mi piacerebbe conoscere le tue esplorazioni.

Abbiamo applicato la semantica denotazionale al design del linguaggio stesso, sostenendo che il design delle lingue, in particolare le lingue specifiche del dominio, dovrebbe iniziare con la definizione della semantica. Se sei interessato ai dettagli, potresti dare un'occhiata a Semantics-Driven DSL Design and Semantics First! Ripensare il processo di progettazione del linguaggio .