RealWorld-App in Lean 4: Der kürzeste Weg zur Web-App
I built the RealWorld app in Lean 4
Ein Entwickler hat die RealWorld-Referenz-App vollständig in Lean 4 umgesetzt – inklusive Frontend und Server-gerendertem HTML. Die API- und Website-Test-Suites bestehen. Der Backend-Code umfasst nur 1.033 Zeilen, weniger als TypeScript-, Go- oder C#-Varianten. Die App nutzt Std.Http, lean-routing, leanpostgres und datastar-lean. Fast der gesamte Code wurde von Claude Code geschrieben, was Fragen zur Zuverlässigkeit aufwirft.
Fast keiner dieser Codes wurde von Hand geschrieben. Claude Code hat die App nach meiner Anweisung geschrieben. Die meisten Bibliotheken wurden genauso geschrieben. Alles ist nur ein paar Monate alt. Das meiste hat nur ein oder zwei Mitwirkende.