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

编程与类型系统

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

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

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

立即阅读
加书架
下载
听书

书籍简介

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

最新章节

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

最新上架

  • 会员
    本书分为9篇,共35章。第1篇主要介绍基本配置;第2篇主要介绍用户及权限管理;第3篇主要介绍网络相关配置;第4篇主要介绍存储管理;第5篇主要介绍系统管理;第6篇主要介绍软件管理;第7篇主要介绍安全管理;第8篇主要介绍容器管理;第9篇主要介绍自动化管理工具ansible的使用。
    段超飞计算机12.4万字
  • 会员
    本书是与主教材《C语言程序设计》配套的实验与训练参考书,同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习,第二部分是上机实践与实验指导,第三部分是综合实训与技能提高,第四部分是计算机等级考试介绍。
    孟东霞主编计算机7.1万字
  • 会员
    Node.js是一个基于ChromeV8引擎的JavaScript运行环境,用来编写服务器端程序。Node.js是新兴的开发工具,也是目前发展较快的开发工具之一。近几年来,随着Node.js的发展,越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术,并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用,案例及实
    唐小燕 刘洪武主编计算机10.9万字
  • 会员
    本书是布鲁斯·埃克尔时隔15年,继ThinkinginJava之后又一力作,基于Java的3个长期支持版(Java8、11、17),讲解Java核心语法,并对Java的核心变化进行详述。全书内容通俗易懂,配合示例讲解逐步深入,并结合实际开发需要,从语言底层设计出发,有效帮读者规避一些常见的开发陷阱。主体部分共22章,内容包含对象、操作符、控制流、初始化和清理、复用、多态、接口、内部类、集合、函
    (美)布鲁斯·埃克尔计算机29.4万字
  • 会员
    本书主要以Java虚拟机的基本特性及运行原理为中心,分析了JVM的组成结构和底层实现,介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。
    李博计算机12.1万字
  • 会员
    本书从网页开发的基础知识HTML5、CSS、JavaScript开始,以项目实战的方式介绍如何构建自适应网页,并通过工具免费发布自己的网站。在后面的章节中,以主流的3D框架ThreeJS为技术支撑,在网页中编写JavaScript代码,让读者构建完整的3D应用场景。
    少儿编程网编著计算机0字
  • 会员
    本书是一本入门级的Web前端开发教材,以通俗易懂的语言、丰富实用的案例,帮助初学者快速掌握JavaScript技术和jQuery技术,并能够运用JavaScript技术和jQuery技术开发交互式Web前端项目。全书共12章。第1~5章讲解JavaScript的基础知识;第6~8章讲解DOM和BOM的相关知识;第9章和第10章讲解jQuery的相关知识和使用方法;第11章讲解JavaScript面
    黑马程序员编著计算机14.9万字
  • 会员
    本书系统地讲述了HTML5、CSS3、JavaScript、Bootstrap等开发技术,满足Web前端开发基础学习的需求。本书包括了HTML5与CSS3的典型案例、使用Bootstrap框架开发、响应式布局等内容,适应Web前端开发从PC端转向移动端的变化。
    张大为 刘德山 崔晓松 张也非主编计算机14.3万字
  • 会员
    本书从零开始,介绍了Python编程语言的基础知识。全书共17章,第1-9章介绍了Python的语言基础;第10-13章介绍了与Python编程相关的拓展知识;第14-16章介绍了3个实战项目;第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。
    袁昕 贾炜编著计算机8.8万字

同类书籍最近更新

  • 会员
    ThisbookisforallITprofessionals,systemadministratorsandsecurityanalysts,solutionarchitectsandChiefInformationSecurityOfficerswhoareresponsibleforsecuringworkloadsinAWSforth
    Albert Anthony程序设计6万字
  • 会员
    ThisbookwillappealtoanydeveloperwhowantstoknowwhatMachineLearningisandiskeentouseMachineLearningtomaketheirday-to-dayappsfast,highperforming,andaccurate.Anydeveloperw
    Rodolfo Bonnin程序设计4.3万字
  • 会员
    ThisbookisforJavasoftwareengineersandtesters.IfyouareaJavadeveloperwhoiskeenonimprovingthequalityofyourcodeandbuildingworldclassapplicationsthenthisbookisforyou.Pri
    Boni García程序设计5.7万字
  • 会员
    Ifyouareanetwork/systemadministratororasystemengineerandwouldliketoimplementOpenFlowconceptsandtakeSoftware-DefinedNetworkingonyourprojectstothenextlevel,thenthisbookis
    Oswald Coker Siamak Azodolmolky程序设计4.9万字
  • 会员
    ThisbookisforanyonewantingtostartlearningtheJavalanguage,whetheryou’reastudent,casuallearner,orexistingprogrammerlookingtoaddanewlanguagetoyourskillset.Nopreviousexperi
    Mark Lassoff程序设计6.6万字
  • 会员
    ThisbookisdesignedforbothnovicesandexperiencedSpringdevelopers.ItwillteachyouhowtooverrideSpringBoot'sopinionsandfreesyoufromtheneedtodefinecomplicatedconfigurations.
    Greg L. Turnquist程序设计7.2万字