Have you considered Haskell or other functional languages? Haskell is often the favorite of Math-ier minds.