Est-ce que ton système va au-delà des "tags" ? Il existe une méthode en Ocaml pour simuler un peu cela. J'ai voulu le faire pour gérer les unités dans les calculs, c'est juste infernal, car on passe son temps à multiplier des nombres de dimensions différentes. Si le système ne gère pas la multiplication/division des dimensions, c'est vraiment pénible à l'usage.
Pour gérer les problème de dimensions, les outils utilisé vont bien au dela (https://www.opengroup.org/face), ils définissent les API en terme d'unité, de dimension, mais aussi de référentiel (altitude vs le sol ou le point zéro, référentiel géodésique, etc...), de codage (nombre à virgule fixe 16.16 dans un entier 32 bits, par exemple)
Tous les cas que tu cites ne sont pas des cas d'erreurs fréquents ou des difficultés particulières à détecter rapidement au runtime.
Si vous pouviez trouver un truc pour les API REST, cela serait top, par contre; ou encore, la gestion de la compatibilité ascendante lors d'un changement de version ("est-ce que le futur $ go get ./.. va tout péter ou pas ?").
[^] # Re: Nombre dans les types
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Explorer des langages de programmation - édition 2020. Évalué à 3.
Est-ce que ton système va au-delà des "tags" ? Il existe une méthode en Ocaml pour simuler un peu cela. J'ai voulu le faire pour gérer les unités dans les calculs, c'est juste infernal, car on passe son temps à multiplier des nombres de dimensions différentes. Si le système ne gère pas la multiplication/division des dimensions, c'est vraiment pénible à l'usage.
Pour gérer les problème de dimensions, les outils utilisé vont bien au dela (https://www.opengroup.org/face), ils définissent les API en terme d'unité, de dimension, mais aussi de référentiel (altitude vs le sol ou le point zéro, référentiel géodésique, etc...), de codage (nombre à virgule fixe 16.16 dans un entier 32 bits, par exemple)
Tous les cas que tu cites ne sont pas des cas d'erreurs fréquents ou des difficultés particulières à détecter rapidement au runtime.
Si vous pouviez trouver un truc pour les API REST, cela serait top, par contre; ou encore, la gestion de la compatibilité ascendante lors d'un changement de version ("est-ce que le futur $ go get ./.. va tout péter ou pas ?").
"La première sécurité est la liberté"