validation - 用于指定值约束的通用语言

Question

我正在寻找一种定义文本表达式的通用方法，该方法允许验证值。

例如，我有一个值只能设置为1、2、3、10、11或12。
它的约束可以定义为:(value >= 1 && value <= 3) || (value >= 10 && value <= 12)
否则，另一个值为1、3、5、7、9等的值将具有类似value % 2 == 1或IsOdd(value)的约束。

(为了帮助用户更正无效值，我想展示一下约束-因此最好使用诸如IsOdd之类的描述性内容。)

这些约束将在客户端(在用户输入之后)和服务器端上进行评估。
因此，多平台解决方案将是理想的(特别是Win C#/Linux C++)。

是否有现有的语言/项目可以评估或解析类似的简单表达式？

如果没有，我应该从哪里开始创建自己的？

我意识到这个问题有些含糊，因为我不确定自己要做什么。搜索没有结果，因此即使以某些术语作为起点也将有所帮助。然后，我可以相应地更新/标记问题。

Answer 1

您可能想研究依赖类型的语言，例如Idris或Agda。

这种语言的类型系统允许对类型中的值约束进行编码。无法保证约束的程序将无法编译。通常的例子是矩阵乘法，其中尺寸必须匹配。但这可以说是依赖类型语言的“hello world”，类型系统可以为您做更多的事情。