1
Quel fragment de la théorie des types dépendants de Martin-Löf peut être exprimé en utilisant des types génériques en Java?
Je suis venu récemment pour se rendre compte que d' un certain nombre de problèmes , j'ai eu il y a quelques années à essayer de mettre en œuvre diverses théories mathématiques en Java est venu au fait que le système de frappe en Java est pas suffisamment forte pour …