Rust ist die ideale Sprache für Agenten – und wird noch besser
What agents mean for Rust (and vice versa)
Niko Matsakis, erfahrener Sprachendesigner, erklärt, warum Rust im Zeitalter agentischer Entwicklung so beliebt ist: Agenten schätzen die expliziten Kontrollmöglichkeiten für Performance und das Typsystem als Leitplanke. Er argumentiert, dass Rust durch Beweissysteme wie Verus oder Kani noch sicherer und schneller werden kann – und dass menschliches Design weiterhin gefragt ist.
Ich glaube, es wird auch weiterhin eine Rolle für Menschen in der Programmierung geben. Und ja, ich denke, dass Sprachdesign nach wie vor relevant ist.
- gregwebs
Rust hat eine offensichtliche Schwäche: die Kompilierzeiten. Ich vermute, dass wir im LLM-Zeitalter den Aufstieg einer Sprache erleben werden – oder vielleicht eine Art Rust-Neudesign –, die das erreicht, was Rust bietet: großartige Performance und großartige Typsicherheit, aber auch eine bessere Unterstützung für schnelles Kompilieren.
Ich habe festgestellt, dass Agenten gut darin sind, Verus-Beweise in einer Rust-Codebasis zu schreiben, und dass diese Beweise nur einen minimalen negativen Effekt auf den normalen Kompilierungspfad haben. Ich habe eine Skill für die Verwendung von Verus: https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus...
- kubb
Ich frage mich, ob „schwierige“ Sprachen wie Haskell mit LLMs ein Comeback erleben werden, weil die kurzfristigen Kosten für das Erlernen der Sprache im Vergleich zu den langfristigen Vorteilen des Typsystems und der besseren Struktur nicht mehr so ins Gewicht fallen.
- xscott
Ich denke, wir könnten einen Schritt zurücktreten und eine Liste von Features von Programmiersprachen erstellen, die für LLMs beim Schreiben von Code hilfreich oder schädlich sind. Ich habe keine vollständige Liste, aber Dinge, über die ich nachgedacht habe:
Nützliche Fehlermeldungen zur Kompilierzeit
Schnelle Kompilierung, um zu iterieren und diese Fehler zu beheben
Effizienter Speicher, CPU und vielleicht GPU zur Laufzeit
Vertraut aus den Trainingsdaten [0]
Eine offensichtliche/bevorzugte Art, Dinge zu tun
Explizite Typen
Rust erfüllt einige davon, aber nicht alle. Mir fällt keine Sprache ein, die alle erfüllt, aber viele Leute lieben es offenbar, zu rationalisieren, warum ihre eigene Lieblingssprache die beste Wahl ist. LLMs brauchen keinen Syntaxzucker und andere Nettigkeiten, und alle Fehler, die auf die Laufzeit verschoben werden, sind eine Belastung für dich, nicht für das Modell.
Wir könnten ein paar weitere selten gesehene Features hinzufügen, um das Vertrauen in die Ergebnisse zu erhöhen und zukünftige Änderungen oder den Wechsel des Modells zu erleichtern:
Erforderliche Vorbedingungen und Nachbedingungen
Erzwungene Begrenzungen der Funktions- oder Methodenlänge
Obligatorische Testfälle
Erzwungene Namenskonventionen
Lean-artige Korrektheitsbeweise? (wahrscheinlich nicht)
Ich bin unentschlossen bei Dingen wie linearen/affinen Typen für Speicherverwaltung versus Garbage Collection. Natürlich will man Speichersicherheit, aber es gibt mehr als einen Weg, sie zu erreichen, und ich weiß nicht, ob man Verrenkungen erzwingen will, um einfache Datenstrukturen zu bauen.
[0] LLMs sind sehr wohl in der Lage, in Sprachen zu programmieren, die sie noch nie gesehen haben. Ich habe sie Programme mit meinen eigenen Spielzeug-Compilern schreiben lassen fo […]
- Depurator
Ich schreibe jetzt seit etwa 6 Jahren Rust, und ich bin sehr froh, dass ich damit angefangen habe, bevor die LLMs aufkamen, sodass ich mich mit dem Borrow Checker und all dem Kram herumschlagen musste.
Jetzt muss ich sagen, dass ich mit Rust und LLMs extrem produktiv bin, und es ist auch beruhigend zu wissen, dass ich nichts in eine neue Sprache umschreiben muss – Rust ist bereits die beste.
Ein berühmter schwedischer Comedian spricht von Heroin als der „besten Droge“. Wo Leute normalerweise landen und nicht aufhören wollen, sie zu nehmen.
- antoineMoPa
Ich habe in letzter Zeit ein paar Apps mit Agenten + Rust „programmiert“ und stelle fest, wie ungeheuer groß der target/-Ordner werden kann. Dann führt man cargo clean aus, hat eine saubere Festplatte, aber die Kompilierung dauert wieder ewig. Ich gehe routinemäßig der Festplattenplatz aus.
Ich liebe die Erfahrung im Allgemeinen, außer diesem Teil.