Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/graninas/cpp_functional_programming
List of materials about functional programming in C++
https://github.com/graninas/cpp_functional_programming
Last synced: about 2 months ago
JSON representation
List of materials about functional programming in C++
- Host: GitHub
- URL: https://github.com/graninas/cpp_functional_programming
- Owner: graninas
- Created: 2018-12-18T18:41:32.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-27T05:32:41.000Z (over 4 years ago)
- Last Synced: 2024-11-14T21:38:06.802Z (about 2 months ago)
- Homepage:
- Size: 173 KB
- Stars: 652
- Watchers: 40
- Forks: 63
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- AwesomeCppGameDev - cpp_functional_programming
README
Functional Programming in C++
=============================
List of materials and links about functional programming in C++.
[**English Materials**](#english-materials)
- [Books](#books)
- [Articles](#articles)
* [Basics](#basics)
* [Monads](#monads)
* [Design Concepts and Approaches](#design-concepts-and-approaches)
- [Papers](#papers)
- [Blogs](#blogs)
- [Talks and Screencasts](#talks-and-screencasts)
* [Talks](#talks)
* [Screencasts](#screencasts)
- [Cources](#cources)
- [QA](#qa)
* [StackOverflow questions](#stackoverflow-questions)
* [Quora questions](#quora-questions)
[**Russian Materials**](#russian-materials)
- [Articles (Rus)](#articles-rus)
* [Basics (Rus)](#basics-rus)
* [Monads (Rus)](#monads-rus)
* [Design Concepts and Approaches (Rus)](#design-concepts-and-approaches-rus)
- [Talks and Screencasts (Rus)](#talks-and-screencasts-rus)
* [Talks (Rus)](#talks-rus)
[**Projects**](#projects)
- [Libraries](#libraries)
- [Showcase projects](#showcase-projects)
[**Misc**](#misc)
- [C++ FP Experts](#c-fp-experts)
---
# English Materials
## Books
- [Functional Programming in C++](https://www.manning.com/books/functional-programming-in-c-plus-plus), **Ivan Čukić**, Manning Publications, 2018
- [Learning C++ Functional Programming](https://www.oreilly.com/library/view/learning-c-functional/9781787281974/), **Wisnu Anggoro**
- [Functional Programming with C++](https://www.amazon.com/Functional-Programming-C-Chris-Weed-ebook/dp/B017AT4OMI), **Chris Weed**
## Articles
#### Basics
- [Functional Programming Using C++ Templates (Part 1)](https://accu.org/index.php/journals/1422), **Stuart Golodetz**, 2007
- [Functional Programming Using C++ Templates (Part 2)](https://accu.org/index.php/journals/1616), **Stuart Golodetz**, 2007
- [What Does Haskell Have to Do with C++?](https://bartoszmilewski.com/2009/10/21/what-does-haskell-have-to-do-with-c/), **Bartosz Milewski**, 2009
- [In-depth: Functional programming in C++](https://www.gamasutra.com/view/news/169296/Indepth_Functional_programming_in_C.php), **John Carmack**, 2012
- [Efficient Pure Functional Programming in C++ Using Move Semantics](https://blog.knatten.org/2012/11/02/efficient-pure-functional-programming-in-c-using-move-semantics/), **Anders Schau Knatten**, 2012
- [The connection between C++ template metaprogramming and functional programming](http://www.tnkcs.inf.elte.hu/vedes/sinkovics_abel_ertekezes.pdf), **Abel Sinkovics**, 2013
- [Functional Data Structures in C++: Lists](https://bartoszmilewski.com/2013/11/13/functional-data-structures-in-c-lists/), **Bartosz Milewski**, 2013
- [Functional Data Structures and Concurrency in C++](https://bartoszmilewski.com/2013/12/10/functional-data-structures-and-concurrency-in-c/), **Bartosz Milewski**, 2013
- [Study Notes: Functional Programming with C++](https://yongweiwu.wordpress.com/2014/12/07/study-notes-functional-programming-with-cplusplus/), **Yongwei**, 2014
- [Functional programming in C++](http://blog.madhukaraphatak.com/functional-programming-in-c++/), **Madhukar**, 2014
- [Make your functions functional](https://www.fluentcpp.com/2016/11/22/make-your-functions-functional/), **Jonathan Boccara**, 2016
- [C++ is a Dynamic, Pure, Functional Programming Language](https://cloudalion.org/2016/09/08/c-is-a-dynamic-pure-functional-programming-language/), **brosenan**, 2016
- [An Overview of Elements of Functional Programming in C++](https://community.idera.com/developer-tools/b/blog/posts/an-overview-of-elements-of-functional-programming-in-c), **Kiryll Shynharow**, 2017
- [Functional programming in c++ by example](https://nikitablack.github.io/2017/03/23/Functional-programming-in-c-by-example.html), **nikitablack**, 2017
* [Functional programming in c++ by example (Rus)](https://habr.com/post/324518/), **nikitablack**, 2017
- [Functional in C++17 and C++20](http://www.modernescpp.com/index.php/functional-in-c-17-and-c-20), **Rainer Grimm**, 2017
- [Lambdas: The Functional Programming Companion of Modern C++](https://medium.com/@DakshHub/lambdas-the-companion-of-modern-c-b7dfd43b5abb), **Daksh**, 2018
- [Functional Programming in C++](https://www.codeproject.com/Articles/1267996/Functional-Programming-in-Cplusplus), **MehreenTahir**, 2018
- [Introduction to Functional programming in C++](http://www2.lawrence.edu/fast/GREGGJ/CMSC270/functional.html), ?, ?
- [Lambda-style anonymous functions for C++ in less than 500 lines of code](http://matt.might.net/articles/lambda-style-anonymous-functions-from-c++-templates/), **Matthew Might**, ?
- [8 essential patterns you should know about functional programming in C++14](https://nalaginrut.com/archives/2019/10/31/8%20essential%20patterns%20you%20should%20know%20about%20functional%20programming%20in%20c%2b%2b14), **Nala Ginrut**, 2019
#### Monads
- [A word on Haskell Monads and C++](http://newartisans.com/2010/07/a-word-on-haskell-monads-and-c/), **John Wiegley**, 2010
- [Monads in C++](https://bartoszmilewski.com/2011/07/11/monads-in-c/), **Bartosz Milewski**, 2011
- [Monadic parsing in C++](http://yapb-soc.blogspot.com/2012/11/monadic-parsing-in-c.html), **Scott Prager**, 2012
- [An Attempt to Explain Monads in C++](https://izzys.casa/posts/an-attempt-to-explain-monads-in-cxx.html), **Isabella Muerte**, 2014
- [Optional Types and Lightweight Continuation Passing in C++](https://izzys.casa/posts/optional-types-and-lightweight-continuation-passing-in-cxx.html), **Isabella Muerte**, 2014
- [Monads in C++](http://www.modernescpp.com/index.php/monads-in-c), **Rainer Grimm**, 2017
- [The Vector Monad in C++, Without the Ugly Stuff](http://www.fluentcpp.com/2017/07/14/the-vector-monad-in-c-without-the-ugly-stuff), **Jonathan Boccara**, 2017
- [The Vector Monad in C++, Really Without the Ugly Stuff](https://medium.com/@barryrevzin/the-vector-monad-in-c-really-without-the-ugly-stuff-3112137db5d7), **Barry Revzin**, 2017
- [Multiple error handling with the optional monad in C++](https://www.fluentcpp.com/2017/07/04/multiple-error-handling-with-the-optional-monad-in-c/), **Jonathan Boccara**, 2017
- [Free Monads in C++](https://toby-allsopp.github.io/2016/10/12/free-monads-in-cpp.html), **Toby Allsopp**, 2016
- [An Introduction to Monads for C++ Programmers](https://shellblade.net/programming/Functional%20Programming/monad.html), **ShellBlade**
#### Design Concepts and Approaches
- [compile-time iteration with C++20 lambdas](https://vittorioromeo.info/index/blog/cpp20_lambdas_compiletime_for.html), **Vittorio Romeo**, 2018
- [Software Transactional Memory in C++: pure functional approach (Tutorial)](https://gist.github.com/graninas/c7e0a603f3a22c7e85daa4599bf92525), **Alexander Granin**, 2018
## Papers
- [Lambda expressions and closures for C++](http://www.stroustrup.com/N1968-lambda-expressions.pdf), **Jeremiah Willcock**, **Jaakko Järvi**, **John Freeman**, **Bjarne Stroustrup**, 2006
- [C++ lambda expressions and closures](https://core.ac.uk/download/pdf/82307163.pdf), **Jaakko Järvi**, **John Freeman**, 2008
- [Functional Style in C++: Closures, Late Binding, and Lambda Abstractions](http://okmij.org/ftp/cpp-digest/Functional-Cpp.html), ?, 1999
- [A proposal to add lambda functions to the C++ standard](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1958.pdf), **Valentin Samko**, 2006
- [Persistence for the Masses: RRB-Vectors in a Systems Language](https://public.sinusoid.es/misc/immer/immer-icfp17.pdf), **Juan Pedro Bolívar Puente**
- [Constexpr Lambda](https://isocpp.org/files/papers/N4487.pdf), 2015
- [C++ Monadic interface (Proposal P0650R2)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0650r2.pdf), **Vicente J. Botet Escribá**, 2018
- [Functional Concepts in C++](http://www.cs.nott.ac.uk/~psznhn/TFP2006/Papers/25-RaufBergerSetzer-FunctionalConceptsInC++.pdf), **Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer**
- [Functional Programming in C++](https://people.cs.umass.edu/~yannis/fc++/fc++.main.pdf), **Brian McNamara**, **Yannis Smaragdakis**
- [Abbreviated Lambdas for Fun and Profit](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0573r1.html), 2017
## Blogs
- [Functional C++. Abusing the type system like never before. (Blog)](https://functionalcpp.wordpress.com/), ?
* [Function Traits](https://functionalcpp.wordpress.com/2013/08/05/function-traits/), 2013
* [Function Composition](https://functionalcpp.wordpress.com/2013/08/09/function-composition/), 2013
* [Continuation Passing Style](https://functionalcpp.wordpress.com/2013/11/19/continuation-passing-style/), 2013
* [Composing Continuations](https://functionalcpp.wordpress.com/2015/01/19/composing-continuations/), 2015
* And more...
- [C++ Truths (Blog)](http://cpptruths.blogspot.com/), **Sumant Tambe**
* [Understanding Fold Expressions](http://cpptruths.blogspot.com/2016/12/understanding-fold-expressions.html), 2016
* [Folding Functions](http://cpptruths.blogspot.com/2016/12/folding-functions.html), 2016
* [Dependently-typed Curried printf in C++](http://cpptruths.blogspot.com/2016/11/dependently-typed-curried-printf.html?m=1), 2016
* [Folding Monadic Functions](http://cpptruths.blogspot.com/2017/01/folding-monadic-functions.html?m=1), 2017
* And more...
## Talks and Screencasts
#### Talks
- **Bartosz Milewski** talks
* [Functional Patterns in C++, 1. Functors](https://www.youtube.com/watch?v=ph7qt0pkPkc), 2012
* [Functional Patterns in C++, 2. Currying, Applicative](https://www.youtube.com/watch?v=Hx9jojeBj6w), 2012
* [Functional Patterns in C++, 3. Async API, Monoid, Monad](https://www.youtube.com/watch?v=ozN6XxsAF84), 2012
* [Compile-Time/Run-Time Functional Programming in C++](https://www.youtube.com/watch?v=WtHWFoKf8o0), **Bartosz Milewski**, **Eric Niebler**, BoostCon, 2012
* [Haskell -- The Pseudocode Language for C++ Template Metaprogramming (Part 1)](https://www.youtube.com/watch?v=GjhsSzRtTGY), BoostCon, 2013
* [Haskell -- The Pseudocode Language for C++ Template Metaprogramming (Part 2)](https://www.youtube.com/watch?v=_uJMKxmoo68), BoostCon, 2013
* [Re-discovering monads in C++](https://youtu.be/tc8w8MbJQNs?t=13003), C++ User Group Novosibirsk, 2014
* [Functional techniques in C++](https://www.youtube.com/watch?v=olZ9SXeUmsU), CDays14, 2014
* [Categories for the Working C++ Programmer](https://www.youtube.com/watch?v=eCUfzvz7Z20), C++ Russia, 2015
* [Monads for C++](https://www.youtube.com/watch?v=vkcxgagQ4bM), itCppCon17, 2017
- **Eric Niebler** talks
* [Compile-Time/Run-Time Functional Programming in C++](https://www.youtube.com/watch?v=WtHWFoKf8o0), **Bartosz Milewski**, **Eric Niebler**, BoostCon, 2012
* [Ranges for the Standard Library](https://www.youtube.com/watch?v=mFUXNMfaciE), CppCon, 2015
* [Ranges for the Standard Library](https://www.youtube.com/watch?v=gOKHcQad7xE), C++ Siberia, 2015
* [Keynote: Ranges for the Standard Library](https://www.youtube.com/watch?v=zsSErwT1S80), C++Now, 2015
* [STL Concepts and Ranges](https://www.youtube.com/watch?v=uXBcwcF3ln4), Northwest C++ Users Group, 2015
* [Introducing the Ranges TS](https://www.youtube.com/watch?v=LNXkPh3Z418), code::dive, 2017
- **Ivan Čukić** talks
* [Functional reactive programming in C++](https://www.youtube.com/watch?v=a2MmURgc6cU), Meeting C++, 2016
* [Functional Programming: data](https://www.youtube.com/watch?v=iYipZw4tS-A), Meeting C++, 2017
* [Atom Heart Monad: FRP in C++ (Keynote)](https://www.youtube.com/watch?v=udifvhJ-3B0), C++ Siberia, 2017
* [Atom Heart Monad: FRP in C++](https://www.youtube.com/watch?v=_Ji1HyZxXvo), Curry On!, 2018
* [New C++ features for writing DSLs](https://youtu.be/dpq3o6i1Cz8?t=460), C++ Siberia, 2019
- **Juan Pedro Bolívar Puente** talks
* [Transducers: from Clojure to C++](https://www.youtube.com/watch?v=vohGJjGxtJQ), CppCon, 2015
* [Postmodern immutable data structures](https://www.youtube.com/watch?v=sPhpelUfu8Q), CppCon, 2017
* [Postmodern immutable data structures](https://www.youtube.com/watch?v=ZsryQp0UAC8), C++Now, 2017
* [Most valuable values](https://www.youtube.com/watch?v=_oBx_NbLghY), CppCon, 2018
* [Squaring the circle: value oriented design in an object oriented system](https://www.youtube.com/watch?v=e2-FRFEx8CA), C++ Russia Piter, 2019
- **Phil Nash** talks
* [Functional C++ for Fun and Profit](https://www.youtube.com/watch?v=YgcUuYCCV14), **Phil Nash**, St. Petersburg C++ User Group, 2016
* [What Could Possibly Go Wrong?: A Tale of Expectations and Exceptions](https://www.youtube.com/watch?v=GC4cp4U2f2E), **Simon Brand**, **Phil Nash**, CppCon, 2018
- **David Sankel** talks
* [Functional Programming in C++](https://www.youtube.com/watch?v=PVjaFMwV4x0), BoostCon, 2013
* [Intro to Functional Programming](https://www.youtube.com/watch?v=uHFUpFhWGJs), C++ Now, 2014
* [Functional Design Explained](https://www.youtube.com/watch?v=x9mIAT-CAwA), CppCon, 2015
* [The Mathematical Underpinnings of Promises in C++](https://www.youtube.com/watch?v=2OY0Zn3oBCE), BoostCon, 2017
- [Practical Functional Programming in C++](https://channel9.msdn.com/Events/CPP/C-PP-Con-2014/009-Practical-Functional-Programming-in-CPP), **Bryce Adelstein-Lelbach**, CppCon, 2014
- [Applying functional programming in code design](https://www.youtube.com/watch?v=-ROXIG4raiA), **Michał Dominiak**, CppCon, 2015
- [Functional Programming in C++](https://www.youtube.com/watch?v=SCC23W3CQc8), **Nicola Gigante**, Meeting C++ 2015
- [Functional programming: functors and monads](https://www.youtube.com/watch?v=2FbeGrbXe2M), **Michał Dominiak**, CppCon, 2015
- [Goodbye metaprogramming, and hello functional](https://www.youtube.com/watch?v=fH2WBvI8dbk), **Paul Fultz**, 2016
- [Functional C++](https://www.youtube.com/watch?v=CIg6eyJv4dk&t=169s), **Kevlin Henney**, BUILD STUFF, 2017
- [Functional Programming Tools in C++](https://vimeo.com/246623471), **Sumant Tambe**, SF Bay Area ACCU, 2017
- [**constexpr** ALL the Things! (Combinatorial parsers)](https://www.youtube.com/watch?v=PJwd4JLYJJY), **Ben Deane**, **Jason Turner**, CppCon, 2017
- [What Could Possibly Go Wrong?: A Tale of Expectations and Exceptions](https://www.youtube.com/watch?v=GC4cp4U2f2E), **Simon Brand**, **Phil Nash**, CppCon, 2018
- [Generalized Full Duplex Messaging](https://www.youtube.com/watch?v=UalTAQmP3iE), **Jason Rice**, C++ Now, 2018
#### Screencasts
- [Learning Modern C++ Functional Programming: Understand Essential Part](https://www.youtube.com/watch?v=W1IMyrqeqM4), Packt Video, 2018
- [Functional Programming in C++ Using Lambda Expressions](https://www.youtube.com/watch?v=58BrFvjNhWY), CodesBay, 2018
## Cources
- [Functional Programming using C++ (1/27) - Introducing functional programming](https://www.youtube.com/watch?v=jD8Tu1tqvZo), **Tobias Hermann**, 2017
- [Functional Programming using C++ (2/27) - Correctness follows from expressiveness](https://www.youtube.com/watch?v=27tFyKc6g3U), **Tobias Hermann**, 2017
## QA
#### StackOverflow Questions
- [Functional Programming in C++](https://stackoverflow.com/questions/1981400/functional-programming-in-c)
- [What can C++ offer as far as functional programming?](https://stackoverflow.com/questions/21471836/what-can-c-offer-as-far-as-functional-programming)
- [Monad interface in C++](https://stackoverflow.com/questions/39725190/monad-interface-in-c)
- [C++ Design: Functional Programming vs OOP](https://softwareengineering.stackexchange.com/questions/180522/c-design-functional-programming-vs-oop)
- [Persistent data structures in c++](https://stackoverflow.com/questions/4394399/persistent-data-structures-in-c)
#### Quora Questions
- [Is C++ is a functional programming language or not?](https://www.quora.com/Is-C++-is-a-functional-programming-language-or-not)
- [Can C++ be used for functional programming?](https://www.quora.com/Can-C++-be-used-for-functional-programming)
---
# Russian Materials
## Articles (Rus)
#### Basics (Rus)
- [Функциональное программирование и c++ на практике](https://habr.com/post/324518/), **Никита Черный aka nikitablack**, 2017
* [Functional programming in c++ by example (Eng)](https://nikitablack.github.io/2017/03/23/Functional-programming-in-c-by-example.html), **Никита Черный aka nikitablack**, 2017
- [Каррирование и частичное применение на C++14 (Currying and partial application in C++14)](https://habr.com/post/340722/), **Матвей Черевко**, 2017
#### Monads (Rus)
- [Монады и do-нотация в C++ (Monads and do-notation in C++)](https://habr.com/post/205026/), **stepic777**, 2013
- [Использование монад в С++. Часть 1: монада списка (Using monads in C++. Part 1: The List monad)](https://habr.com/company/infopulse/blog/260809/), **Владимир aka tangro**, 2015
- [Монада Maybe на языке C++ (The Maybe monad in C++)](https://nesteruk.wordpress.com/2015/12/24/maybe-monad-cpp/), **Дмитpий Hecтepук**, 2015
#### Design Concepts and Approaches (Rus)
## Talks and Screencasts (Rus)
#### Talks (Rus)
- [Эволюция метапрограммирования: как правильно работать со списками типов](https://www.youtube.com/watch?v=IF51Gsu3Cec&list=PLZN9ZGiWZoZof_AvWub4hAk6Yg4U5rTpT&index=8), **Олег Фатхиев**, C++ Siberia 2019
- [Элементы функционального программирования в современном С++](https://www.youtube.com/watch?v=AVpCdZ_RrpA), **Павел Кретов**, DataArt Online
- **Alexander Granin** talks
* [Функциональный и декларативный дизайн на С++ (Functional and Declarative Design in C++)](https://youtu.be/tc8w8MbJQNs?t=9370), C++ User Group Novosibirsk, 2014
* [Функциональный микроскоп: линзы в С++ (Functional Microscope: Lenses in C++)](https://www.youtube.com/watch?v=7vyNRD1TRYs), C++ Siberia, 2015
* [Функциональная "Игра Жизнь": параллельные клеточные автоматы и комонады в С++ (Functional 'Game of Life': Parallel Cellular Automata and Comonads in C++)](https://www.youtube.com/watch?v=iKrnGSkWPnw), C++ Russia, 2016
* [Функциональный подход к Software Transactional Memory в С++ (Pure Functional Approach to Software Transactional Memory in C++)](https://www.youtube.com/watch?v=VHZPcz8HwZs), C++ Russia, 2018
* [Настоящее и будущее функционального программирования на C++ (The Present and The Future of Functional Programming in C++)](https://www.youtube.com/watch?v=BEmwnPGfcTU&list=PLZN9ZGiWZoZof_AvWub4hAk6Yg4U5rTpT), Keynote, C++ Siberia 2019
* [Монадические парсеры (Monadic Parsers)](https://www.youtube.com/watch?v=q39PHTJDaLE), C++ Russia 2019 Moscow
---
# Projects
### Libraries
| Library | Description | Author |
|-------------------------------------------------------------|----------------------------------------------------------------------------------|---------------------------|
| [Boost.Hana](https://boostorg.github.io/hana) | Boost.Hana is a library with concepts borrowed from category theory | ? |
| [optional](https://github.com/TartanLlama/optional) | C++11/14/17 std::optional with functional-style extensions and reference support | Simon Brand |
| [expected](https://github.com/TartanLlama/expected) | C++11/14/17 std::expected with functional-style extensions | Simon Brand |
| [FTL](https://github.com/beark/ftl) | C++ template library for fans of functional programming | beark |
| [LIBF++](https://github.com/GJDuck/libf) | C++ as a Pure Functional Programming Language | GJDuck |
| [Immer](https://github.com/arximboldi/immer) | Postmodern immutable and persistent data structures for C++ | Juan Pedro Bolívar Puente |
| [Lager](https://github.com/arximboldi/lager) | Library for functional interactive C++ programs // Redux for C++ | Juan Pedro Bolívar Puente |
| [cpp_stm_free](https://github.com/graninas/cpp_stm_free) | Composable monadic STM for C++ on Free monads | Alexander Granin |
| [Cat](https://github.com/awgn/cat) | Cat: C++14/17 functional library | Nicola Bonelli |
| [neither](https://github.com/loopperfect/neither) | A functional implementation of Either in C++14. | LoopPerfect |
| [FunctionalPlus](https://github.com/Dobiasd/FunctionalPlus) | Functional Programming Library for C++. Write concise and readable C++ code. | Tobias Hermann |
| [Immutable++](https://github.com/rsms/immutable-cpp) | Persistent immutable data structures providing practically O(1) for appends, updates and lookups based on work by Rich Hickey and by consequence Phil Bagwell. | Rasmus Andersson |
| [Okasaki](https://github.com/BartoszMilewski/Okasaki) | Functional data structures in C++ | Bartosz Milewski |
| [Asyncro](https://github.com/dkormalev/asynqro) | Monadic Futures | Dennis Kormalev |
| [Cefal](https://github.com/dkormalev/cefal) | (Concepts-enabled) Functional Abstraction Layer for C++ | Dennis Kormalev |
### Showcase Projects
| Project | Description | Author |
|---------------------------------------------------------------------------|------------------------------------------------------------------------------------------------------------------------------------------------------|---------------------------|
| [Ewig](https://github.com/arximboldi/ewig) | A mini-emacs built using C++ in a functional way, using the Redux architecture. Supports efficiently editing huge file and concurrent loading/saving | Juan Pedro Bolívar Puente |
| [Amber](https://github.com/graninas/Amber) | The 'Amber' game project demonstranting functional and declarative design in C++. | Alexander Granin |
| [cpp_lenses](https://github.com/graninas/cpp_lenses) | Functional lenses demo in C++ | Alexander Granin |
| [CMLife](https://github.com/graninas/CMLife) | Functional Game of Life in C++. Based on functional declarative design and functional idioms (comonads, zippers etc.) | Alexander Granin |
| [coroutine_monad](https://github.com/toby-allsopp/coroutine_monad) | Using coroutines for monadic composition | Toby Allsopp |
| [Monadic parsing in C++](https://gist.github.com/splinterofchaos/4112114) | Monadic parsers | Scott Prager |
| [monad_do](https://github.com/evgeny-panasyuk/monad_do) | Emulation of DO syntax sugar for monads in C++ | Evgeny Panasyuk |
| [kari.hpp](https://github.com/BlackMATov/kari.hpp) | Experimental library for currying in C++14 | Matvey Cherevko |
| [Lambda.cpp](http://matt.might.net/articles/lambda-style-anonymous-functions-from-c++-templates/Lambda.cpp) | Lambdas PoC implementation | Matthew Might |
| [Knuth's arrow notation](https://gist.github.com/graninas/358f9c7b80944b7e6a3fe56c6fe09a57) | Implemented in two variants: constexpr functions and templates | Alexander Granin |
| [Constexpr monadic parsers ("Constexpr all the things")](https://github.com/lefticus/constexpr_all_the_things) | See also the talk "Constexpr all the things". | Ben Deane, Jason Turner |
| [cpp_parsec_free](https://github.com/graninas/cpp_parsec_free) | Monadic parsers (based on Free monads) | Alexander Granin |
---
# Misc
### C++ FP Experts
The list of authors of the materials presented here, listed alphabetically. (Some authors can be missing by occasion).
_Please, pm me if you don't want to be in this list. Or if you want to be there._
- **Abel Sinkovics**
- **Alexander Granin**
- **Anders Schau Knatten**
- **Barry Revzin**
- **Bartosz Milewski**
- **Ben Deane**
- **Brian McNamara**
- **Bryce Adelstein-Lelbach**
- **Chris Weed**
- **David Sankel**
- **Dennis Kormalev**
- **Eric Niebler**
- **Evgeny Panasyuk**
- **Isabella Muerte**
- **Ivan Čukić**
- **Jason Rice**
- **Jason Turner**
- **John Carmack**
- **John Wiegley**
- **Jonathan Boccara**
- **Juan Pedro Bolívar Puente**
- **Kevlin Henney**
- **Kiryll Shynharow**
- **Matthew Might**
- **Michał Dominiak**
- **Nala Ginrut**
- **Nicola Gigante**
- **Nicola Bonelli**
- **Paul Fultz**
- **Phil Nash**
- **Rainer Grimm**
- **Rasmus Andersson**
- **Scott Prager**
- **Simon Brand**
- **Stuart Golodetz**
- **Sumant Tambe**
- **Tobias Hermann**
- **Toby Allsopp**
- **Vicente J. Botet Escribá**
- **Vittorio Romeo**
- **Wisnu Anggoro**
- **Никита Черный aka nikitablack**
- **stepic777**
- **Олег Фатхиев**
- **Павел Кретов**
- **Владимир aka tangro**
- **Дмитpий Hecтepук**
- **Матвей Черевко aka BlackMATov**