编程与类型系统（微软资深工程师撰写，从实际应用角度，系统阐述如何使用类型系统编写更好、更安全的代码） (华章程序员书库)
- 作者
- 弗拉德·里斯库迪亚(Vlad Riscutia)、赵利通译.
- 语言
- 简体中文
- 出版社
- 机械工业出版社 版次：第 1 版
- 出版日期
- 2021年1月14日
- 品牌
- 北京华章图文信息有限公司
- 纸书页数
- 258页
- 电子书格式
- epub,pdf,mobi,azw3,txt,fb2,djvu
- 文件大小
- 87567 KB
- 下载次数
- 4342
- 更新日期
- 2023-05-16
- 运行环境
- PC/Windows/Linux/Mac/IOS/iPhone/iPad/iBooks/Kindle/Android/安卓/平板
内容简介
本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
编程与类型系统（微软资深工程师撰写，从实际应用角度，系统阐述如何使用类型系统编写更好、更安全的代码） (华章程序员书库) EPUB, PDF, MOBI, AZW3, TXT, FB2, DjVu, Kindle电子书免费下载。
猜你喜欢
- The Story of the Nutcracker Ballet (Pictureback(R)) (English Edition) Deborah Hautzig、Diane Goode
- 企业安全降税的黄金法则：用管理会计的视角实施税收筹划（近40年实践经验 30多年教学经历 详解降税黄金法则） 李汉柱
- 仲景阴阳脉法 陈建国
- Marvin Redpost #3: Is He a Girl? (English Edition) Louis Sachar、Adam Record
- 儿童性教育知识小百科(性教育也是爱的教育。不回避，不瞎说，巧妙回答“好奇宝宝”提出的“尴尬问题”。教孩子认识自己的身体，防止诱拐和身体侵害，学会保护自己。) 风信子
- What Goes Up (English Edition) Wen Jane Baragrey
- 管理思维：破解管理难题，引爆团队执行力【星巴克、微软等公司特邀高管培训师、“天才炼金师”休·布兰诚意之作！500强优秀高管必备的七大底层逻辑，重塑管理思维，激发管理者自我潜能，全面解决复杂管理问题！】 休·布兰
- 安全软件开发之道：构筑软件安全的本质方法 (信息安全技术丛书) (美)John Viega、Gary McGraw、殷丽华；张冬艳；郭云川；颜子夜
- 华章金融·投资精译典藏版（套装共6册）为你带来经济荣枯中循环获利的方法 乔尔·蒂林哈斯特、珍妮特·洛、乔治·达格尼诺、沃伦E.巴菲特、杰克D.施瓦格、伯顿G.马尔基尔
- S-S-snakes! (Step into Reading) (English Edition) Lucille Recht Penner、Peter Barrett
- 前端函数式演进（阿里本地生活企业订餐前端负责人撰写，讲解前端函数式编程核心知识，分析流行前端框架对函数式思想的应用） 邵丁丁
- 石志超医论医话 石志超
- 5G时代边缘计算：LF Edge生态与EdgeGallery技术详解（华为首席开源联络官与多位边缘计算项目贡献者携手解读主流边缘计算项目） 任旭东
- 营销策划：方法、技巧与文案（第4版）（本书包括基础篇、专题篇和行业篇。有方法、有技巧、有文案，阐述透彻、案例丰富的营销策划书籍） (高等院校市场营销系列教材) 孟韬、毕克贵
- 巴菲特的投资组合（典藏版）（杨天南新译作，畅销书《巴菲特之道》姊妹篇，比尔·米勒、肯尼斯·费雪、查理·芒格联袂推荐） (华章经典·金融投资) 罗伯特·哈格斯特朗(Robert G. Hagstrom)、杨天南
- Escape from Mr. Lemoncello's Library (English Edition) Chris Grabenstein
- 深入浅出Pandas 利用Python进行数据处理与分析（《Python编程：从入门到实践》《零基础学Python》《利用Python进行数据分析》学习伴侣，用好Python必备） (数据分析与决策技术丛书) 李庆辉
- The Titanic: Lost and Found (Step into Reading) (English Edition) Judy Donnelly、Keith Kohler
- The Trail of Tears (Step into Reading) (English Edition) Joseph Bruchac
- Trains! (Step into Reading) (English Edition) Susan E Goodman、Michael J Doolittle
- 医疗行业估值 郑华、涂宏钢
- 在线组织：钉钉赋能28个组织数字化转型的故事和方法（涵盖零售、制造、互联网、物流、医疗、教育等11个行业，28个组织的数字化转型故事和方法） 王吉斌、彭盾、白雪飞
- AI岐黄：中医大脑医案集 林大栋
- The Stories Julian Tells (Julian's World) (English Edition) Ann Cameron、Ann Strugnell
- Daddy-Long-Legs (Looking Glass Library) (English Edition) Jean Webster、Ann M. Martin
- Put Me in the Zoo (Beginner Books(R)) (English Edition) Robert Lopshire
- ROS机器人项目开发11例（原书第2版） (机器人设计与制作系列) 拉姆库玛·甘地那坦(Ramkumar Gandhinathan)、郎坦·约瑟夫(Lentin Joseph)、潘丽、陈媛媛、徐茜、吴中红
- 架构真意 企业级应用架构设计方法论与实践（资深架构专家撰写，腾讯、阿里、百度、京东、滴滴、谷歌、IBM等企业的资深技术专家一致推荐！） (架构师书库) 范钢、孙玄
- 一看就懂的会计入门书（重点介绍三大财务报表、会计是怎么干活的、如何正确阅读和分析会计报表、如何使用会计信息） 钟小灵
- 北宋医王庞安时 范恒