Python type annotations
In the 3.x series of the Python language, there’s a powerful, unused feature in the standard: type annotations. As they currently stand, type annotations don’t seem to do anything except set some attributes of the function to which they’re applied; however, I’ve been thinking of a possible use for them: compiling Python to C++.
I’m aware of the amazing Cython project, and various other options when it comes to compiling code for faster Python execution. There’s even Shed Skin, a compiler that takes much of the 2.x Python standard to C++ already. Thus, this idea is nothing more than an excuse for me to learn more computer science, specifically compilers (and lexers and parsers, oh my!). However, besides Python 3.x’s type annotations, there’s one other feature none of these options use:1 C++11, the new C++ standard.
C++11 is quite interesting; Bjarne Stroustrup, the creator of C++, says
Surprisingly, C++11 feels like a new language: The pieces just fit together better than they used to and I find a higher-level style of programming more natural than before and as efficient as ever.
There’s a huge amount of things that have changed in the new standard, but some of my favorites are type inference, lambda functions, and ranged-based for loops. These new features make C++ a much more pleasant language to work with, in my opinion; in fact, I like it so much that I used it for the code portion of my dissertation.
The above-mentioned type inference, coupled with alternative function syntax, are what gave me the (probably silly) idea of trying to compile Python 3.x code to C++11 code.
Here are some slightly suggestive code examples that got me thinking. The idea would be to somehow compile (perfectly valid) Python 3 code like this:
into equivalent2 C++11 code:
Here’s a slightly more involved example: what if we could compile a (very simple) Python class
into a C++11 struct
We can even handle Python lambdas3, to some extent. This,
Admittedly, these aren’t very involved examples; the code is quite short and simple, and they don’t involve translating Python idioms like list comprehensions into C++. I still find them suggestive, though (at least, the first two).
In the long run
In the long run, I doubt this idea is really going to take off; Pythonistas like Python for their reasons, and C++ coders like their language for their own. More than anything, any potential transpiler of Python to C++ I develop would be a chance for me to learn more about how programming languages are implemented and how compilation works. I had a lot of fun reading this stellar book, and might take its approach to this problem. I just thought it was interesting how similar the syntax of the two languages can look in their latest versions, and that got me wondering. If I take this idea anywhere, I’ll be sure to write about it.
As far as my cursory research has shown; please feel free to correct me if I’m wrong! ↩︎
Well, largely equivalent; Python has arbitrarily large integers, which C++ can’t match natively (even using