The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!
本书为知名互联网公司(明道)从市场的观察、产品的理念和自己的实践中开发的管理进步课程《高绩效团队的三个秘密》,概括了长期
《老年大学摄影进阶教程》内容简介:本书是摄影家张恣宽总结四十多年创作经验和十多年老年大学教学成果,为有一定基础的老年大学学
《药味集》内容简介:周氏散文风格向被形容为“闲适”,在他看来这可分为“小闲适”与“大闲适”,后者即“唯其无奈何所以也就不必
《小狐狸勇闯《山海经》·四海八荒(平装)》内容简介:小狐狸是一个地图迷,无意在爷爷书房里发现一张“山海经”地图,他拿起放大
Corporationshavefinallyrealizedthevalueofcollaborationtoolsforknowledgesharingan...
本书由一个团队编写而成,这个团队的成员都是一些经验丰富且专注于JavaScript的开发者。TomHallett是一位高级Ruby和JavaScript工
《汉字王国:让中国走向现代的语言革命》内容简介:在地铁上,超市排队时,上班办公的空当,我们都能用大拇指以惊人的速度在手机上
《总体设计》是已故美国著名城市规划师,麻省理工学院教授凯文·林奇的经典著作。书中包括对总体设计程序的论述,典型实例的分析
《叶秀山全集·第六卷》内容简介:本选题分类结集叶秀山先生全部已经出版的专著,在学术期刊上发表的所有论文,以及部分笔记、札记
如同某种势不可挡的新型病毒,地下黑客圈子流言四起:某个聪明绝顶、胆大妄为的家伙发动了对线上犯罪网络的恶意接管,这个犯罪网
《社会主义核心价值观·关键词:诚信》内容简介:在一般意义上,“诚”即诚实诚恳,主要指主体真诚的内在道德品质;“信”即信用信
《普通高等教育"十一五"国家规划教材·通信网理论与应用》系统地介绍了通信网的相关理论和技术,主要内容包括通信网的基本概念及
本书以目前第二代(2G)、第三代(3G)和第四代(4G)移动通信系统为背景,总结移动通信中共同的客观规律、基本理论和核心技术。从移动
代号为“Tiger”的下一个Java版本,不只是个小改动版。在语言核心中有超过100项以上的变动,同时有大量的对library与API所做的加
《单片机基础及应用项目式教程》内容简介:本书以宏晶公司的STC89C52RC单片机为例,采用“项目和任务驱动”模式编写,将单片机基础
本书在全面概述电子商务模式与应用、网络平台建设、电子商务的案例与支付、物流、网络营销与CRM、管理和法律环境的理论基础上,覆
《PyTorch机器学习从入门到实战》内容简介:近年来,基于深度学习的人工智能掀起了一股学习的热潮。本书是使用PyTorch深度学习框架
《少年读山海经·千万里江山》内容简介:《山海经》是一部包罗万象的千古奇书,是一座研究古代地理和神话的宝库。“少年读山海经”
《互联网营销:理念的颠覆与蜕变》内容简介:这本书把互联网商业的新营销思维,简要地归纳为四个英文字母SURE,分别代表口碑扩散(
本书将虚拟现实描绘为人类和图像之间的一种核心关系,论证了在新旧媒介中这种关系是如何体现的。作者以“沉浸”和“幻觉”为线索