Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Déplacez-vous dans des modèles à plusieurs niveaux, en mettant l'accent sur les structures de données imbriquées et la corrélation intra-classe, et explorez des modèles à angle aléatoire et à pente aléatoire.
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.
