Существует ли функциональный язык для экосистемы C++?

Язык Felix от Джона Скаллера предназначен для взаимодействия с C++ и обеспечивает функциональную парадигму.

Однако с этим есть проблемы. Функциональные языки предоставляют первоклассные функции, которые позволяют создавать closures: функции, которые захватили и несут значения из среды, в которой они были определены. Это делает невозможным статическое определение времени жизни значений (поскольку закрытие может вывести значение за пределы своей области) и, следовательно, фактически требует сборщика мусора, но C++ не является сборщиком мусора.

C++ не имеет экосистемы в смысле Java или .NET. Там нет ни виртуальной машины, ни даже среды выполнения, есть только узкоспециализированная стандартная библиотека, которая по своей конструкции плохо работает в чисто функциональной среде. C++ даже не имеет стандарта ABI .

Учитывая все обстоятельства, я не уверен, что вы mean/expect.

А, что-то еще. Хотя это, конечно, не то, что вы имели в виду, метапрограммирование шаблонов в C++ является чисто функциональным.

Как уже было сказано, я не совсем уверен насчет C++ 'ecosystem'. Но Haskell имеет внешний интерфейс функций, который позволяет вызывать C функции из Haskell и Haskell функции из C.

Опять же, это C, я не совсем уверен, насколько далеко от C++ FFI...

Так как Scala компилируется в Java байт-код и F# компилируется в .NET байт-код, выполненный для запуска на их соответствующих виртуальных машинах. Правильное сравнение было бы, если бы существовал какой-то функциональный язык, который компилируется в машинный зависимый код, готовый к запуску на компьютере, и да, есть.

Я не думаю, что это было то, что вы имели в виду, но лучшее, что я могу предложить-это FC++ . Boost -это еще одна библиотека, которая имеет множество функций, которые можно распознать как производные от функционального программирования.

Однако я готов поспорить, что там нет 'real' функционального программирования C++: es.

Язык 'D' был разработан как преемник языка C++. Чисто функциональное подмножество D разрабатывается Андреем Александреску для D 2.0. Я предполагаю, что D хорошо взаимодействует с C++.

Я согласен, что я не уверен в экосистеме для C++. OCaml довольно популярен для выполнения функционального программирования за пределами .NET. F# также основано на нем.

Этот вопрос был опубликован в 2008 году. Для справки, C++11 и далее имеют поддержку функционального программирования. См. другое обсуждение, обновленное для этого функционального программирования в C++

C++ может и не быть чисто функциональным языком, но части STL определенно функциональны.

См. Bjarne Stroustrup FAQ (изобретатель c++)