作者:丁志义; 宋国新; 邵志清泛型程序设计类型函数式语言
摘要:泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《华东理工大学学报·社会科学版》(CN:31-1779/C)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《华东理工大学学报·社会科学版》主要刊登化学工程、生物化学、制药、材料、机械、信息与计算机、环境与能源等学科有创新意义的科学论文,并辟有研究简报栏目。
杂志详情