SETL SETLSET语言是一种基于数学集合论的领域特定的高级编程语言它最初由JackJacob T Schwartz于二十世纪六十年代末在纽约大学科朗数学研究所开发