Comment on Ask HN: What are you planning to learn next year and why?Comments−miguelrochefort8y- Logic programming: Datalog, Prolog, Mercury, Eve- Dependently-typed programming: Coq, Agda, Idris- Machine Learning and Artificial IntelligenceI believe that the future of programming is to describe WHAT rather than HOW.
Comments
- 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.