Mojo 1: Sieht aus wie Python – ist aber mehr Rust

Die Sprache, die dem Aussehen nach Python ähnelt, beinhaltet Funktionen, die von Rust inspiriert sind und sie effizienter und einheitlicher machen. Das Update enthält Verbesserungen wie eine einheitliche Variablenerklärung mit `var`, gestraffte Schließungen und die Zusammenführung von zuvor getrennten Typen `Pointer` und `UnsafePointer` in einen einzigen Typ mit expliziten Sicherheitsmarkierungen durch das Präfix `unsafe_`.

Zum ersten Mal werden Teile der Mojo-Schnittstellen ausdrücklich als stabil gekennzeichnet. Eine der wichtigsten Änderungen betrifft die Funktionsdefinitionen. Zuvor verwendete Mojo `def` für Python-ähnliche Funktionen und `fn` für strengere geprüfte Funktionen. Mit Version 1 hat Modular `fn` entfernt und durch `def` ersetzt. Diese Änderung führt strengere Regeln für `def` ein, die eine explizite Ausnahmebehandlung über `raises` erfordern, wenn Ausnahmen geworfen werden sollen. Der Compiler behandelt `def` nun als Gegenstand dieser strengeren Regeln, was bedeutet, dass mit `fn` geschriebener Code unter den neuen Standards fehlschlagen könnte, wenn er nicht angepasst wird.

Mojo verwendet `lambda (x: Int) -> Int: x 2`. Der Compiler hat auch erweiterte Fehlererkennungsfunktionen. Er kann ungültige Referenzen identifizieren, insbesondere in Szenarien, in denen die Speicherverwaltung zu Abstürzen oder Sicherheitslücken führen könnte. Wenn beispielsweise eine Liste über den zugeteilten Speicherplatz hinaus wächst und ein Referenzpunkt auf den alten Speicherort verweist, markiert Mojo dies während der Kompilierung und nicht während der Laufzeit.

Ein Beispielprogramm veranschaulicht dies, indem es zeigt, wie ein Verweis auf ein Listenelement nach dem Hinzufügen neuer Daten ungültig wird, was zu einer klaren Fehlermeldung führt. Modular zielt darauf ab, das in der KI-Entwicklung häufige Zweisprachenproblem anzugehen, bei dem Python aufgrund seiner Benutzerfreundlichkeit dominiert, aber keine Leistung bietet, da es sich häufig auf C, C ++ oder CUDA-Bibliotheken für die Berechnung stützt. Mojo bietet statische Typisierung, ein Eigentumsmodell ohne Müllentsorgung und direkte Hardware-Kontrolle, wodurch es trotz seiner bekannten Syntax näher an C ++ und Rust als Python positioniert wird. Modular verwendet Mojo als Grundlage für MAX und seine Cloud-Dienste.

Modular wurde im Januar 2022 von Chris Lattner, dem ursprünglichen Entwickler von LLVM und Swift, und Tim Davis, der für TensorFlow, XLA und TPU bei Google verantwortlich ist, gegründet und basiert auf ihrer Arbeit an MLIR, die jetzt die Grundlage von Mojo bildet. Seit dem 29. Juli 2026 ist Modular Teil von Qualcomm, obwohl Mojo, MAX und die Modular Cloud unabhängige Produkte bleiben.