Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Déplacez-vous dans les systèmes de financement participatif, les acteurs, les types de financement et les histoires de réussite dans le monde entrepreneurial.
Explore les morphismes projectifs, les modules gradués et leurs applications en géométrie algébrique, en mettant l'accent sur leurs propriétés et leur construction.
