Limbaje specifice domeniului matematicii

Titlul original:

Domain-Specific Languages of Mathematics

Conținutul cărții:

Ideea principală din spatele acestei cărți este de a încuraja cititorii să abordeze.

Domeniile matematice din perspectiva programării funcționale: să.

Să identifice principalele funcții și tipuri implicate și, atunci când este necesar, să.

Să introducă noi abstracțiuni; să ofere dovezi de calcul; să acorde.

Atenție la sintaxa expresiilor matematice; și, în sfârșit,.

Să organizeze funcțiile și tipurile rezultate în limbaje specifice domeniului.

Cartea este recomandată dezvoltatorilor care învață matematică și.

Doresc să utilizeze Haskell pentru a da sens definițiilor și teoremelor. Aceasta.

Este, de asemenea, o carte pentru cei interesați de matematică care doresc să exploreze.

Programarea funcțională și limbajele specifice domeniului. Cartea ajută la punerea.

în perspectivă domeniile matematicii și programării funcționale.

Și arată cum este util să se predea împreună informatică și matematică.