-
Functional programming
- Separation of 3 parts: operations, programs, and interpreters
- Push side-effect (anything that's not referentially transparent) to the outside of the program
- Keep the core of the program pure
-
Based on Church encoding
I hereby claim:
- I am fsat on github.
- I am fsat (https://keybase.io/fsat) on keybase.
- I have a public key ASBEMoQakNCilklLy4qCMsQpWhVgVxKR1z-VlXwmMYTz9Ao
To claim this, I am signing this object:
Please publicly post the following Gist, and name it keybase.md
I hereby claim:
- I am fsat on github.
- I am fsat_typesafe (https://keybase.io/fsat_typesafe) on keybase.
- I have a public key ASBYhjKEbIwoQqpVzkQFhz9nUpkJq6TZoKymxtvx-r5Rdgo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### Keybase proof | |
I hereby claim: | |
* I am fsat on github. | |
* I am fsat_typesafe (https://keybase.io/fsat_typesafe) on keybase. | |
* I have a public key whose fingerprint is 42EA 811F 699E 3AB1 3AFF C8F5 AF9D 299C B014 7B6D | |
To claim this, I am signing this object: |