Ich habe ein wenig über die Denotationssemantik (DS) gelesen und bin sehr fasziniert von dem Prozess des Entwurfs von Computerprogrammen, bei denen Typen und Funktionen starke und klare Zuordnungen zur Mathematik aufweisen.
Gibt es Ressourcen, die das Entwerfen von Programmen auf der Basis von DS im Detail erläutern? Ich habe ein paar oberflächliche Behandlungen des Themas gesehen.
Ich kenne mich mit Haskell, Scala, Common Lisp und ein bisschen Scheme aus, daher wären alle Ressourcen, die diese Sprachen verwenden, sehr dankbar.
7
Sie sollten sich die Arbeit von Conal Elliott ansehen
Curry-Howard-Isomorphismus ist das Schlüsselwort, wenn Sie es noch nicht wussten.
—
pedrofurla
Ich dachte etwas Ähnliches. Ich habe versucht, eine numerische Simulation von Punkten, starren Körpern und Flüssigkeiten zu entwerfen. Dies ( github.com/takagi/SimulationDSL ) ist eines meiner Experimente, bei denen ich Vektoralgebra und Teilgleichungen in Haskell DSL ausgedrückt habe. Ich habe auch Conal Elliotts Arbeit überprüft.
Sie sollten LtU überprüfen . Es gibt wahrscheinlich einige gute alte Diskussionen gibt, oder zumindest Ihre Frage würde besser passen da sein als auf SO
Vielleicht möchten Sie Samuel Kamins "Eine implementierungsorientierte Semantik von Wadlers hübschen Druckkombinatoren" lesen. Es vergleicht operationelle und denotationale Ansätze, um ein bekanntes, reales Beispiel zu implementieren, und beinhaltet die Befürwortung eines denotationalen Ansatzes.
—
Stephen Tetley