Google's Experimental Language for Typed Numerical Computing: dex-lang

Python is great for math, but runtime type errors are a nightmare. Meet dex-lang, Google Research's experimental Haskell-style language. It delivers typed, functional array processing with built-in mathematical transformations like differentiation. Plus, you control compilation to parallel hardware via LLVM. It’s the future of numerical computing, proving rigorous type systems can safely optimize math without sacrificing performance.