Ho letto un po 'su semantica denotazionale (DS) e sono molto incuriosito dal processo di progettazione programmi per computer in cui tipi e funzioni hanno mappature forti e chiare alla matematica.
Ci sono risorse che discutono la progettazione di programmi basati su DS in dettaglio? Ho visto alcuni trattamenti superficiali del soggetto.
Ho dimestichezza con Haskell, Scala, Common Lisp e un po 'di Scheme quindi qualsiasi risorsa che usi quelle lingue sarebbe molto apprezzata.
Design denotativo (la progettazione del programma radicata nella e fluente dalla semantica denotazionale) è la mia metodologia principale. Alcuni anni fa, mentre scrivevo su FRP, mi sono reso molto più chiaro su quello che stavo facendo. Vedi Programmazione reattiva funzionale push-pull . Per una descrizione più esplicita del paradigma e una varietà di esempi, vedi Progettazione denotazionale con morfismi di classe tipo . Una volta preso coscienza del modello, ho iniziato a cercarlo ovunque. Dove fallisce, so di avere una perdita di astrazione. Per una descrizione anticipata e informale, vedi il post sul blog di Luke Palmer Design semantico .
Sono sempre interessato alle applicazioni del design denotativo, quindi mi piacerebbe sapere delle tue esplorazioni.
Abbiamo applicato la semantica denotazionale alla progettazione del linguaggio stesso, sostenendo che la progettazione dei linguaggi, in particolare dei linguaggi specifici del dominio, dovrebbe iniziare con la definizione della semantica. Se sei interessato ai dettagli, ti consigliamo di dare un'occhiata a Progettazione DSL basata sulla semantica e Semantics First! Ripensare il processo di progettazione linguistica .