Domain-Specific Languages of Mathematics
Główną ideą tej książki jest zachęcenie czytelników do podejścia.
Domeny matematyczne z perspektywy programowania funkcjonalnego: do.
Zidentyfikować główne funkcje i typy oraz, w razie potrzeby, wprowadzić nowe abstrakcje.
Wprowadzenie nowych abstrakcji; przedstawienie dowodów obliczeniowych; zwrócenie uwagi na składnię matematyczną.
Zwrócenie uwagi na składnię wyrażeń matematycznych; i wreszcie.
Zorganizowanie wynikowych funkcji i typów w językach specyficznych dla danej dziedziny.
Książka jest zalecana dla programistów, którzy uczą się matematyki i.
Chcą używać Haskella do zrozumienia definicji i twierdzeń. To.
Jest to również książka dla osób zainteresowanych matematyką, które chcą ją poznać.
Programowanie funkcjonalne i języki specyficzne dla domeny. Książka pomaga umieścić.
W perspektywie dziedzin matematyki i programowania funkcjonalnego.
I pokazuje, w jaki sposób informatyka i matematyka mogą być nauczane razem.