I would think Clojure vs. Java would be used given immutability. I like both Haskell and Racket for math, especially this article on geometric algebra with Hask

I would think Clojure vs. Java would be used given immutability. I like both Haskell and Racket for math, especially this article on geometric algebra with Haskell: https://crypto.stanford.edu/~blynn/haskell/ga.html https://crypto.stanford.edu/~blynn/haskell/ga.html I am personally learning Shen[1] because Lisp, optional typing (great type system), and the formal work done within it, and for it in proving, verification and other related endeavors. It seems to tick the Haskell, Lisp, Prolog and logic boxes for me. Its portability is great[2], however, it is still young and building libraries. I am thinking on trying to mimic the DL work done by Dragan Djuric[3] for Clojure in Shen. We'll see how that goes... [1] http://www.shenlanguage.org/ http://www.shenlanguage.org/ [2] https://shen-language.github.io/ https://shen-language.github.io/ [3] https://dragan.rocks/ https://dragan.rocks/