Flin
All Flin articles.
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.
Comment la VM exécute les vues
Comment la VM de FLIN exécute les vues : des opcodes de bytecode au rendu HTML avec liaison d'attributs réactive.
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é.
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.
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.
Le modèle temporel complet : ce qu'aucun autre langage n'offre
Rétrospective du modèle temporel complet de FLIN -- 152 sur 160 tâches, 10 catégories à 100 %, et pourquoi aucun autre langage de programmation n'offre le versionnement automatique, les requêtes de voyage dans le temps et l'analytique temporelle comme primitives du langage.