基于Camlp5的泛型编程“缺省情况”研究

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。     

引导学生适度消费

时常听到学生家长抱怨,"给孩子买双运动鞋,非要‘阿迪达斯’、‘耐克’这样大品牌的""小小年纪就吵着要买手机,还要名牌,不满足要求孩子就生气、哭闹"……如今的学生,特别是城市里的学生高消费现象已成为家长和学校都头疼的一个问题。眼下,各中小学校都陆续开学,笔者发现,新生开学季成了不少家庭的"烧钱季"——购买新书包、新衣服、新的学     

陶峙岳轶事

他对机耕组的工作情况了如指掌,战士们的名字他都叫得上来。大家都说陶司令员是他们的"大队长"机耕农场(现八师石河子总场前身)是1951年8月1日成立的。成立以前是兵团直属生产大队,拖拉机组是生产大队的重要组成部分,有6台从原苏联进口的     

桂林市大力加强人武部暨民兵基层正规化建设

为促进国防后备力量建设,最近桂林市委市政府警备区组织17个县(区)党委政府和人武部领导,召开全市县(区)人武部暨民兵基层正规化建设现场会,观摩县级人武部、基层武装部和民兵营连部正规化建设试点成果,统一人武部和民兵基层建设标准要求;印发桂林市委市政府警备区关于推进两级人武部和民兵基层正规化建设的意见,明确在三年内分批完     

雁门关前听誓言——山西某预备役师多措并举推进主题教育落实记事

举旗铸魂强信念,尽职尽责建新功。暮春时节,驻守在雁门关下的山西某预备役师传来喜讯,他们在高标准完成总部赋予的"坚定信念、铸牢军魂"主题教育活动试点任务中,紧贴形势任务变化和预备役部队实际,坚持党委统揽、军地齐抓、统分结合、步步推进,着力引导广大官兵听党话、跟党走、尽职责,不仅圆满完成试点任务,而且使全体官兵真正接受了一次思想     

立足实际磨砺硬功——内蒙古科尔沁区人武部加强专武干部队伍建设纪实

近年来,内蒙古科尔沁区人武部为打造一支思想好、业务精、作风硬的专武干部队伍,进一步激发他们干好本职工作的内在动力,进发出更加旺盛的热情去实现能打仗、打胜仗的强军目标,人武部在专武干部中开展"人人当模范,处处争先锋,个个都过硬"活动,切实让党旗飘起来,让军旗艳起来,让专武干部良好形象树起来。本职岗位竞风流民兵组织建设是民兵工作的基础,如何把民兵组织编实、编强,确保一有情况拉得出、起作用,一直是     

民转军技术

电子工业用金基蒸发材料及溅射靶材【关键技术参数或产品性能】金基蒸发材料:1)高纯金5N及纯金4N产品高纯金:纯度Au≥99.999%、杂质总量≤10PPM、其中C≤0.3PPM;纯金:纯度Au≥99.99%、杂质总量≤100PPM。2)金铍AuBe1-2.5产品成分:Be1-2.5、Au余量、杂质总量≤0.01%。3)金锗AuGe2-12、金锗镍AuGe10-12Ni1-5合金     

民转军技术

一、中标麒麟服务器操作系统功能及主要应用情况:本产品主要用于部署和管理企业级或数据中心级应用服务,提供多核处理器支持;提供"一架式"的基础软件架构、基于全生命周期的系统管理以及全方位的安全增强;针对数据     

当前征兵工作亟待研究解决的几个问题

征兵是加强国防和军队建设的一项基础性工作。近几年,各地各级从讲政治的高度,紧紧围绕提高新兵质量,采取了许多切实可行的措施,较好地完成了征兵任务。但随着形势的发展,征兵工作仍然存在着一些新情况、新问题,亟待研究解决。(一)要进一步增强平时征兵准备的实效。平时征兵准备必须在重实效、求质量上下功夫。一是要尽快建立征兵常设机构。把各级征兵办公室作为一个由各有关职能部门组成的日常机构,是修改后的《征兵工作条例》新增的重要内容。各地各级应认真贯彻《条例》精神,尽快建立常设征兵办公室,健全工作制度,明确职责分工,以适应征…     

邯郸市征兵政审努力做到“五访五查五清楚”

为确保征集对象的政治质量,河北省邯郸市征兵办公室坚持在征兵政审工作中严格落实县(区)、乡、村三级政审和跨区域联审制度,努力做到访所在单位,查政治