来自 Alexander Doria（@Dorialexander）的推文线程

我不确定目前的格局是否已经定型，或许也不应该定型。许多其他语言用于特定领域（通常用于编写基于规则的约束），但用于合成的基准测试/数据集/配方却几乎不存在。