Mojo 1: Izgleda kot Python, ampak je bolj miren

0 svojega programskega jezika Mojo. Jezik, ki je po videzu podoben Pythonu, vključuje funkcije, navdihnjene z Rustom, zaradi česar je bolj učinkovit in enoten. Posodobitev vključuje izboljšave, kot je enotna deklaracija spremenljivk z uporabo `var`, racionalizirane zapiranja in združevanje prej ločenih vrst `Pointer` in `UnsafePointer` v eno vrsto z izrecnimi varnostnimi označevalci prek predpona `unsafe_`.

Prvič so deli Mojojevih vmesnikov izrecno označeni kot stabilni. Ena od najpomembnejših sprememb vključuje definicije funkcij. Pred tem je Mojo uporabljal ∀def` za funkcije, podobne Python-u, in ∀fn` za strožje preverjene funkcije. Z različico 1, Modular je odstranil ∀fn` in ga zamenjal z ∀def`. Ta sprememba uvaja strožja pravila za ∀def`, ki zahtevajo izrecno obdelavo izjem prek ∀raises`, če se izjeme zavržejo. Kompilator zdaj obravnava ∀def` kot predmet teh strožjih pravil, kar pomeni, da bi koda, napisana z ∀fn`, lahko spodletela novim standardom, če se ne prilagodi.

Uvedena je bila tudi nova lambda sintaksa, ki je opisana kot yPython-style, vendar zahteva oklepaje in tipne opombe. Namesto Python`s `lambda x: x 2`, Mojo uporablja `lambda (x: Int) -> Int: x 2`. Kompilator je tudi pridobil izboljšane zmogljivosti za odkrivanje napak. Lahko prepoznava neveljavne sklicevanja, zlasti v scenarijih, kjer bi upravljanje pomnilnika lahko privedlo do padcev ali varnostnih ranljivosti. Na primer, če se seznam poveča izven dodeljenega prostora in sklicevanje kaže na staro lokacijo, Mojo to označi med sestavljanjem in ne med izvajanjem.

Primer programa to ponazarja in prikazuje, kako se sklicevanje na element seznama po dodajanju novih podatkov neveljavi, kar vodi do jasnega sporočila o napaki. Modular je namenjen reševanju problema dveh jezikov, ki je pogost v razvoju AI, kjer Python prevladuje zaradi svoje enostavnosti uporabe, vendar nima zmogljivosti, pogosto se zanaša na C, C ++ ali CUDA knjižnice za izračun. Mojo ponuja statično tipkanje, model lastništva brez zbiranja odpadkov in neposredno upravljanje strojne opreme, ki ga kljub svoji znani sintaksi postavi bližje C ++ in Rust kot Python. Modular uporablja Mojo kot temelj za MAX in njegove storitve v oblaku.

Modular je bil ustanovljen januarja 2022 s strani Chrisa Lattnerja, prvotnega razvijalca LLVM in Swift, in Tima Davisa, odgovornega za TensorFlow, XLA in TPU pri Googlu. Modular je bil zgrajen na njihovem delu na MLIR, ki zdaj tvori osnovo za Mojo.