Flin
All Flin articles.
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.
Traits et interfaces
Comment nous avons conçu le système de traits de FLIN -- les déclarations de traits, les blocs impl, les bornes de traits sur les génériques, et l'implémentation Rust qui lie polymorphisme et sécurité des types.
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.
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.