Средства и методы разработки

Все это от лукавого. Ц++ становиться покусано ФП. Лямбда придумали как функции высшего порядка и для использования каринга. Както так: 

auto add_a_b = [](auto a, auto b){ return a + b; };
auto add_one = curry(add_a_b)(1);
add_one(10); // == 11
add_one(100); // == 101

Осталось отказаться от переменных, не использовать циклы только рекурсию максимально переложить все на компилятор и тогда точно в программах не будет ошибок.