
会员
编程与类型系统
(美)弗拉德·里斯库迪亚更新时间: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 继续学习
(美)弗拉德·里斯库迪亚
主页
最新上架
- 会员
程序设计与问题求解:C语言
本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章,主要内容包括:计算思维与问题求解,数据类型、运算符和表达式,简单的C程序设计,选择结构程序设计,循环结构程序设计,函数,数组,常用算法,指针,结构体,文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识,注重问题抽象,通过问题案例分析,逐步给出问题求解算法与程序实现,引导读者的算法思维和程序设计思维。通过“常计算机13.2万字 - 会员
RHCSA/RHCE8红帽Linux认证学习教程
本书分为9篇,共35章。第1篇主要介绍基本配置;第2篇主要介绍用户及权限管理;第3篇主要介绍网络相关配置;第4篇主要介绍存储管理;第5篇主要介绍系统管理;第6篇主要介绍软件管理;第7篇主要介绍安全管理;第8篇主要介绍容器管理;第9篇主要介绍自动化管理工具ansible的使用。计算机12.4万字 - 会员
JavaScript+jQuery交互式Web前端开发(第2版)
本书是一本入门级的Web前端开发教材,以通俗易懂的语言、丰富实用的案例,帮助初学者快速掌握JavaScript技术和jQuery技术,并能够运用JavaScript技术和jQuery技术开发交互式Web前端项目。全书共12章。第1~5章讲解JavaScript的基础知识;第6~8章讲解DOM和BOM的相关知识;第9章和第10章讲解jQuery的相关知识和使用方法;第11章讲解JavaScript面计算机14.9万字 - 会员
JavaScript+jQuery网页特效设计任务驱动教程(第2版)
本书是网页特效设计任务驱动式教材。本书将网页特效分为9类,分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效,同时相应地将全书分为9个教学单元,每个教学单元分析和设计一种类型的网页特效,将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字 - 会员
深入浅出Java虚拟机:JVM原理与实战
本书主要以Java虚拟机的基本特性及运行原理为中心,分析了JVM的组成结构和底层实现,介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。计算机12.1万字 - 会员
AI辅助编程Python实战:基于GitHub Copilot和ChatGPT
本书系统地介绍了如何利用AI助手Copilot和ChatGPT来提升Python编程的效率和质量。本书从AI助手的基础概念讲起,逐步深入到代码组织、阅读、测试、提示工程等关键技能,并引导读者通过实践掌握如何拆解复杂问题、查找和修复bug、自动化任务处理及开发计算机游戏。本书不仅提供了丰富的实例和练习,还探讨了AI助手的潜力和局限,以及未来的发展趋势,是希望在编程领域融入AI技术的读者的理想选择。本计算机17.2万字 - 会员
Python语言科研绘图与学术图表绘制从入门到精通
本书共11章,第1章讲解Python基础,第2章讲解数据处理与分析,第3章讲解科研绘图与学术图表绘制库,第4章讲解绘制单变量图形,第5章讲解绘制双变量图形,第6章讲解绘制多变量图形,第7章讲解绘制其他2D图形,第8章讲解绘制3D图形,第9章讲解地理信息可视化,第10章讲解数据学术报告、论文和出版,第11章讲解实战训练营。计算机9万字 - 会员
从零开始学Unity游戏开发:场景+角色+脚本+交互+体验+效果+发布
本书共有10章内容,以认识Unity引擎开始,从0到1突破,介绍了Unity游戏开发的方方面面。计算机0字 - 会员
码上行动:用ChatGPT学会Python编程
本书共15章,第1章讲解了ChatGPT的功能及在编程学习中的作用;第2章讲解了Python的语言特点及开发环境的搭建;第3-10章讲解了Python的语言基础,包括输入与输出、变量与类型、运算、控制流、函数、列表、字典、模块;第11-13章介绍了使用Python进行文件操作、网络爬虫的相关操作,以及面向对象程序设计;第14-15章介绍了ChatGPT工具在编程中的应用,包括利用它进行辅助开发和在计算机14.6万字