I fully agree with you. While I can't speak for Keras, after reading [1] it seems Tensorflow would very much benefit from strong types. You'd easily be able to

I fully agree with you. While I can't speak for Keras, after reading [1] it seems Tensorflow would very much benefit from strong types. You'd easily be able to catch most of the errors presented in the article with higher-kinded and linear types, and maybe you don't even need that much power. [1]: https://jacobbuckman.com/post/tensorflow-the-confusing-parts-1/ https://jacobbuckman.com/post/tensorflow-the-confusing-parts...