华东理工大学学报（自然科学版）
華東理工大學學報（自然科學版）
화동리공대학학보（자연과학판）
JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2006年
8期
967-969,1006
,共4页
泛型程序设计%类型%函数式语言
汎型程序設計%類型%函數式語言
범형정서설계%류형%함수식어언
泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码.本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法.利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上.
汎型程序設計提供瞭一種重要的程序設計範型,使程序員無鬚為不同的數據類型重複編寫功能相似的程序代碼.本文以相等函數為例闡述瞭汎型程序設計的基本方法,併利用直積和直和給齣瞭構造多型值的方法.利用這一結果能夠定義各種數據類型的相等性,同時,定義相等性的方法也可以自然地推廣到其他函數的定義上.
범형정서설계제공료일충중요적정서설계범형,사정서원무수위불동적수거류형중복편사공능상사적정서대마.본문이상등함수위례천술료범형정서설계적기본방법,병이용직적화직화급출료구조다형치적방법.이용저일결과능구정의각충수거류형적상등성,동시,정의상등성적방법야가이자연지추엄도기타함수적정의상.
