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

# Functional programming

## Topics

* [Functional data structures](/programming/functional-programming/data-structures.md)
* [Algebraic Effects](/programming/functional-programming/algebraic-effects.md)
* [Continuations](/programming/functional-programming/continuations.md)
* [Dependent Types](/programming/functional-programming/dependent-types.md)
* [Category Theory](/programming/functional-programming/category-theory.md)
* [Total Functional Programming](/programming/functional-programming/total.md)
* [Uniqueness Typing](/programming/functional-programming/uniqueness-typing.md)
* [GADT](/programming/functional-programming/gadt.md)
* [Tagless Final](/programming/functional-programming/tagless-final.md)

## Posts

* [Why Why Functional Programming Matters Matters](http://weblog.raganwald.com/2007/03/why-why-functional-programming-matters.html)