Mojo 1.0 macht aus Python-ähnlichem Code eine strengere Sprache

In einem Mojo-Programm reicht seit Version 1.0 ein scheinbar kleiner Unterschied, um die Richtung der Sprache zu erkennen: Aus def square(x): wird eine Funktion mit verpflichtenden Typangaben, aus var value = 42 eine festgelegte Ganzzahl. Modular hat die stabile Version 1.0 veröffentlicht und macht aus der Python-ähnlichen Oberfläche ein deutlich strenger geprüftes Werkzeug für KI- und Hochleistungscode.

Der sichtbarste Schnitt betrifft fn. Das Schlüsselwort für streng geprüfte Funktionen wurde gestrichen; seine Regeln gelten nun für jedes def. Ohne ausdrückliches raises darf eine Funktion keine Ausnahmen auslösen. Bestehender Code lässt sich deshalb oft durch das Umbenennen von fn anpassen, während älterer def-Code an den neuen Vorgaben scheitern kann. Für kurze anonyme Funktionen gibt es außerdem eine neue Lambda-Syntax, die Klammern und Typangaben verlangt.

Der Compiler prüft nicht nur Typen. Er erkennt auch, wenn ein Verweis auf ein Listenelement ungültig wird: Wächst eine Liste über den reservierten Speicher hinaus, kann sie an einen neuen Ort verschoben werden. Ein Verweis auf den alten Ort zeigt dann ins Leere. Mojo stoppt den Code bereits beim Übersetzen und nennt sowohl die spätere Nutzung als auch die Stelle, an der die Gültigkeit verloren ging. In C++ kann derselbe Fehler zu einem Absturz oder einer Sicherheitslücke führen.

Mojo zielt damit auf ein bekanntes Problem der KI-Entwicklung: Python bleibt bequem, die eigentliche Rechenarbeit übernehmen aber häufig Bibliotheken in C, C++ oder CUDA. Mojo verbindet eine vertraute Schreibweise mit statischer Typprüfung, einem Ownership-Modell ohne Garbage Collector und direkter Hardwarekontrolle. Über MLIR, den Unterbau der Sprache, soll Code für CPUs, GPUs und weitere Beschleuniger entstehen. Modular nutzt Mojo bereits für seine KI-Plattform MAX und die Modular Cloud. Seit dem 29. Juli 2026 gehört das Unternehmen zu Qualcomm; die Produkte sollen eigenständig bleiben.

Und was ändert das konkret? Entwickler erhalten früheres Feedback und müssen bestimmte Fehler nicht erst in Tests oder im laufenden Betrieb finden. Gleichzeitig steigt der Preis für die Python-Ähnlichkeit: Typen müssen angegeben werden, und bisheriger Code kann Anpassungen verlangen. Mojo 1.0 soll vor allem nach Jahren häufiger Änderungen mehr Stabilität bringen, ist aber noch nicht fertig. Der Compiler bleibt vorerst geschlossen, und die gemeldeten Vorteile stammen aus der Konstruktion und den Angaben von Modular; unabhängige Messungen zur Leistung sind in den vorliegenden Angaben nicht genannt.