
会员
编程与类型系统
(美)弗拉德·里斯库迪亚更新时间: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 继续学习
(美)弗拉德·里斯库迪亚
主页
最新上架
- 会员
Python机器学习编程与实战
本书采用常用技术与真实案例相结合的讲解方式,深入浅出地介绍了Python机器学习应用的主要内容。全书共8章,内容包括Python概述、NumPy数值计算、pandas基础、pandas进阶、Matplotlib绘图、scikit-learn、餐饮企业综合分析与预测、通信运营商客户流失分析与预测。前6章设置了选择题、填空题和操作题,后两章设置了操作题,希望通过练习和操作实践,读者可以巩固所学的内容。计算机7.4万字 - 会员
Node.js开发指南
本书跟随了Node.js的标准与行业的发展趋势,在介绍新标准与新技术的同时兼顾了理论基础和实际应用,主要内容分为基础和应用两部分,基础部分内容包含了Node.js环境配置,npm项目管理,JavaScript语法基础,Node.js基本模块的原理与使用,异步代码的编写与组织,应用部分包含了网络编程,桌面应用开发以及测试和调试。本书讲解与示例并重,由浅入深地剖析了Node.js模块与语言原理,并通过计算机10.9万字 - 会员
On Java:中文版·基础卷
本书是布鲁斯·埃克尔时隔15年,继ThinkinginJava之后又一力作,基于Java的3个长期支持版(Java8、11、17),讲解Java核心语法,并对Java的核心变化进行详述。全书内容通俗易懂,配合示例讲解逐步深入,并结合实际开发需要,从语言底层设计出发,有效帮读者规避一些常见的开发陷阱。主体部分共22章,内容包含对象、操作符、控制流、初始化和清理、复用、多态、接口、内部类、集合、函计算机29.4万字 - 会员
大规模语言模型开发基础与实践
本书分别讲解了大模型基础,数据集的加载、基本处理和制作,数据集的预处理,卷积神经网络模型,循环神经网络模型,特征提取,注意力机制,模型训练与调优,模型推理和评估,大模型优化算法和技术,AI智能问答系统和AI人脸识别系统。计算机11.2万字 - 会员
Java Web应用开发
本书将JavaWeb开发的基础知识与实例有机地结合在一起,系统地介绍JavaWeb应用开发过程中的一些实用技术、系统设计与编程思想。本书主要内容包括JavaWeb开发基础、Servlet入门、Servlet应用、JSP应用开发、JDBC数据库应用开发、EL表达式与JSTL标签、基于WebMVC框架的项目实践。全书不仅介绍理论基础,更强调实际应用。本书可作为普通高等院校计算机相关专业的教材,计算机9.5万字 - 会员
Java Web程序设计任务教程(第2版)
本书使用深入浅出、通俗易懂的语言阐述JavaWeb相关知识,并结合典型的Web应用案例,帮助读者掌握Web应用程序的开发技术。本书共15章,详细讲解了网页开发的基础知识和JavaWeb开发的核心知识,其中网页开发基础知识包括HTML技术、CSS技术、JavaScript技术和Bootstrap技术,而JavaWeb的核心知识包括Servlet技术、会话技术,JSP技术、JDBC技术和数据库连计算机16.6万字 - 会员
量子计算实战
在加密、科学建模、制造物流、金融建模和人工智能等领域,量子计算可以极大提升解决问题的效率。量子系统正变得越来越强大,逐渐可用于生产环境。本书介绍了量子计算的思路与应用,在简要说明与量子相关的科学原理之后,指导读者实现量子计算算法。本书将带领读者使用基于Java的Strange量子模拟器编写量子程序,并探索量子位和量子逻辑门。在介绍标准Java和构建工具创建量子算法的同时,本书还引入了有趣的示例和深计算机10.5万字 - 会员
C语言最佳实践
本书是魏永明近30年来开发和维护MiniGUI、HVML等开源项目的经验总结,旨在帮助有一定C程序编写经验的软件工程师在短时间内有效提高设计能力和编码水平。全书分为?3?篇。基础篇从可读性和可维护性出发,阐述了如何提高代码的可读性、用好写好头文件、正确理解编译警告并消除潜在问题、定义和使用常量等,介绍了如何有效利用构建系统生成器(CMake)来维护项目;模式篇阐述了常见的C程序接口设计模式,说明了计算机19.6万字 - 会员
数据库管理与开发项目教程:MySQL(微课版·第4版)
本书以MySQL为平台,从数据库管理和开发的角度出发,介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目,将每个项目分解成若干任务,使读者逐步学会创建、管理、开发数据库,并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深,由实践到理论,再从理论到实践,通过任务驱动的方式将理论与实践密切结合,体现了高职高专和应用型本科教育计算机12.6万字
同类书籍最近更新
- 会员
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字