Mini wiki
集论编程
编辑
集论编程是一种基于
数学
集论
的
编程范型
。基于该范型的
编程语言
的其中一个示例是
SETL
。集论编程的目标是显著提高
程序员
编程
的
效率律
,使
程序
可读和清晰。
1