• [^] # Re: Intéressant

    Posté par . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 4.

    Une question sur l’aspect équation...

    let x-3 = 0 // => x = 3 la valeur x vaut-elle 3 ou c’est une contrainte ?
x:=2 // Erreur ?
x:=3 // Ok

    Quand on ajoute une contrainte, est-elle testé à la compilation ? L’équation est-elle résolu ou utilisée lors de l’affectation pour vérifier les contraintes ?

    Un code comme ci-dessous va-t-il détecter l’erreur à la compilation ou à l’exécution ?

    let x > 0
let y < 0
y := -2
x := y // Erreur

    Voilà pour mes interrogations actuelles ;-)