Ben Java est type-safe, et ça passe par du lambda calcul si tu veux le faire correctement. Tu peux avoir toutes les impressions que tu veux, ça reste vrai.
Qu'est-ce que tu veux dire au juste ? En tout cas ce qu'on essaie de prouver d'habitude sur les lambda-calculs typés, à savoir que la réduction / le calcul préserve le typage, est faux pour Java. En effet, les tableaux sont covariants (un tableau de Foo peut être considéré comme un tableau de Object par exemple) ce qui casse la sûreté du typage.
C'est aussi le cas dans Dart, mais dans Dart les gens disent "on sait que c'est cassé". Dans Java, il n'y a rien dans les spécifications des premières versions du langage qui permette de penser qu'ils le savaient.
L'erreur a été rapidement pointée du doigt par les chercheurs qui font des systèmes de typage, cf. ce vieil article, section "Java Arrays".
J'ai du mal à croire que Java "était plein de lambda-calcul pour faire les preuves"; si preuves il y a eu, elles étaient fausses.
[^] # Re: Encore le type Null...
Posté par gasche . En réponse à la dépêche Dart va‐t‐il remplacer JavaScript comme langage dans les navigateurs ?. Évalué à 2.
Qu'est-ce que tu veux dire au juste ? En tout cas ce qu'on essaie de prouver d'habitude sur les lambda-calculs typés, à savoir que la réduction / le calcul préserve le typage, est faux pour Java. En effet, les tableaux sont covariants (un tableau de
Foopeut être considéré comme un tableau deObjectpar exemple) ce qui casse la sûreté du typage.C'est aussi le cas dans Dart, mais dans Dart les gens disent "on sait que c'est cassé". Dans Java, il n'y a rien dans les spécifications des premières versions du langage qui permette de penser qu'ils le savaient.
L'erreur a été rapidement pointée du doigt par les chercheurs qui font des systèmes de typage, cf. ce vieil article, section "Java Arrays".
J'ai du mal à croire que Java "était plein de lambda-calcul pour faire les preuves"; si preuves il y a eu, elles étaient fausses.