Функции высшего порядка с шаблонами?

Я уже некоторое время занимаюсь программированием на Clojure (функциональном языке), и мне нужно использовать C ++ для класса. Я пытался использовать некоторые функции, которые мне нравились в Clojure (например, функции высшего порядка, лямбда-выражения, поток аргументов, динамическая типизация и т. Д.), Но я натыкался на некоторые кирпичные стены.

Во-первых, я реализовал функцию get, которая принимает два аргумента:

1. коллекция (вектор, список, хеш-карта и т. д.) и
2. индекс

И возвращает элемент по этому индексу.

Я также реализовал функцию conj, которая принимает два аргумента:

1. коллекция (вектор, список, очередь и т. д.) и
2. элемент / объект (любого типа коллекция)

И возвращает коллекцию с добавленным элементом. В случае векторов это в основном то же самое, что и push_back.

Теперь я хочу иметь возможность «пересылать» или «передавать» аргументы, используя функции высшего порядка, например:

using std::vector;
vector<double> my_vec;

forward(my_vec,    // take "my_vec"
        conj(0.1), // "push" the value of 0.1 to the back of "my_vec"
        get(0),    // retrieve the first value
        inc);      // increment that value

Это то же самое, что и inc(get(conj(my_vec, 0.1), 0);, но намного (!) Более читабельно.

Возвращаемое значение forward в этом случае должно быть 1.1.

Чтобы функция forward работала, все аргументы после начального аргумента должны быть функциями высшего порядка. То есть они должны работать аналогично следующему:

template<typename Func>
Func get(int i){
  return [i](vector<boost::any> coll)
           -> boost::optional<boost::any> {
             return get(coll, i);
           };
}

Однако компилятор не может определить тип возвращаемой лямбда-функции. Кроме того, я предполагаю, основываясь на моем крайне ограниченном опыте работы с boost::any, что он не сможет преобразовать vector<double> в vector<boost::any>, несмотря на очевидные утверждения boost::any что он может действовать как замена практически любому типу.

Я хочу, чтобы функция get была общей, поэтому я не хочу использовать boost::function<double (vector <double>, int)> или какой-либо подобный специфический набор текста.

Кроме того, я использую boost::optional вместо vector для возврата null_ptr, если индекс, запрошенный от get, выходит за границы.

Вот как выглядит моя функция forward:

template <typename T1>
optional<T1> forward (T1 expr1){
  return expr1;
}
template <typename T1, typename T2>
optional<T1> forward (T1 expr1, T2 expr2){
  return forward(expr2(expr1));
}
template <typename T1, typename T2, typename T3>
optional<T1> forward (T1 expr1, T2 expr2, T3 expr3){
  return forward(expr2(expr1), expr3);
}

и т. д. ...

Есть идеи, как заставить эту функцию forward работать?

Я также почти уверен, что есть более эффективный способ реализовать это, чем делать перегрузку по арности, как у меня.