[Feature Request] Support .mj as a file extension for mojo. about mojo

[lattner]

cool, let's keep it simple and explicit. Thanks for the feedback!

[lattner]

The examples you cite (.jpg etc) go back to old dos/windows days which only supported 3 character extensions, but those days are over. and I have experience with the swift community using the .swift file extension - which was fine even though its 25% longer than mojo :).

I personally don't think that this is something that we should do. Supporting two different extensions is enough, I don't think we should fragment things further. Do you have additional rationale other than "some other older languages did it this way"?

[LDJnr]

Do you have additional rationale other than "some other older languages did it this way"?

Yes, mainly the possible benefits in readability and typing efficiency from having a shorter extension.

However, you bring up a very good point with swift, it doesn't seem like its extension length particularly hindered its adoption or development efficiency in a significant way, and I suppose it can be nice to have more unified naming for a file type.

So with those things considered, I suppose it ultimately comes down to the preference of you and others on the team 🔥 🙂.

[southerndevz]

LDJnr has a valid point about the .mj extension. I heard of this Mojo from a YouTube podcast and thought it was a cool undertaking. However, ignoring developer requests just because you're used to it in Swift is not good practice especially when you want all your hard work to be adopted. Companies try as hard as they can to lure consumer into their products even by using shorter slogans and memorable phrases. So, rather than justifying the swifterization of python, just give devz a shorter extension. I hate the emoji extension as much as I hate writing .mojo

To add a 🔥 emoji I had to add an emoji keyboard and double-click Fn, wait for the emoji keyboard, search for "fire", it was even worse in Windows I had to press Windows + . and search for the 🔥 emoji after being disrupted by a sea of GIFs.

I'm keen on trying this Mojo out but I'm worried that we can't offer any contributions thanks to our Swift overlords. Look, I'm a big fan of typed, being a C, C++, and Kotlin/Java programmer as well, however not listening to your devz is always a bad idea. We need a better extension than this joke.

Please take this as constructive criticism. I like your objective but the extensions are not appealing.

[gryznar]

+1 for this. So maybe we could replace .mojo with .mj? Then it will be 2.5x speedup (2 times faster than previous) over Swift in terms of typing :D

[lattner]

@southerndevz just to be clear, you can use .mojo if you'd prefer, no one is forcing the use of fire emoji as an extension.

[southerndevz]

.mojo is not appealing at all to tell you the truth. But if you're not ready to give this extension then that's fine.

[ksandvik]

I would think all two letter extensions and most likely three letter extensions are used by now. As a bonus, .mojo sounds like what its used for.