Le système de contraintes (que je trouve vraiment cool) demander d'implémenter un solveur d'équation, c'est pas très lourd quand on dépasse les exemples simples ?
Ça me semble aussi limite impossible dans l'absolu, mais on pourrait imaginer que les capacités du solveur font partie des spécifications du langage. Par exemple, le solveur sait gérer tel ou tel types d'équations, mais par tel autre.
Ce que je n'ai pas trop compris, c'est ce qui était censé être du ressort du compilateur. J'ai l'intuition que le solveur n'a que peu d'intérêt s'il n'est pas dynamique, puisqu'en pratique le compilateur ne serait qu'une calculette scientifique. Si tu veux spécifier un truc comme let x^2-4 < 0, ça revient à écrire let -2 < x < 2, je ne vois pas trop l'intérêt. Autant avoir un onglet ouvert sur Wolfram en même temps que tu codes. Là où ça devient vraiment intriguant, c'est d'avoir des limites dynamiques, du style let y*x^2-4 < 0, où y est un paramètre de la fonction. Mais forcément, ça ne peut pas trop se faire à la compilation, et si ça se fait à l'exécution, ça va avoir une conséquence sur les perfs.
[^] # Re: Contraintes
Posté par arnaudus . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 6.
Ça me semble aussi limite impossible dans l'absolu, mais on pourrait imaginer que les capacités du solveur font partie des spécifications du langage. Par exemple, le solveur sait gérer tel ou tel types d'équations, mais par tel autre.
Ce que je n'ai pas trop compris, c'est ce qui était censé être du ressort du compilateur. J'ai l'intuition que le solveur n'a que peu d'intérêt s'il n'est pas dynamique, puisqu'en pratique le compilateur ne serait qu'une calculette scientifique. Si tu veux spécifier un truc comme
let x^2-4 < 0, ça revient à écrirelet -2 < x < 2, je ne vois pas trop l'intérêt. Autant avoir un onglet ouvert sur Wolfram en même temps que tu codes. Là où ça devient vraiment intriguant, c'est d'avoir des limites dynamiques, du stylelet y*x^2-4 < 0, où y est un paramètre de la fonction. Mais forcément, ça ne peut pas trop se faire à la compilation, et si ça se fait à l'exécution, ça va avoir une conséquence sur les perfs.