> For the complete documentation index, see [llms.txt](https://notes.bf.wtf/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://notes.bf.wtf/programming/functional-programming.md).

# Functional Programming

- [Property Based Testing](https://notes.bf.wtf/programming/functional-programming/property-based-testing.md)
- [Key Terminology](https://notes.bf.wtf/programming/functional-programming/key-terminology.md)
- [Domain Modelling Made Functional](https://notes.bf.wtf/programming/functional-programming/domain-modelling-made-functional.md)
- [Functional Core, Imperative Shell](https://notes.bf.wtf/programming/functional-programming/functional-core-imperative-shell.md)
- [Mailbox Processors](https://notes.bf.wtf/programming/functional-programming/mailbox-processors.md)
- [Parse, don’t validate](https://notes.bf.wtf/programming/functional-programming/parse-dont-validate.md): Using the type system to separate concerns