Bewertung:
Die Rezensionen zu diesem Buch über Standard-ML zeigen gegensätzliche Perspektiven auf: Einige Leser schätzen den präzisen und mathematisch strengen Ansatz für Sprachdefinitionen, während andere es als zu kryptisch und unzugänglich empfinden, insbesondere für Anfänger.
Vorteile:Das Buch bietet eine knappe, genaue und mathematisch präzise Definition von Standard-ML, die sich ideal für die Implementierung und für Überlegungen zur Korrektheit eignet. Es dient als Lehrstück dafür, wie Sprachdefinitionen verfasst werden sollten.
Nachteile:Der Text wird als undurchdringlich und übermäßig komplex angesehen, was darauf hindeutet, dass er eher für Personen mit fortgeschrittenen Kenntnissen geeignet ist, z. B. für promovierte Mathematiker. Es wird befürchtet, dass der Schwierigkeitsgrad die Zugänglichkeit für Anfänger einschränken und die Popularität der Sprache behindern könnte.
(basierend auf 3 Leserbewertungen)
Definition of Standard ML
Standard ML ist eine Allzweckprogrammiersprache, die für große Projekte entwickelt wurde. Dieses Buch bietet eine formale Definition von Standard ML zum Nutzen aller, die mit der Sprache zu tun haben, einschließlich der Benutzer und Implementierer.
Da von Computerprogrammen zunehmend verlangt wird, dass sie einer strengen Analyse standhalten, ist es umso wichtiger, dass die Sprache, in der sie geschrieben werden, mit voller Strenge definiert wird. Ein Zweck einer Sprachdefinition ist es, eine Theorie der Bedeutungen aufzustellen, auf die sich das Verständnis bestimmter Programme stützen kann. Um eine Programmiersprache richtig zu definieren, ist es notwendig, eine andere Form der Notation als eine Programmiersprache zu verwenden.
In Anbetracht des Strebens nach Strenge ist die mathematische Notation eine naheliegende Wahl.
Die Autoren haben ihre semantischen Objekte in einer mathematischen Notation definiert, die völlig unabhängig von der Standard-ML ist. Bei der Definition einer Sprache müssen auch die Bewertungsregeln genau festgelegt werden, d.
h. es muss definiert werden, welche Bedeutung sich aus der Bewertung einer beliebigen Phrase der Sprache ergibt. Die Definition stellt somit eine formale Spezifikation für eine Implementierung dar.
Die Autoren haben genug von ihrer Theorie entwickelt, um ihren Bewertungsregeln einen Sinn zu geben. Die Definition von Standard ML ist der wesentliche Bezugspunkt für Standard ML. Seit ihrer Veröffentlichung im Jahr 1990 hat sich die Implementierungstechnologie der Sprache enorm weiterentwickelt und die Zahl der Benutzer ist gewachsen.
Die überarbeitete Ausgabe enthält eine Reihe von neuen Funktionen, lässt wenig genutzte Funktionen weg und korrigiert Definitionsfehler.
| ISBN: | 9780262631815 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 1997 |
| Seitenzahl: | 132 |
Derzeit verfügbar, auf Lager.
