Linguaggi matematici specifici di un dominio

Titolo originale:

Domain-Specific Languages of Mathematics

Contenuto del libro:

L'idea principale di questo libro è quella di incoraggiare i lettori ad avvicinarsi.

domini matematici da una prospettiva di programmazione funzionale: per.

Identificare le funzioni e i tipi principali coinvolti e, quando necessario, introdurre nuove astrazioni.

Introdurre nuove astrazioni; fornire prove di calcolo; prestare attenzione alla sintassi della matematica.

Attenzione alla sintassi delle espressioni matematiche e, infine,.

Organizzare le funzioni e i tipi risultanti in linguaggi specifici per il dominio.

Il libro è consigliato agli sviluppatori che stanno imparando la matematica e che.

Vorrebbero usare Haskell per dare un senso a definizioni e teoremi. È.

È anche un libro per chi è interessato alla matematica e vuole esplorare.

Programmazione funzionale e linguaggi specifici del dominio. Il libro aiuta a mettere

in prospettiva i domini della matematica e della programmazione funzionale.

E mostra come l'informatica e la matematica possano essere insegnate insieme.