I'm a true believer that with C++ and lots of scary templates you can do FP that maps exactly on what you want it to be doing.