deep learning https://colah.github.io/posts/2015-09-NN-Types-FP/ Differentiable programming https://blog.jle.im/entry/purely-functional-typed-models-1.html https://fluxml.ai/tutorials/2020/09/15/deep-learning-flux.html