This is a reference to ease methematics-aficiandos into typed, pure functional programming. More specifically we will use the elm programming language as it is simple and fitting for the purpose.

Telling a computer what to do need not be imperative and therefore branch out from mathematics and logic. On the contrary, code can abstract the kind of details that make it imperative and therefore can profit from the great body of knowledge the domains of logic and mathematics contain.

This guide is not yet finished. If you see errors or want to contribute, please open a ticket or send a PR.

From here on the use of code will refer to purely functional code. This is to make it obvious that what is said to be true about code only applies to this subset of programming languages. This is opposed to languages that do not strive to look like logic, but rather like a list of instructions. Without delving into detail it is enough to distinguish between these two categories to make useful statements about them in relation to mathematics and logic.

For a guide aimed at explaining mathematics and logic in an imperative language see this repository.

Like this guide? Suggest some more features or send us a Pull Request!

For details on how to contribute, see CONTRIBUTING.md.

MIT, see LICENSE.md for details.