采用集合记录验证类型

更新: 验证函数是否唯一这个程序