S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Présente les bases de la conception de services, y compris les modèles et les processus clés, le cadrage des problèmes, la co-création et la cartographie du parcours client.
Couvre MetaMask, un portefeuille crypto pour les applications blockchain, mettant l'accent sur la sécurité du portefeuille et la protection des comptes.
Explore les défis des références nulles dans les langages de programmation et propose des solutions pour atténuer leurs inconvénients tout en assurant la compatibilité avec les bases de code existantes.
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
