A post on the future of programming languages without mentioning Agda, Coq, or OMeta? I think we are just now getting beyond the "low-hanging fruit" era of pro

A post on the future of programming languages without mentioning Agda, Coq, or OMeta? I think we are just now getting beyond the "low-hanging fruit" era of programming languages.