Comment by hatmatrix

Julia might have been more practical - also has a type system, symbolic computing, automatic differentiation, etc. And maybe just functional enough.