
会员
编程与类型系统
(美)弗拉德·里斯库迪亚更新时间:2021-01-29 11:52:35
最新章节:附录B TypeScript速览表开会员,本书免费读 >
本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌:机械工业出版社
译者:赵利通
上架时间:2021-01-01 00:00:00
出版社:机械工业出版社
本书数字版权由机械工业出版社提供,并由其授权上海阅文信息技术有限公司制作发行
最新章节
(美)弗拉德·里斯库迪亚
主页
最新上架
- 会员
Python语言科研绘图与学术图表绘制从入门到精通
本书共11章,第1章讲解Python基础,第2章讲解数据处理与分析,第3章讲解科研绘图与学术图表绘制库,第4章讲解绘制单变量图形,第5章讲解绘制双变量图形,第6章讲解绘制多变量图形,第7章讲解绘制其他2D图形,第8章讲解绘制3D图形,第9章讲解地理信息可视化,第10章讲解数据学术报告、论文和出版,第11章讲解实战训练营。计算机9万字 - 会员
Node.js应用开发
Node.js是一个基于ChromeV8引擎的JavaScript运行环境,用来编写服务器端程序。Node.js是新兴的开发工具,也是目前发展较快的开发工具之一。近几年来,随着Node.js的发展,越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术,并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用,案例及实计算机10.9万字 - 会员
小学生C++趣味编程从入门到精通
本书根据小学生学习的特点,选取了100多个有趣且易于理解的例子来介绍程序设计的基本概念,让小学生体会到用程序解决实际问题的乐趣。计算机7.3万字 - 会员
RHCSA/RHCE8红帽Linux认证学习教程
本书分为9篇,共35章。第1篇主要介绍基本配置;第2篇主要介绍用户及权限管理;第3篇主要介绍网络相关配置;第4篇主要介绍存储管理;第5篇主要介绍系统管理;第6篇主要介绍软件管理;第7篇主要介绍安全管理;第8篇主要介绍容器管理;第9篇主要介绍自动化管理工具ansible的使用。计算机12.4万字 - 会员
Java Web程序设计任务教程(第2版)
本书使用深入浅出、通俗易懂的语言阐述JavaWeb相关知识,并结合典型的Web应用案例,帮助读者掌握Web应用程序的开发技术。本书共15章,详细讲解了网页开发的基础知识和JavaWeb开发的核心知识,其中网页开发基础知识包括HTML技术、CSS技术、JavaScript技术和Bootstrap技术,而JavaWeb的核心知识包括Servlet技术、会话技术,JSP技术、JDBC技术和数据库连计算机16.6万字 - 会员
JavaScript+jQuery网页特效设计任务驱动教程(第2版)
本书是网页特效设计任务驱动式教材。本书将网页特效分为9类,分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效,同时相应地将全书分为9个教学单元,每个教学单元分析和设计一种类型的网页特效,将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字 - 会员
开源心法
本书全面介绍了华为在开源领域的实践和思考。首先,在认识开源部分,深入介绍了开源的起源、发展历程和底层逻辑;其次,在拥抱开源部分,揭示了华为积极参与和贡献开源的方式;然后,在践行开源部分,详细展示了华为在开源领域的具体实践和贡献;最后,在开源心法部分,深入探讨了华为对开源理念、价值观的理解和思考。此外,本书还剖析了开源产业、生态及文化的未来走向。本书旨在提供一个全面、深入的视角,让读者了解华为在开源计算机16.7万字 - 会员
深入浅出Java虚拟机:JVM原理与实战
本书主要以Java虚拟机的基本特性及运行原理为中心,分析了JVM的组成结构和底层实现,介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。计算机12.1万字 - 会员
PHP程序设计
PHP是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言,是目前开发各类Web应用的主流语言之一。本书站在初学者的角度,以通俗易懂的语言、丰富的图表、实用的案例详细介绍了PHP语言。全书共分11章:第1~7章主要介绍了Web开发概念和PHP入门、PHP基本语法、PHP流程控制和数组、PHP函数及应用、PHP与网页交互、PHP访问MySQL数据库、会话控制;第8~11章则围绕PHP进阶、PHP中的计算机14.5万字
同类书籍最近更新
- 会员
WebRTC技术详解:从0到1构建多人视频会议系统
这是一本全面、详细讲解WebRTC技术以及如何使用它构建一个可商用的视频会议系统的著作。技术维度,本书不仅详细讲解了WebRTC规范和全部API、信令系统、底层技术、移动端和服务端实现,而且还总结了作者多年来的“踩坑”经验;实战维度,本书不仅提供了可直接应用于视频会议和在线教育等场景的真实案例,而且开源了一个可商用的视频会议系统WiLearning,教读者如何从0到1搭建一个高并发、易扩展的视频会程序设计11.8万字 - 会员
Scala程序员面试算法宝典
《Scala程序员面试算法宝典》是一本讲解Scala程序员面试算法的书籍,在写法上,除了讲解如何解答算法问题外,还引入了实例辅以说明,让读者能够更好地理解本书内容。《Scala程序员面试算法宝典》将Scala程序员面试、笔试过程中各类算法类真题一网打尽。在题目的广度上,本书收集了近三年来几乎所有IT企业面试、笔试算法高频题目,所选择题目均为企业招聘使用题目。在题目的深度上,本书由浅入深,细致地分析程序设计11.3万字 - 会员
C++程序设计教程(第2版)
本书是C++程序设计的入门书籍,适合初学者使用。全书共11章,第1章主要介绍C++对C语言的扩充;第2~5章主要介绍C++的核心知识,包括类与对象、运算符重载、继承与派生、多态与虚函数;第6~7章主要介绍模板与STL;第8~9章主要介绍C++的I/O流和异常;第10章主要介绍C++11新特性;第11章带领读者开发一个综合项目——酒店管理系统,让读者将前面所学知识融会贯通,并了解实际项目的开发流程。程序设计11.8万字 - 会员
编程可以很简单
编程已然成为21世纪最流行、最重要的必备技能之一。编程可以方便地解决生活中遇到的多种问题,让生活变得更简单。本书共分为5部分。第1部分(第1~3章)讲解什么是代码、编程中常用的语言和编写代码的流程;第2部分(第4~9章)讲解如何使用HTML、CSS和JavaScript编写一个规范的网页;第3部分(第10~12章)介绍构建一个Web应用的具体过程;第4部分(第13~14章)简单介绍Ruby和Pyt程序设计13.4万字 - 会员
Python编程300例:快速构建可执行高质量代码
本书以人工智能发展为时代背景,通过实际案例应用描述算法,为Python程序员提供较为详细的实战方案,以便深度学习。主要从算法上分为数学、搜索、回溯、递归、排序、迭代、贪心、分治和动态规划等;从数据结构上分为字符串、数组、指针、区间、队列、矩阵、堆栈、链表、哈希表、线段树、二叉树、二叉搜索树和图结构等。针对经典算法,结合相关的数据结构,从描述问题、问题示例、代码实现以及运行结果相结合,语言简洁,深入程序设计5.6万字 - 会员
一步一步跟我学Scratch 3.0编程
本书分为9章,第1章是离线操作Scratch,都是通过小猫来演示,增加读者的兴趣。第2章是在线操作,帮读者搭配好环境,并继续小猫的例子。第3章让读者再次熟悉界面,第4章通过一些例子熟悉积木。第5~6章是编程内容了,第7章则多学习一些特效。第8章属于进阶内容,所谓独乐乐不如众乐乐,我们还可以去参加比赛、上传作品,最后一章是几个小游戏,帮助小朋友练手加深对Scratch的学习。程序设计9644字