Effectivement l'inférence est limitée, puisqu'on interagit avec le C et que, d'autre part, on aime bien profiter d'une certaine sûreté (type checking).
Peux-tu expliquer la deuxième partie de cette phrase ? Je ne comprends pas le lien entre inférence de type et une éventuelle absence de sûreté liée à la vérification des types.
[^] # Re: Un langage amateur sympa, mais qui se prend trop au sérieux
Posté par auve . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 6.
Peux-tu expliquer la deuxième partie de cette phrase ? Je ne comprends pas le lien entre inférence de type et une éventuelle absence de sûreté liée à la vérification des types.