
会员
编程与类型系统
(美)弗拉德·里斯库迪亚更新时间:2021-01-29 11:52:35
最新章节:附录B TypeScript速览表开会员,本书免费读 >
本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌:机械工业出版社
译者:赵利通
上架时间:2021-01-01 00:00:00
出版社:机械工业出版社
本书数字版权由机械工业出版社提供,并由其授权上海阅文信息技术有限公司制作发行
编程与类型系统最新章节
查看全部- 附录B TypeScript速览表
- 附录A TypeScript的安装及本书的源代码
- 习题答案
- 小结
- 11.3.5 线性类型
- 11.3.4 从属类型
- 11.3.3 高阶类型和范畴论
- 11.3.2 泛型编程
- 11.3.1 函数式编程
- 11.3 继续学习
(美)弗拉德·里斯库迪亚
主页
同类热门书
最新上架
性能之道:分布式系统全栈性能优化
这是一本从点、线、面、体4个维度深度解读分布式系统性能优化方法的专业工具书,更是一套全栈性能优化解决方案。全书融合了5位长期(最长有近30年工作经验)从事软件开发及优化工作的一线专家的实践经验和深刻理解,不仅从理论层面深入解读了性能优化的本质,还从软件开发整体流程的角度构建性能优化体系和评估策略。本书共分为17章。第1~4章主要介绍作者对性能优化的理解以及性能优化体系及评测方法。第5~9章对网络、计算机23.3万字- 会员
C++趣味编程及算法入门
本书讲解了C++语言基础知识,以及编程解题常用的方法和基础算法。每章都是由一个小故事来引出编程思维。本书也介绍了各种有趣的计算机知识,并涵盖了全国青少年软件编程等级考试(C语言)一级和二级考试的知识点。计算机13.4万字 - 会员
Node.js应用开发
Node.js是一个基于ChromeV8引擎的JavaScript运行环境,用来编写服务器端程序。Node.js是新兴的开发工具,也是目前发展较快的开发工具之一。近几年来,随着Node.js的发展,越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术,并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用,案例及实计算机10.9万字 - 会员
程序设计与问题求解:C语言
本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章,主要内容包括:计算思维与问题求解,数据类型、运算符和表达式,简单的C程序设计,选择结构程序设计,循环结构程序设计,函数,数组,常用算法,指针,结构体,文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识,注重问题抽象,通过问题案例分析,逐步给出问题求解算法与程序实现,引导读者的算法思维和程序设计思维。通过“常计算机13.2万字 - 会员
Java程序设计实战案例教程
本书从初学者的角度出发,由浅入深地讲解了Java语言的相关内容。全书共11章,主要介绍了Java开发环境的搭建及其运行机制、基本语法、面向对象编程思想、多线程、常用API、集合、I/O、网络编程等内容,采用通俗易懂的语言阐述抽象的概念,选用生活中密切相关的例子演示知识的运用,通过剖析案例、分析代码含义、解决常见问题等方式进行讲解。书中还添加了许多阶段性任务来模拟程序开发过程,帮助初学者培养良好的编计算机10.6万字 - 会员
Spring Cloud Alibaba核心技术与实战案例
本书从分布式系统的基础概念讲起,随后介绍分布式系统中间件SpringCloudAlibaba进阶实战,重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程。计算机3.1万字 - 会员
小学生C++趣味编程从入门到精通
本书根据小学生学习的特点,选取了100多个有趣且易于理解的例子来介绍程序设计的基本概念,让小学生体会到用程序解决实际问题的乐趣。计算机7.3万字 - 会员
Java EE企业级应用开发教程:Spring+Spring MVC+MyBatis(第2版)
本书详细讲解JavaEE中Spring、SpringMVC和MyBatis三大框架(以下简称SSM)的基本知识和应用。本书在对知识点进行描述时采用了大量案例,以便读者理解SSM的核心技术。本书共15章,第1~5章主要讲解MyBatis的相关知识,包括初识MyBatis框架、MyBatis的核心配置、动态SQL、MyBatis的关联映射和缓存机制,以及MyBatis的注解开发;第6~9章主要讲解计算机15.8万字 - 会员
JavaScript+jQuery网页特效设计任务驱动教程(第2版)
本书是网页特效设计任务驱动式教材。本书将网页特效分为9类,分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效,同时相应地将全书分为9个教学单元,每个教学单元分析和设计一种类型的网页特效,将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字
同类书籍最近更新
- 会员
Microsoft HoloLens By Example
ThisbookisfordeveloperswhohavesomeexperiencewithprogramminginanyofthemajorlanguagessuchasC#,C++,andsoon.YoudoneedanyknowledgeofAugmentedRealitydevelopment.程序设计7.6万字 - 会员
Learning Redux
ThisbooktargetsdeveloperswhoarealreadyfluentinJavaScriptbutwanttoextendtheirwebdevelopmentskillstodevelopandmaintainbiggerapplications.程序设计6.2万字 - 会员
Intelligent IoT Projects in 7 Days
Ifyou'readeveloper,IoTenthusiast,orjustsomeonecuriousaboutInternetofThings,thenthisbookisforyou.Abasicunderstandingofelectronichardware,networking,andbasicprogrammingskil程序设计2.4万字 - 会员
Beginning C# 7 Hands-On:The Core Language
ThisbookwillappealtoanyonewhoisinterestedinlearninghowtoprograminC#.Previousprogrammingexperiencewillhelpyougetthroughtheinitialsectionswithease,although,it’snotmandato程序设计9.4万字 - 会员
WordPress Complete(Sixth Edition)
Thisbookisforanyonewhowantstolearnhowtocreateafunctionalwebsite,withouthavingtohireadeveloperoradesigner.ThebestthingaboutWordPress—theopensourcesoftwarethatwe'regoin程序设计8.2万字 - 会员
JBoss:Developer's Guide
IfyouareaJavadeveloperwhowantstohaveacompleteviewoftheJBossecosystemorquicklyexploreaspecificJBossProduct,thenthisisthebookyouwant.Integratorsandconsultants,familiar程序设计5.2万字