Mojo keele standardraamatukogu avamine. Mojo 24.2 tööriistade komplekti uuendamine

Mojo programmeerimist keele arendajad on alustanud projekti arenduste ümberkujundamist avatud lähtekoodiga tarkvaraks. Esimene avatud kood on standardteegi kood, mis on nüüd saadaval Apache 2.0 litsentsi alusel koos LLVM projekti eranditega, mis lubavad kokku segada GPLv2 litsentsi all olevate koodidega. Koodi avaldamise kõrval on arendusprotsess liikunud suunas, kus on rohkem avatust ja võimalust edastada kolmandate osapoolte muudatusi, esitades GitHubis pull-päringuid. Kompilaatori lähtekood plaanitakse avada pärast sisemise arhitektuuri disaini lõpetamist.

Repositooriumis on loodud kaks haru Mojo standardteegi koodiga: haru main, mis on sünkroniseeritud Mojo viimase stabiilse väljaandega, ja haru nightly, mis peegeldab praegust arendusprotsessi ning on sünkroniseeritud Mojo öiste kogumistega. Haru nightly on mõeldud osalejatele, kes soovivad liituda arendusega ja jagada oma muudatusi. Sellegipoolest ei ole osa raamatukogust veel avatud, kuid mõne aja pärast plaanitakse ka ülejäänud suletud kood viia avatud repositooriumisse. Peamiselt jääb suletuks kiiresti arenevate moodulite kood, mis vajavad täiendavat stabiilsust, moodulite, mille jaoks on plaanitud refaktoreerimist ning moodulite, mis vajavad täiendavat läbivaatamist ja ümberkujundamist seoses omandiõiguslike projektidega.

Samas välja anti Mojo SDK 24.2 tööriistade väljaanne, mis võimaldab projekte kohalikul süsteemil kompileerida, ja MAX Engine 24.2 mootori väljaanne, mis pakub platvormi masinõppe arenduseks. Mojo SDK koosneb komponentidest, mis on vajalikud rakenduste arendamiseks Mojo keeles, sealhulgas kompilaator, runtime, interaktiivne REPL-keskkond programmide koostamiseks ja käitamiseks, tõrkeotsingutööriist, täiendus Visual Studio Code (VS Code) redaktorile sisendi automaatse täiendamise, koodi vormindamise ja süntaksi esiletõstmise toetamiseks, jne. MAX Engine täiendab SDK-d vahenditega rakenduste arendamiseks ja tõrkeotsinguks, mis kasutavad masinõppe mudeleid erinevates formaatides (TensorFlow, PyTorch, ONNX jne). Mojo SDK ja MAX Engine kogumid on ette valmistatud Linuxi ja macOS-i platvormile.

Mojo 24.2 kõige silmapaistvamad muudatused:

• Struktuurid ja muud nominaalsed tüübid saavad nüüd kaudset vastavust tüüpidele. Näiteks iga struktuur, millel on rakendatud meetod __str__(), vastab kaudselt tüübile Stringable ja seda saab kasutada funktsiooniga str().
• Python-koodi ühilduvust tagavad vahendid on saanud toetuse sõnasõnaliste parameetrite edastamiseks Pythonifunktsioonidesse. Näiteks, „plt.plot((5, 10), (10, 15), color='red')“
• Toetatakse muutuva arvu parameetrite edastamist funktsioonile, kasutades sõnasõnalisi määramisi. Näiteks, „print_nicely(a=7, y=8)“.
• Tüüp DynamicVector on ümber nimetatud Listiks ja viidud moodulisse collections.list. Lisatud on võimalus luua nimekiri suvalisest väärtuste arvust, näiteks „var numbers = List[Int](1, 2, 3)“.
• Funktsioonile print() on lisatud nimelised parameetrid sep ja end, mille kaudu saab määrata eraldaja ja lõppväärtuse. Näiteks käivitamine print(„Hello”, „Mojo”, sep=’, ‘, end=’!!!\n’) annab väljundi „prints Hello, Mojo!!!”.

Mojo projekt areneb Chris Lattneri juhtimisel, kes on LLVM projekti asutaja ja peaarhitekt ning programmeerimiskeele Swift looja. Mojo süntaks põhineb Pythonil ja tüübisüsteem sarnaneb C/C++-le. Projekti tutvustatakse kui üldotstarbelist keelt, mis laiendab Python keele võimalusi süsteemse programmeerimise vahenditega, olles sobiv laiale eesmärkide spektrile, ühendades uurimisprojektide ja prototüüpide kiire loomise lihtsuse, samuti kõrgtehnoloogiliste lõppproduktide tootmise sobivuse.

Lihtsus saavutatakse tavalise Python'i süntaksi kasutamisega ning lõppproduktide arendamist toetavad võimalused, nagu masinkoodi kompileerimine, mälu turvalise töö mehhanismid ja riistvaralise arvutuse kiirendamise vahendite kasutamine. Kõrge jõudluse saavutamiseks toetatakse arvutuste paralleelse protsessimise võimalust, rakendades kõiki olemasolevaid riistvaramodelle, nagu GPU-d, spetsialiseeritud kiirendajad masinõppe jaoks ja vektoritöötluspunkti instruktsioonid (SIMD). Intensiivse arvutuse korral annab paralleelse töötlemise ja kõigi arvutusressursside kaasamine võimaluse saavutada jõudlust, mis ületab C/C++ rakenduste omadusi.

Keel toetab staatilist tüpiseerimist ja turvaliste madala taseme mälu tööriistu, mis meenutavad Rust'i keele võimalusi, nagu viidete eluea jälgimine ja muutujate laenamise kontroll (borrow checker). Samuti on keeles olemas madala taseme töövõimalused, näiteks otse mälu juurde pääsemine unsafe-režiimis kasutada tüüpi Pointer, eraldi SIMD-instruktsioonide kutsumine või juurdepääs riistvaralistele laiendustele, nagu TensorCores ja AMX.

Mojo võib olla kasutusel kas tõlgendamise režiimis JIT'i kaudu või kompileerimise jaoks täitmisfailide (AOT, ahead-of-time) loomiseks. Kompilaator sisaldab kaasaegseid automaatse optimeerimise, vahemälu ja jaotatud kompileerimise tehnoloogiaid. Mojo keeles kirjutatud lähtekood muudetakse madala taseme vahepealseks koodiks MLIR (Multi-Level Intermediate Representation), mille väljatöötamiseks on vastutav projekt LLVM. Kompilaator võimaldab kasutada mitmesuguseid tagaplaneeringuid, mis toetavad MLIR-i masina koodi genereerimise jaoks.

Allikas: opennet.ru