编程与类型系统在线阅读
会员

编程与类型系统

(美)弗拉德·里斯库迪亚
开会员,本书免费读 >

计算机网络编程语言与程序设计13.4万字

更新时间:2021-01-29 11:52:35 最新章节:附录B TypeScript速览表

立即阅读
加书架
下载
听书

书籍简介

本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
品牌:机械工业出版社
译者:赵利通
上架时间:2021-01-01 00:00:00
出版社:机械工业出版社
本书数字版权由机械工业出版社提供,并由其授权上海阅文信息技术有限公司制作发行

最新章节

(美)弗拉德·里斯库迪亚
主页

最新上架

  • 会员
    本书介绍了Docker和Kubernetes的相关知识,可以帮助读者快速了解并熟练配置Kubernetes。本书共分为16章。首先介绍了Docker基础和Docker进阶;然后介绍了Kubernetes的基础操作,包括部署Kubernetes集群、升级Kubernetes、创建及管理Pod等;之后重点介绍了存储管理、密码管理、Deployment、DaemonSet及其他控制器、探针、Job、服务
    段超飞编著计算机8.6万字
  • 会员
    本书从零开始,介绍了Python编程语言的基础知识。全书共17章,第1-9章介绍了Python的语言基础;第10-13章介绍了与Python编程相关的拓展知识;第14-16章介绍了3个实战项目;第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。
    袁昕 贾炜编著计算机8.8万字
  • 会员
    本书立足于新工科和工程教育,从工程应用和实践者的视角,全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章,主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校
    胡平 刘涛主编计算机21万字
  • 会员
    本书围绕真实业务场景,系统完整地介绍了微服务中台架构在企业成功落地的全过程。它从企业遇到的IT架构痛点出发,覆盖了IT架构模式选型、技术方案设计、团队管理和项目实施过程中的每一步,并且介绍了如何基于阿里云PaaS平台,构建低风险、高可用、易扩展、好维护的业务中台。本书可以帮助对企业IT架构感兴趣的中高级软件工程师、架构师、产品经理、项目经理,深刻认识和理解业务中台,从而结合企业实际,快速搭建适合自
    任波计算机11.9万字
  • 会员
    在加密、科学建模、制造物流、金融建模和人工智能等领域,量子计算可以极大提升解决问题的效率。量子系统正变得越来越强大,逐渐可用于生产环境。本书介绍了量子计算的思路与应用,在简要说明与量子相关的科学原理之后,指导读者实现量子计算算法。本书将带领读者使用基于Java的Strange量子模拟器编写量子程序,并探索量子位和量子逻辑门。在介绍标准Java和构建工具创建量子算法的同时,本书还引入了有趣的示例和深
    (比)约翰·沃斯计算机10.5万字
  • 会员
    本书是Java入门书籍,适合初学者使用。全书共13章,第1章主要讲解Java的特点与发展史、JDK的使用、Java程序的编写与运行机制、Java开发环境的搭建等;第2~6章主要讲解Java编程基础知识,包括Java基本语法、面向对象、JavaAPI和集合;第7~12章主要讲解Java进阶知识,包括I/O、多线程、网络编程、JDBC、GUI、Java反射机制;第13章带领读者开发一个综合项目——基
    黑马程序员编著计算机20万字
  • 会员
    本书分别讲解了大模型基础,数据集的加载、基本处理和制作,数据集的预处理,卷积神经网络模型,循环神经网络模型,特征提取,注意力机制,模型训练与调优,模型推理和评估,大模型优化算法和技术,AI智能问答系统和AI人脸识别系统。
    王振丽编著计算机11.2万字
  • 会员
    PHP是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言,是目前开发各类Web应用的主流语言之一。本书站在初学者的角度,以通俗易懂的语言、丰富的图表、实用的案例详细介绍了PHP语言。全书共分11章:第1~7章主要介绍了Web开发概念和PHP入门、PHP基本语法、PHP流程控制和数组、PHP函数及应用、PHP与网页交互、PHP访问MySQL数据库、会话控制;第8~11章则围绕PHP进阶、PHP中的
    陈运军 李洪建主编计算机14.5万字
  • 会员
    本书分为三篇,共12章。第一篇:基础篇,包括第1-4章,介绍了uni-app的特点和优势、环境搭建、HBuilderX开发工具的安装和使用,以及uni-app的一些基础知识。第二篇:进阶篇,包括第5-9章,介绍了uni-app的基础配置、相关组件、导航栏、高效开发技巧,以及uniCloud云开发平台。第三篇:实战篇,包括第10-12章,通过第一个实战,介绍了如何使用uni-app开发小程序;通过第
    欧阳江涛编著计算机10万字