4 ms·
Dependently typed languages are one example, but there are popular languages with modern type systems and various degrees of popularity. The ML-family comes to
by ameixaseca 7y ago
Dependently typed languages are one example, but there are popular languages with modern type systems and various degrees of popularity. The ML-family comes to mind. Rust is one gaining traction as well.
Keep in mind Python was considered niche 10 years ago.
- rictic 7y agoI'd say Python was niche closer to 20 years ago. According to http://pypl.github.io/PYPL.html http://pypl.github.io/PYPL.html in 2009 Python was about as popular as C# is now, which is my recollection.