preguntar acerca de type-systems

J'essaie d'apprendre agda. Cependant, j'ai eu un problème. Tous les tutoriels que j'ai trouvés sur Agda wiki sont trop complexes pour moi et couvrent différents aspects de la programmation. Après la lecture parallèle de 3 tutoriels sur agda, j'ai pu …

corrigez-moi si je me trompe, mais il semble que les types de données algébriques dans Haskell sont utiles dans de nombreux cas où vous utiliseriez les classes et l'héritage dans les langues OO. Mais il y a une grande différence: une fois qu'un type …

Quels sont les avantages et les limites des langages de type dynamique par rapport aux langages de type statique? Voir aussi : whats avec l'amour de la dynamique des langues (beaucoup plus argumentatif fil...) ... …

les gens de question Simple: je fais beaucoup de programmation (professionnellement et personnellement) dans des langages compilés comme C++/Java et dans des langages interprétés comme Python/Javascript. Personnellement, je trouve que mon code est pr …