I have seen specs calling for Matlab, R, S+, and Mathematica. But my impression is that since the finished product is going to be in a high-performance, low-level language, they don't care what you do your rough-drafting in as long as the finished product is C++. Exception: Jane St. Capital uses Ocaml; one of their top execs is a Lisp fan who has been credited in pg essays.