The present and the future of functional programming in c++

The Present and The Future
of Functional Programming in C++
Alexander Granin
graninas@gmail.com
C++ Siberia 2019

Eric Niebler, C++ Siberia 2015
Ranges for the Standard Library

Bartosz Milewski, С++ User Group 2014
Re-discovering monads in C++

Bartosz Milewski, С++ User Group 2014
Re-discovering monads in C++
Ivan Čukić, C++ Siberia 2017
Atom heart monad (FRP in C++)

My talks about Functional Programming in C++
С++ User Group 2014
Functional and Declarative Design in C++

С++ Siberia 2015
Functional Microscope: Lenses in C++

С++ Siberia 2015
С++ Russia 2016
Functional “Life”: Parallel Cellular Automata and Comonads in C++

С++ Siberia 2015
С++ Russia 2016
Functional “Life”: Parallel Cellular Automata and Comonads in C++
С++ Russia 2018
Functional Approach to Software Transactional Memory in C++

struct Presentation
{
Philosophy of Functional Programming in C++
Elements of Functional Programming in C++
Functional Design, Patterns and Approaches In C++
Limitations of Functional Programming in C++
};

Philosophy

instructions, jumps, loops
-- unstructured programming
14

sequence, selection, iteration
-- structured programming
15

sequence, selection, iteration
declaration, application, recursion
-- functional programming
-- structured programming
16

class A {}
template<>
constexpr
#define
procedural programming
metaprogramming
functional programming
object-oriented programming
int main()
17

C++ -> C++11/14 -> C++17/20Abstract C++ developer:
C++ Developer Evolution

C++ -> C++11/14 -> C++17/20
C++ -> Pain! -> C++11/14 -> My brain! -> C++17/20
Abstract C++ developer:
Real C++ developer:

C++ -> C++11/14 -> C++17/20
C++ -> Pain! -> C++11/14 -> My brain! -> C++17/20
C++ -> WTF -> Go
Real C++ developer:
Beginner C++ developer:

C++ -> C++11/14 -> C++17/20
C++ -> Pain! -> C++11/14 -> My brain! -> C++17/20
C++ -> WTF -> Go
C++ -> C++11/14 -> Why?!! -> Haskell -> C++17/20
Real C++ developer:
Modern C++ developer:

C++ -> C++11/14 -> C++17/20
C++ -> Pain! -> C++11/14 -> My brain! -> C++17/20
C++ -> WTF -> Go
C++ -> C++11/14 -> Why?!! -> Haskell -> C++17/20
C++ -> C++11/14 -> Uh-Oh -> Rust
Real C++ developer:
Tired C++ developer:

C++ -> C++11/14 -> C++17/20
C++ -> Pain! -> C++11/14 -> My brain! -> C++17/20
C++ -> WTF -> Go
C++ -> C++11/14 -> Why?!! -> Haskell -> C++17/20
C++ -> C++11/14 -> Uh-Oh -> Rust
C++98 -> Please, leave me alone -> C++98
Real C++ developer:
Tired C++ developer:
Old School C++ developer:

Functional programming in my C++?!!
25

Verbosity of imperative and OO code FP data types and constructs
algebraic data types, higher order functions, lambdas, closures
pattern-matching, currying, partial application
26

Verbosity of imperative and OO code
Unsafety, bugs and lack or guarantees
FP data types and constructs
Reliable FP concepts, guarantees
purity, immutability, side effects control, type level programming
recursion, range-based iteration, monoids, functors, monads...
27

Leaking and heavy abstractions
Declarative and functional design
domain specific languages, persistent data types
laziness, composition, combinators, first class functions
28

Leaking and heavy abstractions
Complexity of multithreaded programs
Declarative and functional design
Functional approaches
functional reactive programming, software transactional memory,
async / par / future monad, automatic parallelism
29

Elements

𝝺ambdas
[](auto i) { return i + 1; }
i -> i + 1
i => i + 1
lambda i: i + 1
| i | -> i + 1

𝝺ambdas in C++
<>(int x, int y) -> int {return x + y;}
[|b|]() { return |b| -> set_text("World"); }
i => i + 1
[]<>(auto i) { return i + 1; }

𝝺ambdas in C++
Idea of the feature
Standard issuing
Feature adoption
Feature improvements
== You are standing here ==
i => i + 1

𝝺ambdas in C++
Idea of the feature
Standard issuing
Feature adoption
2011
...2000...
2014, 2017
...2011...
2020
2019
i => i + 1

Idea of the feature
Pondering and thinking
Reference implementation
Discussions in Committee
Drafting in Standard
Implementation in compilers
Standard issuing
Feature adoption
𝝺ambdas in C++
2011
...2000...
i => i + 1
2014, 2017
...2011...
2008 - 2011
2006 - 2008
2020
2019

What is 𝝺ambda?
And who is
𝝺ambdaman? 36

“ 𝝺ambda is just an object with operator() overloaded”
std::vector<int> v {4, 2, 4};
struct Summator
{
int sum = 0;
void operator()(int i) {
sum += i;
}
};
Summator summator = std::for_each(v.begin(), v.end(), Summator());
std::cout << summator.sum; // 10
37

“ 𝝺ambda is an anonymous function”
std::vector<int> v {4, 2, 4};
auto sum = 0;
std::for_each(v.begin(), v.end(), [&sum](int i) { sum += i; });
std::cout << sum; // 10
38

“ 𝝺ambda is an universal combinator”
auto I = [](auto x) {
return x;
};
auto K = [](auto x) {
return [=](auto y) {
return x;
};
};
auto S = [](auto x) {
return [=](auto y) {
return [=](auto z) {
return (x(z))(y(z));
};
};
};
Ix = x
Kxy = x
Sxyz = xz(yz)
39

𝝺ambdas evolution
auto mul2 = [](int i) { return i * 2; }
auto mul2 = [](auto i) { return i * 2; }
constexpr auto mul2 = [](auto i) { return i * 2; }
auto mul2 = []<typename T>(T i) { return i * 2; }
auto mul2 = i => i * 2;
C++11
C++14
C++17
C++20
C++??
Lambda expressions
Polymorphic lambdas
Constexpr lambdas
“Familiar” syntax
Abbreviated syntax
40

Pure Functional Programming in C++
42

Knuth’s Up-Arrow Notation
43

44

45

46

47
https://www.youtube.com/watch?v=PJwd4JLYJJY
constexpr ALL the Things!

Recursive constexpr pow() function
using UInt = uint64_t;
constexpr UInt pow(UInt a, UInt b) {
return b == 0
? 1
: a * pow(a, b - 1);
}
48

Recursive constexpr tower() function
return b == 0
? 1
: a * pow(a, b - 1);
}
constexpr UInt tower(UInt a, UInt b) {
return b == 0
? throw std::invalid_argument("b == 0")
: b == 1
? a
: pow(a, tower(a, b - 1));
}
49

Throwing exception at compile time?
return b == 0
? 1
: a * pow(a, b - 1);
}
constexpr UInt tower(UInt a, UInt b) {
return b == 0
: b == 1
? a
}
50

constexpr UInt arr_impl(bool brackets_rec, UInt cnt, UInt a, UInt n, UInt b)
{
return brackets_rec
? (cnt == 0 ? ... ... ...) // recursion by brackets
: (n == 1
? pow(a, b)
: n == 2
? tower(a, b)
: arr_impl(true, b - 1, a, n - 1, a)); // recursion by arrows
}
Double recursion constexpr arr_impl() function
52

constexpr UInt arr(UInt a, UInt n, UInt b)
{
return arr_impl(false, 0, a, n, b);
}
constexpr UInt x1 = arr(3, 2, 3); // Compile-time evaluated
UInt x2 = arr(3, 2, 3); // Has to be compile-time evaluated
// 3 ↑↑ 3 = 7625597484987
Evaluation
53

Pure Template Functional Programming in C++
54

Template Pow “function”
template <UInt A, UInt N>
struct Pow
{
static constexpr UInt value = A * Pow<A, N - 1>::value;
};
template <UInt A>
struct Pow<A, 0>
{
static constexpr UInt value = 1;
};
55

Template Pow “function”
template <UInt A, UInt N>
struct Pow
{
static constexpr UInt value = A * Pow<A, N - 1>::value;
};
template <UInt A>
struct Pow<A, 0>
{
};
56
“Pattern matching”
“Recursion”

Template Tower “function”
template <UInt A, UInt B>
struct Tower
{
static constexpr UInt value = Pow<A, Tower<A, B - 1>::value>::value;
};
template <UInt A>
struct Tower<A, 1>
{
static constexpr UInt value = A;
};
57

Template ArrImpl “function”
template <bool brackets_rec, UInt C, UInt A, UInt S, UInt B>
struct ArrImpl
{
};
template <UInt C, UInt A, UInt S, UInt B>
struct ArrImpl<true, C, A, S, B>
{
static constexpr UInt value
= ArrImpl<false, 0, A,
ArrImpl<true, C - 1, A, S, B>::value,
S>::value;
};
... // More template code 58

“Evaluation”
template <UInt A, UInt S, UInt B>
struct Arr
{
static constexpr UInt value = ArrImpl<false, 0, A, S, B>::value;
};
auto result = Arr<3, 2, 3>::value; // 3 ↑↑ 3 = 7625597484987
59

Template ⇨ constexpr = 👍
struct Arr
{
static constexpr UInt value = arr_impl(false, 0, A, S, B);
};
60

Constexpr ⇨ template = ☠
struct Arr
{
};
// Won’t compile:
constexpr UInt arr(UInt a, UInt s, UInt b)
{
return ArrImpl<false, 0, a, s, b>::value;
}
61

Constexpr ⇨ template = ☠
struct Arr
{
};
// Won’t compile:
constexpr UInt arr(UInt a, UInt s, UInt b)
{
return ArrImpl<false, 0, a, s, b>::value;
}
62
Dependent types??

struct Arr
{
};
constexpr UInt arr()
{
return ArrImpl<false, 0, A, S, B>::value;
}
Template constexpr!
63

65https://www.youtube.com/watch?v=iWDjoD3MdXs

expected<T, E>: Proposal P0323R2
expected<double, error_condition>
safe_divide(double i, double j)
{
if (j == 0)
{
return make_unexpected(arithmetic_error::divide_by_zero);
}
else
{
return i / j;
}
}
66

template <typename T, typename E>
using Expected = std::variant<T, E>;
enum class Errors {
ZeroTowerError = 0,
ZeroDivisionError = 1
};
using SafeInt = Expected<UInt, Errors>;
constexpr SafeInt make_pure (const UInt& v) { return { v }; }
constexpr SafeInt make_error(const Errors& e) { return { e }; }
Custom Expected<T, E>
67
Sum type using std::variant

enum class Errors {
ZeroTowerError = 0,
};
68
Supported errors & alias

enum class Errors {
ZeroTowerError = 0,
};
69
Constructors

std::variant<UInt, Errors> val = make_pure(10);
UInt result = std::holds_alternative<UInt>(val)
? std::get<UInt>(val)
: throw std::runtime_error("Error got.");
Extracting values of variant<>
70

Pattern Matching?
struct SafeIntVisitor
{
void operator()(const UInt& i) { cout << "Result: " << i; }
void operator()(const Errors& e) { cout << "Error: " << e; }
};
std::visit(SafeIntVisitor(), val);
inspect (val)
{
<UInt> i: cout << "Result: " << i;
<Errors> e: cout << "Error: " << e;
};
71
Visiting std::variant

Pattern Matching!
struct SafeIntVisitor
{
void operator()(const UInt& i) { cout << "Result: " << i; }
void operator()(const Errors& e) { cout << "Error: " << e; }
};
std::visit(SafeIntVisitor(), val);
inspect (val)
{
<UInt> i: cout << "Result: " << i;
<Errors> e: cout << "Error: " << e;
};
72
Pattern matching
Proposal P1260R0

Object-oriented programming is an exceptionally bad
idea which could only have originated in California.
-- Edsger Dijkstra
73

Functional Design,
Patterns and Approaches in C++

Monadic error handling with Expected<T, E>
enum class Errors {
ZeroTowerError = 0,
};
75

UInt pow(UInt a, UInt n) { ... }
UInt tower(UInt a, UInt b) {
return b == 0
: b == 1
? a
}
Unsafe tower() function
76

SafeInt safe_tower(UInt a, UInt b) {
return b == 0
? make_error(Errors::ZeroTowerError)
: b == 1
? a
}
safe_tower() function
77

return b == 0
: b == 1
? a
}
78

return b == 0
: b == 1
? a
}
79

return b == 0
: b == 1
? make_pure(a)
: make_pure(pow(a, tower(a, b - 1)));
}
80

return b == 0
: b == 1
? make_pure(a)
}
81

return b == 0
: b == 1
? make_pure(a)
}
82

return b == 0
: b == 1
? make_pure(a)
: make_pure(pow(a, safe_tower(a, b - 1)));
}
83

return b == 0
: b == 1
? make_pure(a)
}
84

return b == 0
: b == 1
? make_pure(a)
}
85

return b == 0
: b == 1
? make_pure(a)
: mbind(safe_tower(a, b - 1),
[=](UInt v) { return make_pure(pow(a, v)); }
);
}
Monadic binding*
86
* Almost

return b == 0
: b == 1
? make_pure(a)
: mbind(safe_tower(a, b - 1),
[=](UInt v) { return make_pure(pow(a, v)); }
);
}
Monadic binding*
87
* Almost
SafeInt mbind (SafeInt, Func<SafeInt, UInt>)
mbind :: SafeInt -> (UInt -> SafeInt) -> SafeInt

template <typename T, typename E, typename Lambda>
SafeInt mbind(SafeInt safe_val, Lambda lambda)
{
return std::holds_alternative<E>(safe_val)
? safe_val
: lambda(std::get<T>(safe_val));
}
mbind() function
88

auto mul10 = [](UInt i) { return make_pure(i * 10); };
SafeInt v1 = safe_tower(2, 0);
SafeInt v2 = mbind(v1, mul10);
std::visit(SafeIntVisitor(), v1); // error : 0
std::visit(SafeIntVisitor(), v2); // error : 0
Monadic chaining*, error path
89
* Almost

SafeInt v2 = mbind(
mbind(v1, mul10),
mul10
);
std::visit(SafeIntVisitor(), v1); // result: 16
std::visit(SafeIntVisitor(), v2); // result: 1600
Monadic chaining*, success path
90
* Almost

SafeInt v2 = mbind(
mbind(v1, mul10),
mul10
);
SafeInt v2 = do {
UInt i1 <- safe_tower(2, 3);
UInt i2 <- mul10(i1);
return mul10(i2);
}
Monadic chaining*, do-notation dream
91
* Almost
mbind is hidden under “<-”

expected<int, Errors> safe_calculate(int a, int b) {
do {
UInt v <- safe_tower(a, b);
int r <- safe_divide(v, b);
return r;
}
}
Do-notation dreams
UInt v = try safe_tower(a, b);
int r = try safe_divide(v, b);
return r;
}
92
Haskell-like “do”
Proposal P0650R1
“C++ Monadic Interface”

MONADS
It’s what we like memes to be about
93

do {
UInt v <- safe_tower(a, b);
int r <- safe_divide(v, b);
return r;
}
}
Monads everywhere: expected<>
94
mbind :: expected<A, E> -> (A -> expected<B, E>) -> expected<B, E>

optional<int> same_age_persons_count(int personId) {
do {
Person p <- get(personId);
Persons ps <- find( [=](Person x){ return x.age == p.age; } );
return ps.size();
}
}
Monads everywhere: optional<>
95
mbind :: optional<A> -> (A -> optional) -> optional

future<int> calculate(int a, int b) {
do {
int x <- heavy_calc(a);
int y <- heavy_calc(b);
return heavy_calc(x + y);
}
}
Monads everywhere: future<>
96
mbind :: future<A> -> (A -> future) -> future

async<Result> request_person(int personId) {
do {
auto person <- request_person(personId);
auto confs <- request_conferences(personId);
bool saved1 <- save(person);
bool saved2 <- save(confs);
return {saved1 && saved2, person, confs};
}
}
Monads everywhere: async<> (coroutines?)
97
mbind :: async<A> -> (A -> async) -> async

parser<Person> person() {
do {
_ <- many(space);
first_name <- name();
_ <- many(space);
last_name <- name();
return {first_name, last_name};
}
}
Monads everywhere: parser<>
98
mbind :: async<A> -> (A -> async) -> async
mbind :: parser<A> -> (A -> parser) -> parser

100
https://www.youtube.com/watch?v=sPhpelUfu8Q
Postmodern immutable data structures

102
https://www.youtube.com/watch?v=mFUXNMfaciE

103
auto triples =
for_each(iota(1), [](int z) {
return for_each(iota(1, z+1), [=](int x) {
return for_each(iota(x, z+1), [=](int y) {
return yield_if(x*x + y*y == z*z,
make_tuple(x, y, z));
});
});
});
Pythagorean Triples in Ranges

104
auto triples =
});
});
});

105
auto triples =
});
});
});
for(auto triple : triples | view::take(10)) {
cout << '('
<< get<0>(triple) << ','
<< get<1>(triple) << ','
<< get<2>(triple) << ')' << 'n';
}
Output:
(3,4,5)
(6,8,10)
(5,12,13)
(9,12,15)
(8,15,17)
(12,16,20)
(7,24,25)
(15,20,25)
(10,24,26)
(20,21,29)

106
Pythagorean Triples in Ranges, reformatted
auto triples =
for_each(iota(1), [] (int z) { return
for_each(iota(1, z+1), [=](int x) { return
for_each(iota(x, z+1), [=](int y) { return
yield_if(x*x + y*y == z*z, make_tuple(x, y, z));
}); }); });

107
Looks familiar...
auto triples =
for_each(iota(1), [] (int z) { return
for_each(iota(1, z+1), [=](int x) { return
for_each(iota(x, z+1), [=](int y) { return
}); }); });
iota :: list<int>
for_each :: list<int> -> (int -> list<int>) -> list<int>

108
for_each → mbind...
auto triples =
mbind(iota(1), [] (int z) { return
mbind(iota(1, z+1), [=](int x) { return
mbind(iota(x, z+1), [=](int y) { return
}); }); });
iota :: list<int>
for_each :: list<int> -> (int -> list<int>) -> list<int>
mbind :: list<int> -> (int -> list<int>) -> list<int>

109
Monads, again??
auto triples =
}); }); });
auto triples =
do {
int z <- iota(1);
int x <- iota(1, z+1);
int y <- iota(x, z+1);
guard (x*x + y*y == z*z);
return make_tuple(x, y, z);
}

110
auto triples =
}); }); });
auto triples =
do {
int z <- iota(1);
int x <- iota(1, z+1);
int y <- iota(x, z+1);
guard (x*x + y*y == z*z);
return make_tuple(x, y, z);
}
Monadic Pythagorean Triples in Haskell
triples = do
z <- [1..]
x <- [1..z]
y <- [x..z]
guard (x*x + y*y == z*z)
pure (x, y, z)

111
It’s inevitable. This is terrifying.
mbind :: expected<A, E> -> (A -> expected<B, E>) -> expected<B, E> // error handling
mbind :: optional<A> -> (A -> optional) -> optional // absent values
mbind :: future<A> -> (A -> future) -> future // parallelism
mbind :: async<A> -> (A -> async) -> async // callback hell
elimination
mbind :: parser<A> -> (A -> parser) -> parser // parsing
mbind :: list<A> -> (A -> list) -> list // combinatorics
(kind of)
mbind :: reader<A> -> (A -> reader) -> reader // environment data
mbind :: writer<A> -> (A -> writer) -> writer // write-only data
mbind :: state<A> -> (A -> state) -> state // monadic state
mbind :: io<A> -> (A -> io) -> io // effects control

112
for(auto triple : triples | view::take(10)) {
cout << '('
<< get<0>(triple) << ','
<< get<1>(triple) << ','
<< get<2>(triple) << ')' << 'n';
}
Functional composition with ranges
Output:
(3,4,5)
(6,8,10)
(5,12,13)
(9,12,15)
(8,15,17)
(12,16,20)
(7,24,25)
(15,20,25)
(10,24,26)
(20,21,29)

113
for(auto triple : triples | view::take(10)
| view::transform(mul10_middle)) {
cout << '('
<< get<0>(triple) << ','
<< get<1>(triple) << ','
<< get<2>(triple) << ')' << 'n';
}
auto mul10_middle = [](const tuple<int, int, int>& t) {
const auto& [x, y, z] = t;
return make_tuple(x, y * 10, z);
};
Output:
(3,40,5)
(6,80,10)
(5,120,13)
(9,120,15)
(8,150,17)
(12,160,20)
(7,240,25)
(15,200,25)
(10,240,26)
(20,210,29)

114
for(auto triple : triples | view::take(10)
| view::transform(mul10_middle)
| view::reverse) {
cout << '('
<< get<0>(triple) << ','
<< get<1>(triple) << ','
<< get<2>(triple) << ')' << 'n';
}
auto mul10_middle = [](const tuple<int, int, int>& t) {
const auto& [x, y, z] = t;
return make_tuple(x, y * 10, z);
};
Output:
(20,210,29)
(10,240,26)
(15,200,25)
(7,240,25)
(12,160,20)
(8,150,17)
(9,120,15)
(5,120,13)
(6,80,10)
(3,40,5)

Limitations

116
“Problems” of Functional Programming in C++
● Compilation time
● Hard debugging
● Performance

117
Issues of Functional Programming in C++
● Absence of currying
● Dangerous closures
● Lambdas are verbose
● Tuple is extremely verbose

118
Real Problems of Functional Programming in C++
● Poor type system
○ No real Algebraic Data Types
○ No real function type
○ Lambdas have unique types
○ No real pattern matching (yet)
■ Won’t be expression??
○ Type inference is weak
● Composition of functions is complicated
● No native support of monads (in 2019)

119
Real Problems of Functional Programming in C++
C++
● Poor type system
○ No real Algebraic Data Types
○ No real function type
○ Lambdas have unique types
○ No real pattern matching (yet)
■ Won’t be expression??
○ Type inference is weak
● Composition of functions is complicated
● No native support of monads (in 2019)

Prediction for high-level C++
time
High-level C++
adoption
2020
New high-level features
2023
120

121
GitHub List: Functional Programming in C++
https://github.com/graninas/cpp_functional_programming��
● Books
● Articles
● Papers
● Talks
● QA
● Libraries
● Showcase projects

Thanks for watching!
Let’s talk?
C++ Siberia 2019
Alexander Granin
graninas@gmail.com

The present and the future of functional programming in c++

More Related Content

What's hot (20)

Similar to The present and the future of functional programming in c++ (20)

More from Alexander Granin (20)

Recently uploaded (20)

The present and the future of functional programming in c++