
会员
编程与类型系统
(美)弗拉德·里斯库迪亚更新时间: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 继续学习
(美)弗拉德·里斯库迪亚
主页
最新上架
- 会员
深入浅出Java虚拟机:JVM原理与实战
本书主要以Java虚拟机的基本特性及运行原理为中心,分析了JVM的组成结构和底层实现,介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。计算机12.1万字 - 会员
Python网络运维自动化
本书从网络工程师的视角出发,详细讲解了Python在网络运维自动化中的应用,其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章,先对Python网络运维自动化进行了全面的概述,然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着,本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字 - 会员
Java Web程序设计任务教程(第2版)
本书使用深入浅出、通俗易懂的语言阐述JavaWeb相关知识,并结合典型的Web应用案例,帮助读者掌握Web应用程序的开发技术。本书共15章,详细讲解了网页开发的基础知识和JavaWeb开发的核心知识,其中网页开发基础知识包括HTML技术、CSS技术、JavaScript技术和Bootstrap技术,而JavaWeb的核心知识包括Servlet技术、会话技术,JSP技术、JDBC技术和数据库连计算机16.6万字 - 会员
码上行动:零基础学会Python编程(ChatGPT版)
本书从零开始,介绍了Python编程语言的基础知识。全书共17章,第1-9章介绍了Python的语言基础;第10-13章介绍了与Python编程相关的拓展知识;第14-16章介绍了3个实战项目;第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。计算机8.8万字 - 会员
Java基础案例教程(第2版)
本书是Java入门书籍,适合初学者使用。全书共13章,第1章主要讲解Java的特点与发展史、JDK的使用、Java程序的编写与运行机制、Java开发环境的搭建等;第2~6章主要讲解Java编程基础知识,包括Java基本语法、面向对象、JavaAPI和集合;第7~12章主要讲解Java进阶知识,包括I/O、多线程、网络编程、JDBC、GUI、Java反射机制;第13章带领读者开发一个综合项目——基计算机20万字 - 会员
Java Web基础与实例教程
本书采用“任务驱动”的编写模式,由浅入深、循序渐进、系统地介绍了JavaWeb开发的相关知识。通过实际应用的案例,帮助读者巩固所学知识,以便更好地进行开发实践。全书共15章,内容涵盖了JavaWeb开发基础知识、Servlet接收GET请求数据、Servlet接收POST请求数据、Servlet生成HTTP响应数据、异步请求和异步响应、会话控制技术:Cookie与Session、过滤器Filt计算机16.7万字 - 会员
PHP程序设计
PHP是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言,是目前开发各类Web应用的主流语言之一。本书站在初学者的角度,以通俗易懂的语言、丰富的图表、实用的案例详细介绍了PHP语言。全书共分11章:第1~7章主要介绍了Web开发概念和PHP入门、PHP基本语法、PHP流程控制和数组、PHP函数及应用、PHP与网页交互、PHP访问MySQL数据库、会话控制;第8~11章则围绕PHP进阶、PHP中的计算机14.5万字 - 会员
数据库管理与开发项目教程:MySQL(微课版·第4版)
本书以MySQL为平台,从数据库管理和开发的角度出发,介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目,将每个项目分解成若干任务,使读者逐步学会创建、管理、开发数据库,并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深,由实践到理论,再从理论到实践,通过任务驱动的方式将理论与实践密切结合,体现了高职高专和应用型本科教育计算机12.6万字 - 会员
C语言程序设计习题与实验指导
本书是与主教材《C语言程序设计》配套的实验与训练参考书,同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习,第二部分是上机实践与实验指导,第三部分是综合实训与技能提高,第四部分是计算机等级考试介绍。计算机7.1万字
同类书籍最近更新
- 会员
Angular UI Development with PrimeNG
ThisbookisforeverybodywhowouldliketolearnorcreatemodernAngularbasedsinglepageapplicationsusingPrimeNGcomponentlibrary.Thisbookisagoodchoiceforbeginnerstoadvancedusersw程序设计6.1万字 - 会员
UX Design for Mobile
Thisbookisfordesigners,developersandproductmanagersinterestedincreatingsuccessfulapps.Readerswillbeprovidedwithaprocesstoproduce,testandimprovedesignsbasedonbestpractices程序设计7.5万字 - 会员
Deep Learning with Theano
Thisbookisindentedtoprovideafulloverviewofdeeplearning.Fromthebeginnerindeeplearningandartificialintelligence,tothedatascientistwhowantstobecomefamiliarwithTheanoandit程序设计5.2万字 - 会员
Building Serverless Web Applications
Ifyou’relookingtolearnmoreaboutscalableandcost-efficientarchitectures,thisbookisforyou.BasicknowledgeofNode.jsskillsorfamiliaritywithcloudservicesisrequired.Forothertopic程序设计6万字 - 会员
Mastering Drupal 8
Thisbookisideallysuitedtowebdevelopers,designers,andwebadministratorswhowanttodivedeepintoDrupal.PreviousexperiencewithDrupalisamusttounleashthefullpotentialofthisbook程序设计7万字 - 会员
Effective DevOps with AWS
Thisbookisfordevelopers,DevOpsengineersandteamswhowanttobuildanduseAWSfortheirsoftwareinfrastructure.Basiccomputerscienceknowledgeisrequiredforthisbook.程序设计8.2万字