Acht voorspellingen waarop ik over 12 maanden beoordeeld wil worden

Oorspronkelijk geschreven voor het onderzoeksproject programming-languages-ai-era.

De inzet op schrift

Als mijn framework klopt, gebeuren deze acht dingen vóór mei 2027. Als mijn framework niet klopt, gebeuren ze niet, en moet de matrix worden bijgewerkt. Dat is het punt van voorspellingen publiceren in plaats van meningen. Een voorspelling heeft een datumstempel, een meetbare controle en een toestand van de wereld die haar falsifieert. Een mening heeft daar niets van, en daarom kosten meningen de schrijver niets en voorspellingen alles.

Acht falsifieerbare voorspellingen, elk gekoppeld aan een specifieke frameworkscore, elk beoordeeld op 2027-05-02 bij het v1.1-reviewmoment. De momentopname van de frameworkversie is v0.6.

Poppers grens tussen wetenschap en de rest was falsifieerbaarheid. Acht gedateerde voorspellingen zijn mijn poging aan de goede kant te blijven, in een vakgebied waar de meeste voorspellingen zo geschreven zijn dat ze nooit kunnen verliezen.

De acht voorspellingen

P1: maintainerschap van Pydantic of aanpassing van de Python-EDR. Ofwel Pydantic krijgt vóór 2027-05-02 ten minste drie actieve maintainers erbij (elk met ten minste één gemergde pull request in de voorgaande zes maanden), ofwel de score van Python op Ecosystem Dependency Risk beweegt in de volgende grote frameworkrevisie richting 2.0 vanaf de huidige 2.5. Frameworkcommitment: Python EDR=2.5 vandaag (alleen op de cohortvloer op EDR), met de dragende Pydantic-afhankelijkheid van een kleine maintainergroep gemarkeerd als het grootste afzonderlijke risico voor de structured-output-positie van Python. Meetbare controle: GitHub-statistieken over maintainer-activiteit voor pydantic/pydantic, aantal gemergde PR’s per maintainer over zes maanden.

P2: greenfield-aandeel van C++ in beveiligingsgevoelige domeinen. Het aandeel van C++ in nieuwe (greenfield, geen onderhoud) software in defensie, financiën en vergelijkbaar beveiligingsgevoelige domeinen blijft jaar op jaar dalen in industrie-enquêtes (CNCF, JetBrains, RedMonk, GitHub Octoverse) tot en met 2027-05-02. Frameworkcommitment: C++ op rang 10 met gewogen 2.46 (alleen op de cohortvloer, de enige taal onder 3.00, met een gat van 0.64 punt naar de eerstvolgende buur); het betoog voor C++ in greenfield-projecten voor het AI-tijdperk is structureel zwak (HC=2 alleen op de cohortvloer, MC=3, AIN=1.5 gedeeld op de cohortvloer). Meetbare controle: jaar-op-jaar trends in taalgebruik in de genoemde enquêtes, beperkt tot het greenfield-signaal waar de enquête dat uitsplitst.

P3: verificatiesnelheid van TypeScript. De Structured-Output Native-score (SON) van TypeScript beweegt in de volgende grote frameworkrevisie van 2.5 richting 3.0, gedreven door verificatiesnelheid in de stijl van satisfies, het type-test-ecosysteem en het oplossen van de --erasableSyntaxOnly-ergonomie rond schemadeclaratie. Frameworkcommitment: TypeScript SON=2.5 vandaag; SOE=5.0 (alleen aan het cohortplafond, gedeeld met Python) leunt op Zod en de Vercel AI SDK. Meetbare controle: een review van de TypeScript-SON op 2027-11-02. Concreet signaal: TC39-voortgang op type-stripping en satisfies-als-verificatie-idiomen in de community.

P4: first-party Anthropic SDK van Microsoft. Een officiële, door Microsoft geleverde Anthropic SDK voor .NET verschijnt binnen 18 maanden na 2026-05-02 (dus vóór 2027-11-02). Verschijnt die, dan gaat de Anthropic-integratie van .NET van commercial_third_party naar commercial_first_party en stijgt AIN met ten minste 0.5. Frameworkcommitment: .NET AIN=4.0 vandaag (alleen aan het cohortplafond, alleen gedeeld met Swift); de Anthropic .NET-integratie wordt momenteel door de community onderhouden. Meetbare controle: een repository onder microsoft/ of Anthropic/ met een .NET SDK-label en attributie aan Microsoft-engineering; eerste stabiele release vóór 2027-11-02.

P5: compile-time-ergonomie van Rust. De AI-Agent Operability van Rust stijgt in de volgende grote frameworkrevisie van 4.0 naar 4.5, gedreven door stabilisatie van de parallelle front-end en standaard ingeschakelde linking op basis van mold, beide zichtbaar in stable rustc vóór 2027-05-02. Frameworkcommitment: Rust AO=4.0 vandaag; het grootste gat naar de top is de iteratiesnelheid voor door agents gedreven loops. Meetbare controle: rustc-release notes voor de status van de parallelle front-end, standaard linkerkeuze op Linux/macOS, benchmark van koude en incrementele rebuild-tijden op een representatieve codebase voor het AI-tijdperk.

P6: volwassenwording van Java’s Project Panama en Loom. De scores van Java op Machine Cognition en AI-Agent Operability stijgen elk met 0.5 in de volgende grote frameworkrevisie na stabilisatie van de vector-API van Project Panama (JEP definitief) en volwassenwording van Project Loom (virtual threads standaard in productie), beide verwacht vóór 2027-05-02. Frameworkcommitment: Java MC=4.0, AO=3.5 vandaag; het AO-plafond is deels de build/test-loop, deels de agentvriendelijke getypeerde primitieven die Loom biedt. Meetbare controle: OpenJDK-release notes; vector-API als definitieve JEP; virtual threads standaard in Spring Boot en Quarkus.

P7: plafond op cross-platform AI-integratie van Swift. De AI-Systems Ecosystem-score van Swift verbetert tot en met 2027-05-02 niet wezenlijk, AIE blijft op of onder 2.5, omdat het door Apple-stewardship gedreven cross-platform bereik (agent-framework-targets buiten Apple) niet wezenlijk uitbreidt. Frameworkcommitment: Swift AIE=2.0 vandaag (in de onderste laag, gedeeld met Elixir; ruim onder het AIE=5.0-plafond dat TypeScript en Python delen); LangChain, LlamaIndex en Semantic Kernel leveren geen Swift-implementaties. Meetbare controle: de PyPI / npm-equivalente catalogus van Swift AI-framework-packages op 2027-05-02; aanwezigheid van een Swift LangChain (of equivalent) met CI buiten Apple-platforms.

P8: set-theoretische types in Elixir. Het voorstel voor set-theoretische types in Elixir bereikt vóór 2027-05-02 een stabiele spec, OF de Reachability-score van Elixir wordt in de volgende grote frameworkrevisie naar beneden bijgesteld. Frameworkcommitment: Elixir Reach=2.5 vandaag (in de onderste laag, met alleen C++ op Reach=2.0 lager), deels op kracht van het lopende werk aan set-theoretische types; als dat werk vastloopt, verzwakt de onderbouwing van de Reach. Meetbare controle: release notes op elixir-lang.org; aanwezigheid van stabiele documentatie van het typesysteem; signaal van adoptie door de community in Phoenix en Ecto.

Hoe ze beoordeeld worden

Het v1.1-reviewmoment is 2027-05-02. Het beoordelingsproces is openbaar, en de stappen staan op schrift.

Voor elke voorspelling: markeer als opgelost (ja / nee / gedeeltelijk) op basis van de genoemde meetbare controle. Is ze tegen mijn commitment in opgelost, dien dan een scorecorrectie in met het nieuwe bewijs en de voorgestelde scorewijziging. Is ze onopgelost, verleng dan de datumstempel met maximaal 12 maanden en documenteer waarom. Aggregeer het slagingspercentage van de voorspellingen als kalibratiesignaal: een v1.0-framework waarvan de voorspellingen met 60% of meer nauwkeurigheid uitkomen, doet nuttig voorspellend werk; onder die drempel zijn de dimensiegewichten en de rubriekankers het eerste wat ik herzie.

Het slagingspercentage is zelf een bevinding. Een framework waarvan de voorspellingen uitkomen, verdient het recht om een mening te hebben. Een framework waarvan de voorspellingen missen, moet opnieuw worden verankerd. De beoordeling vindt in het openbaar plaats op de gedateerde mijlpaal.

Wat mij van gedachten zou doen veranderen

Als 4 of meer van de 8 voorspellingen tegen mijn commitment in worden gefalsifieerd, heeft het framework structurele revisie nodig, niet alleen score-aanpassingen.

Dat is de lijn. Onder 4 missers worden de missers opgenomen als correcties op celniveau in de volgende revisie (bijvoorbeeld: het maintainerschap van Pydantic verbreedt, de EDR van Python gaat van 2.5 naar 3.0, de matrix wordt bijgewerkt, het framework gaat door). Bij 4 of meer missers zijn de dimensiegewichten en de rubriekankers het eerste wat ik herzie, omdat een kalibratiemisser van die omvang signaleert dat het framework het verkeerde meet of het verkeerd weegt. Specifieke faalwijzen die ik als structureel in plaats van incrementeel zal behandelen: (a) de these van de veiligheidsdruk verzwakt, de vier institutionele pijlers draaien de memory-safety-richtlijnen terug; (b) de as van afhankelijkheidsrisico blijkt onder druk niet gecorreleerd met stewardship-weerbaarheid; (c) de dimensie Reachability slaagt er niet in toekomstinzetten te onderscheiden, talen met hoge Reach presteren binnen de planningshorizon niet beter dan talen met lage Reach op sluitingspaden op celniveau.

Als een van de drie structurele faalwijzen zich voordoet, krijgt het framework een v2.0-herontwerp, met de faalwijze gedocumenteerd als directe oorzaak. Dat is de inzet waarvoor ik op schrift wil staan.

Tot slot

Acht voorspellingen. Eén jaar. Openbare beoordeling.

Abonneer je op rutgerhemrika.substack.com voor de v1.1-beoordelingspost op 2027-05-02. Wil je de onderliggende data, claims en bronnen, dan staat het framework open op github.com/hemrika/programming-languages-ai-era. De inzet staat.

---

De waarde van het framework na v1.0 hangt af van of het voorspelt. De inzet staat op schrift.

Acht voorspellingen met een datum zijn het omgekeerde van de Bridge of Death uit de Holy Grail: je beantwoordt de vragen nu, en de afgrond gaat later open, in het openbaar, in mei 2027.

Verwijzingen

De knipogen en citaten in dit stuk, met hun herkomst:

• Karl Popper, The Logic of Scientific Discovery (1934): falsifiability as the line between science and non-science.
• Monty Python and the Holy Grail (1975): the Bridge of Death and its three questions.