3 ms·
- Logic programming: Datalog, Prolog, Mercury, Eve - Dependently-typed programming: Coq, Agda, Idris - Machine Learning and Artificial Intelligence I believe
by miguelrochefort 9y ago
- Logic programming: Datalog, Prolog, Mercury, Eve
- Dependently-typed programming: Coq, Agda, Idris
- Machine Learning and Artificial Intelligence
I believe that the future of programming is to describe WHAT rather than HOW.