我读到 lambda 演算是笛卡尔封闭范畴的语言。
据我了解，诸如 minikanren 或（部分）prolog 之类的关系语言将在这些以及其他类别上运行（因为函数是关系的特例）。了解更多相关信息将帮助我了解这些语言可以为我做的其他人无法做到的事情。
那么关系语言描述了哪些类别呢？
我读到 lambda 演算是笛卡尔封闭范畴的语言。
据我了解，诸如 minikanren 或（部分）prolog 之类的关系语言将在这些以及其他类别上运行（因为函数是关系的特例）。了解更多相关信息将帮助我了解这些语言可以为我做的其他人无法做到的事情。
那么关系语言描述了哪些类别呢？