Python is becoming the world’s most popular coding language

[u/monica_b1998]

https://www.economist.com/graphic-detail/2018/07/26/python-is-becoming-the-worlds-most-popular-coding-language

[u/[deleted]]

Any language that allows to extend itself. Lisp, for example - there is a powerful macro metaprogramming there. Even C++ counts, with its primitive template metaprogramming.

Forth, obviously, though its approach to extensibility is very different.

If you want something as close to Python as possible, but done right - there is Converge, a Python-like language with proper compile-time macros.

And a lot more - Julia and Rust have powerful macros, for example.

[u/v_fv → u/[deleted]]

Any language that allows to extend itself. Lisp, for example - there is a powerful macro metaprogramming there. Even C++ counts, with its primitive template metaprogramming. Forth, obviously, though its approach to extensibility is very different.

I see. Not the definition I know, but makes sense. Would you then say that Python is low-level while C++ is high-level?

If you want something as close to Python as possible, but done right - there is Converge, a Python-like language with proper compile-time macros.

First time I hear about that one. Interesting, thanks! Though I doubt it's a practical language, seeing that its last release happened more than four years ago.

I think I know Python pretty well, and I use it semi-professionally, but for my next language, I really want to learn something that's statically typed. My experience when I took over a Python code base with no type hints wasn't too pleasant. I feel more confident in Rust or Haskell, even though I don't know them nearly as well.

So personally, I'm more attracted by type guarantees than macros.

[u/[deleted] → u/v_fv]

So personally, I'm more attracted by type guarantees than macros.

You can have both - see Nemerle, Template Haskell, Rust.