You could try Cython and Lush. An ML dialect for ML would have been nice, but doesn't exist.