Skip to content

Reference for math aficiandos on purely functional code

License

Notifications You must be signed in to change notification settings

tgelu/code-as-math

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

Code-As-Math

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.

Motivation

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.

Foreword

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.

Contents

More...

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

Contributing

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

License

MIT, see LICENSE.md for details.

About

Reference for math aficiandos on purely functional code

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages