Have you checked Nim? It's the closest thing to static Python that I know of (plus some extras like Lisp inspired macros), and there is some early development o

Have you checked Nim? It's the closest thing to static Python that I know of (plus some extras like Lisp inspired macros), and there is some early development of a machine learning ecosystem (outside of wrappers): https://nim-lang.org/ https://nim-lang.org/ https://github.com/mratsim/Arraymancer https://github.com/mratsim/Arraymancer