Mojo as MLIR++ is how I've thought about it as well. Many users will find transpiling static python to mojo an interesting path. Updating py2many --mojo to 1.

Mojo as MLIR++ is how I've thought about it as well. Many users will find transpiling static python to mojo an interesting path. Updating py2many --mojo to 1.0 to see what breaks. Also looking forward to translating existing python adt module to mojo Variant in phase 2. I hope the mojo pattern matching proposal looks more like rust (expression) and not like python (statement).