Je dis peut-être une bêtise, mais ne pourrait-on pas considérer qu'une variable représente l'ensemble des valeurs possibles selon les contraintes définies ?
Définir x := 2 reviendrait à affecter à x le singleton { 2 }.
L'opérateur = ne serait alors que du sucre syntaxique pour les ensembles à un seul élément : pour une variable x représentant un singleton et une valeur n, x = n serait équivalent à n in x.
Et l'on pourrait réécrire le code ci-dessus de cette façon :
let x: int
if (3 in x) ## true
if (3 = x) ## false
[^] # Re: Lapin compris
Posté par Letho . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 1. Dernière modification le 08 janvier 2022 à 13:51.
Je dis peut-être une bêtise, mais ne pourrait-on pas considérer qu'une variable représente l'ensemble des valeurs possibles selon les contraintes définies ?
Définir
x := 2reviendrait à affecter àxle singleton { 2 }.L'opérateur
=ne serait alors que du sucre syntaxique pour les ensembles à un seul élément : pour une variable x représentant un singleton et une valeur n,x = nserait équivalent àn in x.Et l'on pourrait réécrire le code ci-dessus de cette façon :