I think it’s hard to view ML generated code as the future when you see how powerful type-driven development can be with the likes of Idris and others. Perhaps

I think it’s hard to view ML generated code as the future when you see how powerful type-driven development can be with the likes of Idris and others. Perhaps the best approach could use ML within the constraints provided by a type system. Does research like this exist?