> Ça serait dommage, mais c'est une éventualité que je n'exclu pas.
Je ne suis pas sûr de comprendre.
Ce que je voulais dire, c'est que si il s'avère qu'implémenter cette fonctionnalité est impossible ou apporte plus de problèmes que de solutions, je n'exclu pas de la retirer.
Mais au final, je me demande quand même, à part l'exploit, à quoi ça peut servir.
Cette idée est partie du concept de undefined, pour permettre de travailler avec les propriétés d'une variable sans forcément connaître sa valeur (ce qui se fait beaucoup en math).
Si tu prend l'exemple suivant :
let s: string
let l = std.strlen(s)
let l < some_buffer_maxsize
s := "foo"
let 3 = l
s := "hello"
let 4 = l
s := "too big for buffer" # une erreur
Pas besoin d'écrire plusieurs fois std.strlen, on connait déjà la définition de l. En ajoutant une contrainte à la valeur de l, on contraint aussi les valeurs possibles de s.-
[^] # Re: Contraintes
Posté par David Delassus (site web personnel) . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 1.
Ce que je voulais dire, c'est que si il s'avère qu'implémenter cette fonctionnalité est impossible ou apporte plus de problèmes que de solutions, je n'exclu pas de la retirer.
Cette idée est partie du concept de undefined, pour permettre de travailler avec les propriétés d'une variable sans forcément connaître sa valeur (ce qui se fait beaucoup en math).
Si tu prend l'exemple suivant :
Pas besoin d'écrire plusieurs fois
std.strlen, on connait déjà la définition del. En ajoutant une contrainte à la valeur del, on contraint aussi les valeurs possibles des.-https://link-society.com - https://kubirds.com - https://github.com/link-society/flowg