会员
编程与类型系统
更新时间：2021-01-29 11:52:35 最新章节：附录B TypeScript速览表
书籍简介
本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌：机械工业出版社
译者：赵利通
上架时间：2021-01-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
(美)弗拉德·里斯库迪亚
最新上架
- 会员本书是一份旨在帮助Java求职者在面试中脱颖而出的重要指南。本书涵盖Java并发编程的多个关键主题，如并发原理和线程安全、并发关键字原理、并发锁和死锁、并发容器和工具、并发线程池以及并发设计与实战等。本书的特色在于将“大厂”“名企”的面试问题和实践经验相结合，不仅对面试问题和面试官心理进行深度剖析，还对面试问题解答和相关技术点进行详细介绍，这样更有利于读者全面理解相关知识点和技术，并能够在实际工作计算机17.6万字
- 会员本书在《C语言程序设计案例式教程》的基础上进行了完善、补充和修订，内容更加丰富、翔实，结构层次更加清晰、合理。本书共11章，第1章主要介绍C语言概述、C语言开发环境的搭建和C语言程序的编译机制等；第2章和第3章主要介绍C语言的基础知识，包括关键字、标识符、常量、变量、数据类型、类型转换、运算符与表达式等；第4～9章主要介绍C语言的核心知识，包括结构化程序设计、数组、函数、指针、字符串、结构体等；第计算机16.3万字
- 会员本书立足于新工科和工程教育，从工程应用和实践者的视角，全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章，主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校计算机21万字
- 会员本书是与主教材《C语言程序设计》配套的实验与训练参考书，同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习，第二部分是上机实践与实验指导，第三部分是综合实训与技能提高，第四部分是计算机等级考试介绍。计算机7.1万字
- 会员本书内容分为差分进化算法（以下简称算法）的设计及应用。本书从差分进化算法基本原理、单目标差分进化算法、面向约束优化的差分进化算法、面向多目标差分进化算法、面向离散问题的差分进化算法等五个方面进行了介绍。对提出的10个算法进行了详细介绍和讨论，并给给出了实验（仿真）结果。计算机9.6万字
- 会员本书展示了如何利用事件驱动和响应式原理来构建健壮的分布式系统，减少延迟并提高吞吐量——特别是在微服务和无服务器应用程序中。本书分为四部分：第一部分介绍响应式的背景、环境和内容；第二部分深入讲解响应式，涵盖分布式系统的弊端、响应式系统和响应式编程；第三部分阐述如何使用Quarkus构建响应式应用程序，涵盖响应式引擎、响应式编程库SmallRyeMutiny、HTTP以及响应式数据访问的相关知识；第计算机11.1万字
同类书籍最近更新
- 会员本书主要内容包括Go语言简介、开发环境准备、快速基础入门、数学科学领域的计算、开发一个自己的日常命令行工具、文件处理、数据格式分析与转换、正则表达式、并发处理、数据采集和清理应用、网络服务端应用、Web服务器、加密解密领域应用、网络提供的各种API、常用Go语言技术的示例与研究、实用函数实例等。安排了大量实例代码，介绍相关编程知识。程序设计27万字
- 会员本书立足于新工科和工程教育，从工程应用和实践者的视角，全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章，主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校程序设计21万字
- 会员本书的程序案例采用广泛流行的PHP、MySQL、XML、CSS、JS、HTML5等程序开发语言及数据库实现。将案例和相关知识点融合，所有案例均在书中给出了核心实现代码并进行了讲解。初学者可以在了解PHP和MySQL语法之后，从头至尾地学习，对于其中难以理解的部分可以查阅相关资料，部分功能的开发还需要读者具有一定的JS、CSS等知识。有经验的微信公众平台开发人员可以根据自己的需要，直接切入相应章节程序设计16.5万字
- 会员本书采用常用技术与真实案例相结合的讲解方式，深入浅出地介绍了Python机器学习应用的主要内容。全书共8章，内容包括Python概述、NumPy数值计算、pandas基础、pandas进阶、Matplotlib绘图、scikit-learn、餐饮企业综合分析与预测、通信运营商客户流失分析与预测。前6章设置了选择题、填空题和操作题，后两章设置了操作题，希望通过练习和操作实践，读者可以巩固所学的内容。程序设计7.4万字
- 会员本书从初学者的角度出发，详细介绍了JavaWeb开发需要掌握的相关技术。全书分4个部分，共17章，由浅入深地介绍了HTTP、Tomcat、Servlet、Maven、数据库基础知识、JDBC、MyBatis、JSP、框架原理、如何设计自己的框架，以及在线购书商城、个人云文件系统、论坛、个人博客项目开发的完整过程。本书理论联系实际，不但能让读者全面掌握JavaWeb开发基本技术，而且能让读者开发程序设计8.5万字