K7PL

 K7PL : KonSept Programming Language🔗

Cyprien PIERRE

A functional layered programming language

Cyprien PIERRE — ORCID 0009-0009-9040-6795

DOI : 10.5281/zenodo.23040451 · Source : github.com/AntheaLiles/k7pl

CC BY 4.0 © Cyprien PIERRE 2026. Cette spécification est publiée sous licence Creative Commons Attribution 4.0 International (CC BY 4.0).

Contents

  1. 1. PROLÉGOMÈNE
  2. 2. FONDEMENTS CATÉGORIQUES
  3. 3. THÉORIE DES TYPES
  4. 4. THÉORIE DES AUTOMATES
  5. 5. SYNTAXE ET MISE EN PRATIQUE
  6. 6. COMPILATION ET VÉRIFICATION
  7. 7. INTÉGRATION PRATIQUE ET CAS D'USAGE
  8. 8. REFERENCES DU DOCUMENT
  9. A. CODES D'ERREUR
  10. B. SPECIFICATION LSP & REPL
  11. C. SUSHI - The K7PL's (fake)Shell
  12. D. SUGOI