Domain-Specific Languages of Mathematics
Die Hauptidee dieses Buches ist es, die Leser zu ermutigen, sich zu nähern.
Mathematische Domänen aus der Perspektive der funktionalen Programmierung zu betrachten: um.
die wichtigsten beteiligten Funktionen und Typen zu identifizieren und, wenn nötig, zu.
neue Abstraktionen einzuführen; rechnerische Beweise zu geben;
Aufmerksamkeit auf die Syntax der mathematischen Ausdrücke zu richten; und schließlich,.
die resultierenden Funktionen und Typen in domänenspezifischen Sprachen zu organisieren.
Das Buch wird für Entwickler empfohlen, die Mathematik lernen und.
Haskell verwenden möchten, um Definitionen und Theoreme zu verstehen. Es.
Es ist auch ein Buch für den mathematisch Interessierten, der erforschen will.
Funktionale Programmierung und domänenspezifische Sprachen. Das Buch hilft dabei.
Das Buch hilft, die Domänen der Mathematik und der funktionalen Programmierung ins rechte Licht zu rücken.
Und zeigt, wie Informatik und Mathematik sinnvoll zusammen unterrichtet werden können.
| ISBN: | 9781848903883 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
