会员
编程与类型系统
更新时间：2021-01-29 11:52:35 最新章节：附录B TypeScript速览表
书籍简介
本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌：机械工业出版社
译者：赵利通
上架时间：2021-01-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
(美)弗拉德·里斯库迪亚
最新上架
- 会员本书从分布式系统的基础概念讲起，随后介绍分布式系统中间件SpringCloudAlibaba进阶实战，重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程。计算机3.1万字
- 会员本书全面深入地介绍Elasticsearch的核心功能及其工作机制。本书由浅入深，从Elasticsearch的基本用法和架构原理，以及倒排索引、分片、节点角色和相关性等核心概念讲起；然后深入探讨数据处理和索引管理，涵盖映射模式、数据类型、文本分析、索引模板；接着详细介绍词项级搜索、全文搜索、复合查询和高级搜索等Elasticsearch的搜索功能，并深入讲解聚合；最后聚焦生产环境中的Elasti计算机27.5万字
- 会员本书从网络工程师的视角出发，详细讲解了Python在网络运维自动化中的应用，其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章，先对Python网络运维自动化进行了全面的概述，然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着，本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字
- 会员本书是网页特效设计任务驱动式教材。本书将网页特效分为9类，分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效，同时相应地将全书分为9个教学单元，每个教学单元分析和设计一种类型的网页特效，将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字
- 会员Node.js是一个基于ChromeV8引擎的JavaScript运行环境，用来编写服务器端程序。Node.js是新兴的开发工具，也是目前发展较快的开发工具之一。近几年来，随着Node.js的发展，越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术，并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用，案例及实计算机10.9万字
- 会员本书是一份旨在帮助Java求职者在面试中脱颖而出的重要指南。本书涵盖Java并发编程的多个关键主题，如并发原理和线程安全、并发关键字原理、并发锁和死锁、并发容器和工具、并发线程池以及并发设计与实战等。本书的特色在于将“大厂”“名企”的面试问题和实践经验相结合，不仅对面试问题和面试官心理进行深度剖析，还对面试问题解答和相关技术点进行详细介绍，这样更有利于读者全面理解相关知识点和技术，并能够在实际工作计算机17.6万字
- 会员本书介绍了Docker和Kubernetes的相关知识，可以帮助读者快速了解并熟练配置Kubernetes。本书共分为16章。首先介绍了Docker基础和Docker进阶；然后介绍了Kubernetes的基础操作，包括部署Kubernetes集群、升级Kubernetes、创建及管理Pod等；之后重点介绍了存储管理、密码管理、Deployment、DaemonSet及其他控制器、探针、Job、服务计算机8.6万字
同类书籍最近更新
- 会员本书分为12章，主要包括学习人工智能原理、自然语言处理技术、掌握深度学习模型、NLP开源技术实战、Python神经网络计算实战、AI语音合成有声小说实战、玩转词向量、近义词查询系统实战、机器翻译系统实战、文本情感分析系统实战、电话销售语义分析系统实战人工智能辅助写作系统（独家专利技术解密）。程序设计0字
- 会员本书书分为以下几部分：第一部分：预备知识：介绍数据结构和算法的基本概念，并演示如何搭建开发环境、编写测试用例。第二部分：数据结构：介绍常见的数据结构，包括数组、链表、矩阵、栈、队列、跳表、散列、树、图等。第三部分：常用算法：介绍常用的算法，包括分而治之、动态规划、贪婪算法、回溯、分支界定、遗传算法等。第四部分：商业实战：介绍汉诺塔及五子棋两款游戏的实现。程序设计0字
- 会员本书通过8个典型的实战案例，讲解了微信小程序的开发方法。内容除微信小程序基础外，还介绍了美食类的仿菜谱精灵微信小程序；资讯类的仿头条号微信小程序；生鲜类的仿爱鲜蜂微信小程序；电影类的仿淘票票微信小程序；音乐类的仿酷狗音乐微信小程序；电商类的仿京东购物微信小程序；求职类的仿拉勾网微信小程序；教育类的仿猿题库微信小程序等。每个案例包括需求描述、交互分析、设计思路、相关知识点以及案例详细开发步骤，内容全程序设计6.4万字
- 会员笔者认为在STEM教育视野下信息技术课程需要变革，因此编写了本书，其中，PicoBoard互动篇、ArduinoUNOR3创新篇和整合应用实践篇等的20多个案例让学生的编程“跳”出计算机屏幕，令趣味编程走向趣味创造，意图使Scratch的核心思想增加“创造（Create）”这一元素。让孩子能体验整合信息技术、工程、数学等多学科知识技能解决生活中实际问题的乐趣，提升STEM素养。程序设计3.9万字
- 会员全书共20章，其中，第1章讲解了算法为什么是程序的灵魂；第2～8章分别讲解了常用的算法，如线性表、队列和栈，树，图，查找算法，内部排序算法，外部排序算法等知识，这些内容都是算法技术核心的语法知识；第9～15章分别讲解了经典的数据结构问题、解决数学问题、解决趣味问题、解决图像问题、算法的经典问题、解决奥赛问题、常见算法应用实践等高级编程技术，这些内容是算法技术的重点和难点；第16～20章分别通程序设计21.6万字