Blog
All articles. All pillars. All authors.
Le moteur de réactivité : comment FLIN rend tout réactif
Le moteur de réactivité de FLIN : suivi automatique des dépendances, mises à jour basées sur SSE et rendu incrémental du DOM.
Le premier rendu dans le navigateur : quand FLIN a rencontré le DOM
La première fois que FLIN a rendu dans le navigateur : compilation du bytecode en HTML, le jalon de la Session 26.
Agents parallèles dans le runtime FLIN
Le système d'agents parallèles de FLIN : exécution concurrente, passage de messages et le modèle de runtime basé sur les agents.
Le système de types de FLIN : inféré, expressif, sûr
Comment nous avons conçu le système de types de FLIN pour être inféré par défaut, expressif quand nécessaire et sûr au moment de la compilation -- sans la taxe de verbosité des langages typés traditionnels.
Types union et rétrécissement de type
Comment nous avons implémenté les types union dans FLIN -- la syntaxe int | text | bool, le rétrécissement de type à travers le flux de contrôle, et l'infrastructure du compilateur Rust qui fait tout fonctionner.
Pattern matching : de switch à match
Comment nous avons conçu le pattern matching de FLIN -- du simple filtrage par valeur à la vérification d'exhaustivité sur les unions étiquetées, et l'implémentation Rust qui alimente le tout.
Types union étiquetés et types de données algébriques
Comment nous avons apporté les types de données algébriques à FLIN -- les enums génériques avec données associées, Option<T>, Result<T, E>, et l'implémentation Rust des unions étiquetées.
La déstructuration partout
Comment nous avons implémenté la déstructuration dans FLIN -- déstructuration de tableaux, d'entités et imbriquée avec motifs rest, valeurs par défaut, et l'approche stub-first qui a gardé le compilateur sain.
L'opérateur pipeline : composition fonctionnelle dans FLIN
Comment nous avons implémenté l'opérateur pipeline dans FLIN -- la syntaxe |> pour la composition fonctionnelle, sa transformation en appels de fonctions par le parser, et l'expérience développeur qu'il débloque.
Tuples, enums et structs
Comment nous avons conçu les trois structures de données fondamentales de FLIN -- les tuples pour le regroupement anonyme, les enums pour les alternatives nommées et les structs d'entités pour les enregistrements persistants.
Gardes de type et rétrécissement de type à l'exécution
Comment l'opérateur is de FLIN permet la vérification de type à l'exécution avec le rétrécissement de type au moment de la compilation -- le pont entre les valeurs dynamiques et la sécurité statique.
Le type Never et la vérification d'exhaustivité
Comment le type Never de FLIN et la vérification d'exhaustivité fonctionnent ensemble pour garantir que chaque chemin de code est pris en charge -- le filet de sécurité imposé par le compilateur pour le filtrage par motifs et le flux de contrôle.