Actually C++ is the one language you can write type checked Tensorflow/keras chains in that will actually fail to compile rather than give runtime errors when for example arrays don't fit.