Show HN: The Mog Programming Language
Mog est un langage embarqué, statiquement typé et compilé, conçu pour que des agents IA écrivent leur propre code puis le charger comme plugin dans une application hôte. Il repose sur un modèle de sécurité par capacités: le host déclare quelles capacités Mog peut appeler et les capacités ne peuvent être utilisées sans autorisation. Le compilateur, écrit en Rust, produit du code natif via rqbe et exécute les programmes Mog sans interpréteur ni JIT, avec une gestion mémoire par GC. Le langage est fortement typé et sans conversions implicites, avec des types scalaires, chaînes UTF-8, tableaux, maps et structs; les opérateurs sont plats et les priorités explicites par parenthèses, tandis que les erreurs et optionnels s'expriment par Result<T> et ?T. Mog s’emploie dans un hôte via un cycle d’intégration en cinq étapes et peut aussi être utilisé comme plugin dynamique, avec des fichiers mogdecl pour décrire les capacités publiques.