AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
AgenticTyper is een op LLM's gebaseerd agentisch systeem dat de handmatige inspanning voor het migreren van legacy JavaScript-projecten naar TypeScript aanzienlijk vermindert door iteratieve foutcorrectie en gedragsbehoud te gebruiken om duizenden typefouten in minuten op te lossen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
De Probleemstelling: Het Oude Huis zonder Plattegrond
Stel je voor dat je een heel oud, waardevol huis hebt (een legacy softwareproject). Dit huis is gebouwd met JavaScript. Het probleem is dat dit huis geen blauwdrukken of plattegronden heeft. Alles is losjes in elkaar gezet. Als je vandaag een muur wilt verplaatsen of een nieuwe deur wilt toevoegen, weet je niet precies waar de elektriciteitsdraden lopen. Je kunt per ongeluk een muur doorboren waar een stroomkabel onder zit, en dan valt het hele lichtnet uit.
In de programmeertaal heet dit: geen typeveiligheid. Het is gevaarlijk om aan dit huis te werken.
Om dit veiliger te maken, willen we het huis ombouwen naar TypeScript. TypeScript is als het toevoegen van gedetailleerde plattegronden en labels aan elke kabel en pijp. Het vertelt je: "Hier loopt alleen een waterleiding, pas op dat je geen elektriciteitskabel doorboort."
Het Oude Moeilijkheid: De Menselijke Bouwvakker
Het probleem is dat het handmatig deze plattegronden tekenen voor een heel oud huis extreem duur en tijdrovend is. Een menselijke bouwkundige (programmeur) moet:
- Door elk vertrek (bestand) lopen.
- Kijken wat er gebeurt.
- Een label plakken op elke kabel.
- Als hij een label plakt, ziet hij dat er ergens anders een kabel verkeerd is aangesloten, en moet hij daar ook weer aan werken.
Dit proces kan jaren duren of een heel werkweek kosten voor één project.
De Oplossing: AgenticTyper (De Slimme Robot)
De auteurs van dit paper hebben AgenticTyper bedacht. Dit is geen simpele robot die alleen maar tekens op een lijstje zet. Het is een slimme, zelfstandige agent (een AI) die als een ervaren projectmanager werkt.
Hier is hoe het werkt, in drie stappen:
Stap 1: De Basiscontrole (Het Huis Veilig Maken)
De robot begint met het installeren van een "controle-systeem" (TypeScript). Hij loopt door het huis en zoekt naar alle plekken waar de kabels loshangen (fouten).
- De slimme truc: Als de robot een probleem ziet dat hij niet kan oplossen zonder het huis te verbouwen (bijvoorbeeld: een kabel die per ongeluk als waterleiding gebruikt wordt), plakt hij een gele sticker (een suppressie-comment). Hij zegt dan: "Dit is een oud probleem, we laten het voor nu zo, maar een mens moet dit later bekijken."
- Het veiligheidsnet: Dit is het allerbelangrijkste deel. Na elke wijziging die de robot maakt, transpileert hij de code. In het Nederlands: hij vertaalt de nieuwe instructies direct terug naar het oude JavaScript en vergelijkt dit met het origineel.
- Metafoor: Het is alsof de robot elke keer dat hij een muur verplaatst, direct test of het licht nog brandt en of de verwarming nog werkt. Als er iets anders werkt dan voorheen, stopt hij direct en zegt hij: "Wacht, ik heb per ongeluk iets verbroken!" Zo weet hij zeker dat hij niets kapot maakt, zelfs zonder dat er een testteam aanwezig is.
Stap 2: De Volledige Plattegrond
Nu de basis veilig is, vraagt de robot om nog striktere regels. Hij zorgt dat elke kabel een label heeft. Hij maakt nieuwe plattegronden voor de onderdelen die nog geen naam hadden.
Stap 3: De Strikte Keuring
Tot slot maakt hij het systeem nog strenger. Hij zoekt naar verborgen gevaren (zoals null-waarden die ergens voor kunnen zorgen dat het huis instort). Dit vereist vaak ingrijpende verbouwingen, wat risicovol is, dus hier is extra controle nodig.
De Resultaten: Wat heeft het opgeleverd?
De auteurs hebben dit getest op twee echte, grote bedrijven (totaal 81.000 regels code, wat overeenkomt met een heel groot kantorencomplex).
- Het oude tempo: Een ervaren mens had hier één volledige werkdag voor nodig.
- Het tempo van AgenticTyper: De robot deed het in 20 minuten.
- De kosten: Het kostte ongeveer 25 dollar (voor de computerrekening).
- De kwaliteit: De robot loste alle 633 fouten op zonder dat het huis (de software) anders ging werken dan voorheen.
Conclusie
AgenticTyper is als het hebben van een super-snelle, onuitputtelijke architect die in 20 minuten een plattegrond tekent voor een oud huis, waarbij hij tegelijkertijd test of de elektriciteit nog werkt.
Het grote verschil met eerdere methoden is dat deze robot niet alleen gissen doet, maar actief controleert of zijn werk de werking van het huis niet verandert. Dit maakt het mogelijk om oude, risicovolle software veilig en goedkoop te moderniseren, zodat mensen zich kunnen focussen op het bouwen van nieuwe dingen in plaats van het repareren van oude fouten.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.