Ich denke, es muss eine sehr interessante Zeit sein, um in Programmiersprachen und formalen Methoden tätig zu sein, da LLMs die gesamte Landschaft der Softwarebeschränkungen völlig verändern. Hinweise darauf sind bereits zu sehen, z.B. im wachsenden Momentum, C nach Rust zu portieren, oder im zunehmenden Interesse an der Aktualisierung von Legacy-Codebasen in COBOL usw. Insbesondere sind LLMs *besonders* gut im Übersetzen im Vergleich zur Neugenerierung, weil 1) die ursprüngliche Codebasis als eine Art hochdetaillierter Prompt fungiert und 2) als Referenz dient, um konkrete Tests zu schreiben. Das gesagt, ist selbst Rust bei weitem nicht optimal für LLMs als Zielsprache. Welche Art von Sprache ist optimal? Welche Zugeständnisse (falls vorhanden) werden noch für Menschen gemacht? Unglaublich interessante neue Fragen und Möglichkeiten. Es scheint wahrscheinlich, dass wir große Teile aller jemals geschriebenen Software viele Male neu schreiben werden.