Ask HN: What are you planning to learn next year and why?
21–29 of 29 posts
Re: Ask HN: What are you planning to learn next year and why?
#22- 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.
Re: Ask HN: What are you planning to learn next year and why?
#23Ada. For C replacement (imperative and compiled to ELF) that (a) can link reasonably well through C to other languages, (b) is not entangled scary mess of half-random syntax and historical features (C++), and (c) has a type system that I can lean on instead of constantly keeping an eye on (C) or fight against (Rust's borrow checker).
Re: Ask HN: What are you planning to learn next year and why?
#24Re: Ask HN: What are you planning to learn next year and why?
#25Japanese, because it's difficult and fun. Tech wise I learn enough at work.
Re: Ask HN: What are you planning to learn next year and why?
#26PHP. I have seen a lot of improvements these past years and it feels like a solid choice for backend. I quickly got tired of Python complex syntax and poor performance overall.
Re: Ask HN: What are you planning to learn next year and why?
#27Re: Ask HN: What are you planning to learn next year and why?
#28Ada. For C replacement (imperative and compiled to ELF) that (a) can link reasonably well through C to other languages, (b) is not entangled scary mess of half-random syntax and historical features (C++), and (c) has a type system that I can lean on instead of constantly keeping an eye on (C) or fight against (Rust's borrow checker).
I'm a big fan of Ada, and I dabble with it whenever I can. All of the features you mention are great about it; just be warned that there's not a whole lot of learning material online.
Given that I mostly write network servers for running on Linux/Intel, which is not too popular topic among Ada crowd, I would need to develop my own strategies and patterns even if I got my hands on typical printed materials for Ada.