Michael DOUBEZ <michael.doubez@free.fr> writes:

> Perhaps FC++. It was proposed as Boost.FC++ but rejected. It
> integrated some Haskell syntax into C++ (along with things like
> currying ...).

Alas, no; I should have been more explicit.

FC++ is a wonderful, or horrendous, depending on your perspective,
example of template magic and the power of C++'s type system -- as are
various other functional programming libraries, such as Spirit and
some Boost libraries -- , but I had in mind a full fledged functional
programming language, not a C++ library. (Incidentally, I seem to
recall FC++'s main claim for fame was its extraordinary support for
higher-order polymorphic functions.)

--
Aatu Koskensilta (aatu.koskensilta@xortec.fi)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus