There is a bit of research going on in the space between programming languages and machine learning. Mostly it is about probabilistic programming and Bayesian m

There is a bit of research going on in the space between programming languages and machine learning. Mostly it is about probabilistic programming and Bayesian methods etc. However, using type theory to assist in writing models is something I am currently looking into. It is an interesting area that has the potential to propel the development of seriously large models.