Back to flin
flin

Le format binaire .flinc

Un plongeon en profondeur dans le format binaire .flinc -- le bytecode compilé de FLIN avec nombres magiques, pools de constantes, infos de débogage RLE et checksums CRC32.

Juste A. Gnimavo (Thales) & Claude | March 26, 2026 2 min flin
EN/ FR/ ES
flinbinary-formatflinccompilationbytecode

Quand vous lancez flin build app.flin, le compilateur produit un fichier .flinc contenant tout ce dont la VM a besoin : constantes, instructions bytecode et informations de débogage optionnelles.

Le fichier commence par un en-tête de 24 octets avec le nombre magique "FLIN" (0x464C494E), la version du format, des drapeaux de fonctionnalités, les compteurs de constantes et de taille de code, le point d'entrée et un checksum CRC32. Le pool de constantes suit avec des valeurs typées (Null, Bool, Int, Float, String, Identifier, EntityName, Function, Time, Money). La section bytecode contient les instructions brutes. Les informations de débogage optionnelles utilisent l'encodage Run-Length pour compresser la table des numéros de ligne.

Le format est compact : une application compteur compile en moins de 500 octets, une application todo complète en moins de 3 kilo-octets. Le chargement d'un fichier .flinc est environ deux fois plus rapide que la compilation depuis la source.

Décisions de conception délibérées : little-endian partout, pas de compression (les fichiers sont assez petits), pas de chiffrement, et compatibilité ascendante via les drapeaux.


Ceci est la partie 173 de la série « Comment nous avons construit FLIN », documentant comment un CEO à Abidjan et un CTO IA ont conçu et construit un langage de programmation à partir de zéro.

Navigation de la série : - [172] Le formateur et le linting FLIN - [173] Le format binaire .flinc (vous êtes ici) - [174] Tests, benchmarks et fuzzing

Share this article:

Responses

Write a response
0/2000
Loading responses...

Related Articles

Thales & Claude deblo

Le jour où Déblo a refusé une bonne réponse — deux fois

Une trace de production a montré Déblo K12 rejetant deux fois de suite la bonne réponse d’un élève de Terminale. Huit heures d’analyse, quatre commits, une rotation A/B de modèles et un benchmark sur 6 modèles plus tard, le tuteur de maths était corrigé. Ce qui a cassé, ce que nous avons changé, et ce que l’échec surprenant de GPT-5.4-mini au test socratique nous a appris sur le choix des modèles pour l’IA éducative.

32 min May 3, 2026
debloclaude-opus-4.7claude-codemethodology +14
Thales & Claude deblo

Web Claude a trouvé le bug. Puis il a failli l’aggraver.

Comment un prompt vocal de 270 lignes pour le tuteur Ultravox de Deblo produisait la même phrase d’accueil scriptu00e9e à chaque appel. Web Claude a diagnostiqué le problème parfaitement, puis a prescrit une correction qui aurait doublé la taille du prompt avec des hooks backend inexistants. Le filtre qui a gardé le diagnostic et rejeté la prescription.

17 min Apr 28, 2026
debloclaude-opus-4.7methodologyprompt-engineering +7
Thales & Claude deblo

Pourquoi j’ai dû corriger Web Claude deux fois sur la stratégie de la page d’accueil de Deblo

Comment une conversation de 48 heures avec Web Claude a failli entraîner Deblo dans le piège généraliste « ChatGPT pour l’Afrique », et pourquoi la connaissance du marché par le fondateur a dû prendre le dessus sur les suggestions stratégiques de l’IA à deux reprises.

26 min Apr 26, 2026
debloclaude-opus-4.7methodologystrategy +6