Oui un contrat de classe, ça pourrait être bien (enfin même c'est bien tout court). Après je suis pas sûr que des classes avec des ctor avec 15 arguments, ils aient des invariants de classe très clair :).
Et sinon, je préfère largement aussi la solution où la compilation échoue, que les solutions où le runtime pourrait detecté une erreur (même si la systémisation via contrat / contrat de classe c'est mieux que rien). Y'a assez de trucs qui peuvent chier au runtime pour pas en plus rajouter des choses qui pourraient être correct par construction (typiquement ce genre de choses, la gestion des types, ....).
My 2 cents, de quelqu'un qui est très très loin des j2ee et autres méga techno IT
[^] # Re: Rien de transcendant dirait-on
Posté par zul . En réponse au journal Noop : encore un nouveau langage ou bien nouvelle génération de langage. Évalué à 3.
Et sinon, je préfère largement aussi la solution où la compilation échoue, que les solutions où le runtime pourrait detecté une erreur (même si la systémisation via contrat / contrat de classe c'est mieux que rien). Y'a assez de trucs qui peuvent chier au runtime pour pas en plus rajouter des choses qui pourraient être correct par construction (typiquement ce genre de choses, la gestion des types, ....).
My 2 cents, de quelqu'un qui est très très loin des j2ee et autres méga techno IT