会员
编程与类型系统
更新时间：2021-01-29 11:52:35 最新章节：附录B TypeScript速览表
书籍简介
本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌：机械工业出版社
译者：赵利通
上架时间：2021-01-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
(美)弗拉德·里斯库迪亚
同类热门书
最新上架
- 会员本书是与主教材《C语言程序设计》配套的实验与训练参考书，同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习，第二部分是上机实践与实验指导，第三部分是综合实训与技能提高，第四部分是计算机等级考试介绍。计算机7.1万字
- 会员本书从网页开发的基础知识HTML5、CSS、JavaScript开始，以项目实战的方式介绍如何构建自适应网页，并通过工具免费发布自己的网站。在后面的章节中，以主流的3D框架ThreeJS为技术支撑，在网页中编写JavaScript代码，让读者构建完整的3D应用场景。计算机0字
- 会员本书详细讲解JavaEE中Spring、SpringMVC和MyBatis三大框架（以下简称SSM）的基本知识和应用。本书在对知识点进行描述时采用了大量案例，以便读者理解SSM的核心技术。本书共15章，第1~5章主要讲解MyBatis的相关知识，包括初识MyBatis框架、MyBatis的核心配置、动态SQL、MyBatis的关联映射和缓存机制，以及MyBatis的注解开发；第6～9章主要讲解计算机15.8万字
- 会员本书分为三篇，共12章。第一篇：基础篇，包括第1-4章，介绍了uni-app的特点和优势、环境搭建、HBuilderX开发工具的安装和使用，以及uni-app的一些基础知识。第二篇：进阶篇，包括第5-9章，介绍了uni-app的基础配置、相关组件、导航栏、高效开发技巧，以及uniCloud云开发平台。第三篇：实战篇，包括第10-12章，通过第一个实战，介绍了如何使用uni-app开发小程序；通过第计算机10万字
- 会员本书从Java初学者的角度出发，用通俗易懂的语言、贴近实际生活的实例，详细地介绍使用Java语言进行程序开发须掌握的知识和技术，帮助读者快速掌握Java程序开发的技能。全书共14章，分别为Java程序设计入门、Java语言基础、流程控制、方法与数组、面向对象基础、深入面向对象、常用类、异常、集合类、File与I/O流、多线程、图形用户界面、网络编程、反射。随书电子资源中还提供了综合项目实训，以巩固计算机17万字
- 会员本书从零开始，介绍了Python编程语言的基础知识。全书共17章，第1-9章介绍了Python的语言基础；第10-13章介绍了与Python编程相关的拓展知识；第14-16章介绍了3个实战项目；第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。计算机8.8万字
- 会员本书从分布式系统的基础概念讲起，随后介绍分布式系统中间件SpringCloudAlibaba进阶实战，重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程。计算机3.1万字
同类书籍最近更新
- 会员《跟老男孩学Linux运维：Web集群实战》及《跟老男孩学Linux运维：Shell编程实战》这两本书自出版以来，得到了广大网友的一致好评和赞扬。同时也有部分读者提出了很多宝贵的建议，其中之一就是这两本书都不是面向纯零基础读者的书，需要具备一些基础的Linux知识辅助才能更好地进行学习。程序设计12.4万字
- 会员本书分为四篇：第一篇即为第1章，介绍开发环境的准备及账号的注册。学完本章内容，相当于取得了入场券。第二篇包括第2～10章，是项目实战部分。其中第2～6章是小程序前端案例，使用了后台地址但未涉及后台编程；第7～10章是在已有案例的基础上添加了后端程序的支持。先学习前端，再学习后端，由浅入深，这样更易于理解和掌握。第三篇包括第11～14章，详细讲解所有小程序组件的使用方法，几乎全部组件都具有生产可用的程序设计7.8万字
- 会员全书分为上下两卷，总共16章，涵盖了Solr各个方面的知识点。因此你只需要拥有足够的毅力将它阅读完，当然最好是能够边读边上机实践，就可以掌握Solr。此外每章之间都是相互独立的，如果你对于某章的内容已经非常熟悉，那么可以直接跳过选择感兴趣的章节进行学习。当然还是建议大家能够通读本书，系统学习Solr，这样才会对Solr有一个更完整的理解，为你日后从事Solr相关的开发工作打下夯实的基础。虽然本书中程序设计16.8万字
- 会员全书分为两大部分：理论篇和实践篇。前三章介绍了区块链技术的由来、核心思想及典型的应用场景。第4～5章重点介绍了区块链技术中大量出现的分布式系统技术和密码学安全技术。第6～8章分别介绍了区块链领域的三个典型开源项目：比特币、以太坊和超级账本。第9～11章以超级账本Fabric项目为例，具体讲解了安装部署、配置管理，以及使用FabricCA进行证书管理的实践经验。第12章重点剖析了超级账本Fabri程序设计17.4万字
- 会员本书内容分为差分进化算法（以下简称算法）的设计及应用。本书从差分进化算法基本原理、单目标差分进化算法、面向约束优化的差分进化算法、面向多目标差分进化算法、面向离散问题的差分进化算法等五个方面进行了介绍。对提出的10个算法进行了详细介绍和讨论，并给给出了实验（仿真）结果。程序设计9.6万字