Formalismen und Evolution
Welchen Wert sehen Sie in der Definition formaler Semantiken für Sprachen?
Simon: Formale Semantiken garantieren für alles, was wir mit Haskell gemacht haben. Wenn Sie sich zum Beispiel meine Veröffentlichungen anschauen, werden Sie feststellen, dass die meisten Artikel Formalismen enthalten, die versuchen zu erklären, was passiert. Selbst für etwas Imperatives wie den transaktionalen Speicher hatte der Artikel eine formale Semantik, was Transaktionen bedeuten.
Formale Semantik ist ein fantastischer Weg, mit einer Idee umzugehen, zu versuchen, einige der Details festzulegen, und einige der kritischen Ecken bekannt zu machen. Aber in einer echten Sprache, in der alles zusammenspielt, ist es sehr mühsam, tatsächlich alles ...
Get Visionäre der Programmierung - Die Sprachen und ihre Schöpfer now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
