X-Post:Chris Tate
gdp-ts: Typsystem-Prüfungen für autorisierte Operationen und KI-Code
Chris Tate und Guillermo Rauch stellen gdp-ts vor, ein TypeScript-Tool basierend auf dem Konzept 'Ghosts of Departed Proofs'. Es erzwingt Sicherheits- und Berechtigungsprüfungen direkt zur Compile-Zeit im Typsystem.
99Lesezeichen15.973Aufrufe