Sauf qu'on a jamais vraiment su faire parler des chercheurs qui font des langues formelles avec l'industrie sérieusement comme la Méthode_B, les gens qui font des langages comme Haskell ont du mal à parler avec des gens qui font de la vérification ...
Euh... Ce sont des approches différentes du même sujet. Quel est la différence entre inclure ta vérification dans ton système de type et le faire via un outil externe au langage ? Que ces gens explorent des façons différentes de faire ne pose pas particulièrement de problème et les vérifications qu'ils font ne sont pas particulièrement complexe (ce n'est pas du domaine de la recherche - du moins pour les vérifications effectuées -).
Ensuite personnellement hors système de type, ce qu'il me manque au quotidien c'est de pouvoir créer des règles facilement à moi (par exemple, le code de ce fichier n'a le droit d'utiliser que cette méthode de tel autre fichier/module/whatever - comprenons nous bien c'est bien plus sophistiqué que la visibilité protected/public/private que l'on trouve partout).
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Typage strict
Posté par barmic . En réponse à la dépêche Sortie de PHP 7.0 - un nouveau départ. Évalué à 4.
Euh... Ce sont des approches différentes du même sujet. Quel est la différence entre inclure ta vérification dans ton système de type et le faire via un outil externe au langage ? Que ces gens explorent des façons différentes de faire ne pose pas particulièrement de problème et les vérifications qu'ils font ne sont pas particulièrement complexe (ce n'est pas du domaine de la recherche - du moins pour les vérifications effectuées -).
Ensuite personnellement hors système de type, ce qu'il me manque au quotidien c'est de pouvoir créer des règles facilement à moi (par exemple, le code de ce fichier n'a le droit d'utiliser que cette méthode de tel autre fichier/module/whatever - comprenons nous bien c'est bien plus sophistiqué que la visibilité
protected/public/privateque l'on trouve partout).Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)