來自 Alexander Doria（@Dorialexander）的推文串

我不確定目前的格局是否已經定型，或許也不該定型。許多其他語言用於特定領域（通常用於編寫基於規則的約束），但用於合成的基準測試/資料集/配方卻幾乎不存在。