Blog
All articles. All pillars. All authors.
Async et concurrence dans la VM
Exécution asynchrone et concurrence dans la VM de FLIN : support WebSocket, tâches concurrentes et conception de la boucle d'événements.
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.
Gestion de la mémoire et ramasse-miettes
La gestion de la mémoire dans la VM de FLIN : ramasse-miettes, interning de chaînes et allocation sur le tas en Rust.
Fermetures et fonctions d'ordre supérieur dans la VM
Implémentation des fermetures et fonctions d'ordre supérieur dans la machine virtuelle de FLIN : upvalues et sémantique de capture.
La référence complète des opcodes FLIN
La référence complète des opcodes FLIN : arithmétique, flux de contrôle, entités, vues et instructions de fermetures.
Rechargement à chaud de modules en 42 ms
Le rechargement à chaud de modules de FLIN : changements de fichiers compilés et dans le navigateur en moins de 50 ms, avec l'état préservé.
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.
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.