【关于本书】
本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论,但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。
【读者对象】
本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。你应该具备一些使用面向对象编程语言(如Java、C#、C++或JavaScript/TypeScript)的经验,还应该有一些软件设计经验。虽然本书的代码示例是基于TypeScript的,但是大部分内容是普遍适用的。事实上,本书的代码示例并非总是使用TypeScript特有的功能。在编写代码示例时,我尽可能让熟悉其他编程语言的程序员也容易理解它们。虽然本书会介绍各种技术来帮助你编写健壮的、可组合的、封装程度更好的代码,但是也假定了你知道为什么我们希望获得这些特性。此外,本书侧重类型系统的实际应用,因此涉及的数学理论较少,但是你应该熟悉基本的代数概念,如函数和集合等。
【本书的组织方式】
本书包含11章,涵盖类型编程的各个方面。
第1章介绍类型和类型系统,讨论它们为什么存在以及为什么有用。我们将讨论类型系统的类型,并解释类型强度、静态类型和动态类型。
第2章介绍大部分语言中都有的基本类型,以及在使用这些类型时需要注意的地方。常用的基本类型包括空类型、单元类型、布尔类型、数值类型、字符串类型、数组类型和引用类型。
第3章介绍组合,包括把类型组合起来定义新类型的各种方式,还介绍实现访问者设计模式的不同方式,并定义代数数据类型。
第4章讨论类型安全—如何使用类型来减少歧义以及防止错误。本章还介绍如何使用类型转换在代码中添加或移除类型信息。
第5章介绍函数类型,以及当我们获得了创建函数变量的能力后能够做些什么,还展示实现策略模式和状态机的不同方式,并介绍基本的map()、filter()和reduce()算法。
第6章以前一章为基础,展示函数类型的一些高级应用,包括简化的装饰器模式、可恢复的函数和异步函数。
第7章介绍子类型,并讨论类型兼容。我们会看到顶层类型和底层类型的应用,以及从子类型的角度看,和类型、集合和函数类型之间的关系。
第8章介绍面向对象编程的关键元素,以及什么时候使用每种元素,并讨论接口、继承、组合和混入。
第9章介绍泛型编程及其第一种应用—泛型数据结构。泛型数据结构把数据的布局与数据本身分隔开。迭代器支持遍历这些数据结构。
第10章继续介绍泛型编程,讨论泛型算法及迭代器的分类。泛型算法是能够在不同数据类型上重用的算法。迭代器用作数据结构和算法之间的接口,并且能够根据迭代器的能力启用不同的算法。
第11章介绍高阶类型、函子和单子的概念,以及如何使用它们,并为进一步学习提供一些建议。
本书中的各章以前面章节中的概念作为基础,故建议读者按顺序阅读。虽然如此,但是本书介绍的4大主题相对独立:前4章介绍基础知识;第5~6章介绍函数类型;第7~8章介绍子类型;第9~11章介绍泛型编程。
《厚黑学》自诞生以来,一直是中国文化界的一大奇观,畅销数千万册。李宗吾将历史的根本付于笔端、大白天下,评价古今人士的成功秘笈不过是“脸厚心黑”。用犀利的文笔、辛辣的言语品评世间万物和古今之人,此番比鲁迅还早的高论不得不值得世人学习、研究和传承。
中国乃礼仪之邦,国人自古好面子,该说的不说,绕来绕去,既丢了大好的时机,又牺牲了自己的利益。如此看来,讲话还是需要技巧的,没有随机应变的本领,说不定就会惹祸上身,所以厚黑学要用到无形无色,既能讨得别人欢心,又能达成自己的目标,这才是真正的厚黑之学。
《图解厚黑学大全集》广泛收集了李宗吾的大量论文和专著,其中包括《厚黑学》、《厚黑原理》、《厚黑丛话》、《厚黑别论》、《社会问题之商榷》、《中国学术之趋势》等篇章,收录了张默生、林语堂、南怀瑾、柏杨等文化名流对李宗吾其人、其书的深度解读,并配有精美的插图和详细的图解,让您在最短的时间内领略厚黑的思想精髓,是一部真正意义上的图文并茂的“厚黑学大全集”。
Rust是一门系统编程语言,是支持函数式、命令式以及泛型等编程范式的多范式语言。Rust在语法上和C++类似。Rust快速、可靠、安全,它提供了甚至超过C/C++的性能和安全保证,同时它也是一种学习曲线比较平滑的热门编程语言。
本书内容共17章,由浅入深地讲解Rust相关的知识,涉及基础语法、软件包管理器、测试工具、类型系统、内存管理、异常处理、高级类型、并发模型、宏、外部函数接口、网络编程、HTTP、数据库、WebAssembly、GTK+框架和GDB调试等重要知识点。
本书适合想学习Rust编程的读者阅读,希望读者能够对C、C++或者Python有一些了解。书中丰富的代码示例和详细的讲解能够帮助读者快速上手,高效率掌握Rust编程。
周金涛先生,中信建投前首席经济学家,中国康波周期理论研究的开拓者。作为大师级的策略分析师, 从2008年次贷危机到2016年大宗商品年度反弹, 周金涛先生对于大级别周期运行脉络的把握可谓千古独步, 被人们誉为“周期天王”。本书把周金涛先生的重要报告和研究成果完全按照发表时间的先后排列,以方便读者能够根据当时的社会现实情况把周金涛的预言和研究做一一对应的验证和研究,以更全面更精细地把握周先生独特的思维体系和它的发展历程。书中的内容几乎覆盖了包括股票、商品、美元、黄金以及房地产等在内的所有大类资产类别,他的研究成果使我们社会中每一个微小的个人终于开始抬头仰望星空,开始首先思考大类资产的战略选择!
本书是领域驱动设计方面的经典之作,修订版更是对之前出版的中文版进行了全面的修订和完善。 全书围绕着设计和开发实践,结合若干真实的项目案例,向读者阐述如何在真实的软件开发中应用领域驱动设计。书中给出了领域驱动设计的系统化方法,并将人们普遍接受的一些实践综合到一起,融入了作者的见解和经验,展现了一些可扩展的设计新实践、已验证过的技术以及便于应对复杂领域的软件项目开发的基本原则。
本书为超级畅销书《大话设计模式》作者程杰潜心三年推出的扛鼎之作!以一个计算机教师教学为场景,讲解数据结构和相关算法的知识。通篇以一种趣味方式来叙述,大量引用了各种各样的生活知识来类比,并充分运用图形语言来体现抽象内容,对数据结构所涉及到的一些经典算法做到逐行分析、多算法比较。与市场上的同类数据结构图书相比,本书内容趣味易读,算法讲解细致深刻,是一本非常适合自学的读物。 本书以一个计算机教师教学为场景,讲解数据结构和相关算法的知识。通篇?一种趣味方式来叙述,大量引用了各种各样的生活知识来类比,并充分运用图形语言来体现抽象内容,对数据结构所涉及到的一些经典算法做到逐行分析、多算法比较。与市场上的同类数据结构图书相比,本书内容趣味易读,算法讲解细致深刻,是一本非常适合自学的读物。
吕梁三杰霍元龙、史仲俊、陈达海为抢夺一幅埋藏宝物的高昌迷宫图,带人与师妹上官虹及其夫白马李三交手。 由于寡不敌众,李三夫妇一直跑到回疆,仍没摆脱追踪,夫妻顽强抗战,手刃数名强敌,杀死史仲俊,双双战死。白马带着他们七岁的女儿李文秀跑入沙漠,遇见大风沙,吹至哈萨克人的居住区,被这里唯一的汉人叶老丈收养。霍元龙和陈达海找不到李文秀,对村中老弱病残妇的哈萨克人进行屠杀掠夺,引起哈萨克人的仇恨。李文秀自此后与叶老丈一同生活,并与哈萨克第一勇士苏鲁克的儿子苏普结为好友。 一次他们一同玩时遇见一头大狼,被二人合力杀死。苏鲁克因不在家时妻子被霍元龙等所害,从而仇恨所有的汉人,阻止苏普与李文秀来往;李文秀见苏普挨父亲的毒打,把他送给自己的狼皮送到哈萨克美丽的少女阿曼的门口,再也不见苏普。 随着时间的推移,李文秀变成了大姑娘,她偷偷观看苏普与人比武摔跤,却发现了阿曼对苏普的爱情,伤心而走,被一直在回疆寻找她的霍元龙手下之人发现。李文秀想起父母的仇恨,欲将他们带入戈壁之中,同归于尽,却巧遇隐藏在此的一指震江南华辉,在他的指导下,用毒针杀死围追的敌人,并帮助华辉挖出背上的毒针,拜他为师。两年时间,李文秀不时去华辉处学艺,已成为武林高手。 这日苏普与阿曼为避冰雪来到叶老丈家中,碰巧陈达海也来这里。一个询问儿时的伙伴,一个追查当年的汉族小姑娘,动起手来,苏普被陈达海所伤,李文秀此时女扮男装,打败陈达海,救出阿曼,还给苏昔。众人为追逃走的陈达海,来到迷宫,遇见躲在这里的华辉。他原是哈萨克人,本叫瓦耳拉齐,因在追求阿曼母亲时败给她的父亲,从而逃往中原,学得一身武功,并教了个汉人徒弟马家骏——也就是一直假扮叶老丈的人。华辉为了报复哈萨克人,曾让马家俊在井水中下毒,马家骏不忍心,先下手刺伤他,自此他就在此保护迷宫。如今师徒二人一场激战,双双伤重丧命。所谓迷宫之中的宝物,都是中原到处可见的纸、笔、围棋、七弦琴等等。 李文秀为关怀、照料自己的两位亲人的死而伤心,更为自己所爱的苏普爱别人而伤心,她只有骑着白马,回到中原,今后的路,还不知道向何方。 小说并不侧重武功的描写,似乎表达一种意念:人人追求的东西,往往并不一珍贵;而把握住自己所有的幸福,才是人世间难得的境界。这个让人唏嘘的故事,说穿了便觉其中无奈,正如李文秀所说:“你心里真正喜欢的,偏偏得不到,别人硬要给你的,就算好得不得了,我不喜欢,终究是不喜欢。”其实,与其说这是对高昌地图的感慨,不如说是对“情”字的总结。所爱不能爱,所求不能求,得到的却不是自己想要的,大多数人感情悲剧的根源就在于此。
你是否也有这样的苦恼: ·工资只有几千元,赚得还不够花,谈何理财? ·每天上班忙得天昏地暗,日常加班996,哪儿有时间学理财? ·好不容易攒了点儿钱,不懂投资,万一全赔了怎么办? 普通人存钱不容易,想要打理好手中的资产更是难上加难。那么,有没有一种投资方法,既简单易学、门槛低,安全性高,收益还能跑赢通货膨胀的? 答案是有的,那就是定投指数基金。 “股神”巴菲特曾经讲过,通过定投指数基金,一个什么都不懂的业余投资者,往往能够战胜大部分专业投资者。 《定投十年财务自由》的作者银行螺丝钉,以通俗易懂的方式,深入浅出地分析了银行理财、货币基金、债券基金、股票基金等多种投资工具的优缺点;以指数基金为主,详细讲解了常见的宽基指数基金、策略加权指数基金以及优秀的行业指数基金等品种,并介绍如何挑选指数基金;重点介绍了结合估值的定投方法,解决了“买什么,怎么买,何时卖”等定投常见的问题,并以3个贴近生活的案例——给父母养老,为子女构建教育金,给自己加薪来做分析,手把手教你做定投,用少许的时间和精力,赚取多一点儿钱。工资再少,也能攒下“小目标”,让上班族实现“财务自由”更简单、更靠谱。
原网络著名“谋杀官员”系列,国内首部“反类型”罪案小说。本作品一经推出,立刻引发轰动效应,作者用直白、利落的笔触,透视社会夹缝中的罪恶之源,写就最悲怆的宿命。 众目睽睽下的杀人游戏,无懈可击的不在场证明,匪夷所思的逃脱手法,出人意料的悲情结局。最普通但却最让人费解的疑问,最不合理之处揭示最合理的谜题。 突发恶性案件,工商所员工在旅行途中被绑架,所有人员连同司机在内,全部凭空消失了。在高速监控调查中,看到了这辆商务车驶入监控,却再没有看到此车驶出监控。警方把这段高速及周边寻了个遍,始终找不到车子的半点踪迹。有什么办法能让一辆车和整车人集体在高速上消失得无影无踪? 案件陷入僵局,视线转移到以前的一起命案:一次聚餐中,还是这家工商所的队长在众目睽睽之下被人毒杀。现场至少有十多位目击者亲眼看到了全过程,却无一人出来指认凶手。 背叛、忠贞、公义、邪恶,仇杀?情杀?命案在调查过程中发现了更大的隐情!牵一发而动全身,真相归于何处?凶手到底是谁?难道真的是死神在出手?
人类未来的命运,取决于对宇宙的认知 这是一本针对天文爱好者的观星进阶必备图书。书中详细介绍了全天88星座的起源、神话及观测方式,配有精细的图表分析,以及NASA或哈勃拍摄的高清天文图像。同时,还介绍了恒星、行星及其他天体的观测方法,包括裸眼观测及望远镜的使用技巧。 本书没有繁杂的公式和深奥的科学理论,可供世界各地的天文爱好者观测、寻找定位各个星座、星体和深空物质。 本书内容共分四章:变幻的星空介绍星空的基本信息、全天88星座的详细介绍、其他天体的观测、月度星空示意图。
比宇宙更浩渺的,是人类永不磨灭的好奇心和求知欲 本书收录了美国国家航空航天局(NASA)摄影集档案中200多张高清、专业的照片,配以详实生动的文字说明,以前沿、完善的数据和图像,重塑我们对行星的认识。 这是一部精彩纷呈的行星档案,你将拥有一场壮丽震撼的视觉之旅。在这场探索太阳系的奇妙之旅中,你将遇到好奇号在火星工作时留下的车轮轨迹、火星环形山内围130度广角照片全彩模拟火星地貌、被网友疯狂喜爱的冥王星巨大的心形平原、木星的“卫星全家福”…… 在星际移民持续热门的今天,只要是对科学、天文学,以及茫茫天际中的未解之谜感兴趣的人,都能从这本书中感受到如获至宝的阅读体验,丰富对宇宙更深入的理解。
你问我为什么魏家坟有妖怪?为什么说粮房店胡同是凶宅?209号坟墓到底有多瘆人?白记棺材铺的老掌柜为啥说自家屋里藏了要命的宝贝?这得从“桥下水怪”说起。 话说一个小水贼在三岔河口下了绝户网,无意中带出了小孩的尸身。“铁三角”郭师傅、丁卯、李大愣历经辗转,终在“金头蜈蚣穴”中将一眼双瞳的真凶抓捕。至此,郭师傅“河神”的名号就传开了。一天,郭师傅家的灶王爷画像被毁,按张半仙的话说是破了风水,要走背字儿,此画像瞬间变成凶卦,直对北方。而北方有闹鬼的粮房店胡同,有门上被贴封条的白记棺材铺,而最瘆人的,是传说镇压在白记棺材铺里那个“不得了的东西”,那东西一旦出来,定会水漫海河,不过究竟是什么,张半仙也推算不出……
“科幻鬼才”菲利普•迪克成长于西方科技文明创造出的崭新辉煌的时代。彼时,人类进入了太空,登上了月球,成功制造出第一台工业用机器人……科技的蓬勃发展也催生出主流科幻小说对人类创造力的无比自信,克拉克、阿西莫夫和海因莱因撑起了西方科幻的黄金时代。可是,迪克却反其道而行之,他的主人公迷惘于亦真亦假的世界上,挣扎于文明的陷落中,充满了对生命的依恋和对人性的追求。 《高堡奇人》是菲利普•迪克代表作之一,架空历史最杰出的经典,雨果奖最佳长篇小说。小说以《易经》牵引情节,讲述了一种反转过来的“历史”——同盟国在二战中战败,美国被德国和日本分分割霸占,集权政治与东方哲学相互碰撞,探讨了正义与非正义,文化自卑与身份认同,以及法西斯独裁和种族歧视给人类社会造成的后果。著名科幻作家韩松长文导读。 2015年,亚马逊将这部小说改编成13集系列剧《高堡奇人》,并在2016年12月出完第二季,再次让这部小说成为话题爆点,引发观众和读者热议:如果同盟国输了二战,世界将变怎样? 小说以《易经》牵引情节,通过对不同阶层、不同身份的人物的穿插描述,讲述了一种反转过来的“历史”——同盟国在二战中战败,美国被德国和日本分割霸占,探讨了正义与非正义、文化自卑和身份认同,以及法西斯独裁和种族歧视给人类社会造成的后果。
《碧血剑》讲述了一代名将袁崇焕因皇太极的反间计而遭崇祯皇帝冤杀。一心为父报仇的袁承志年纪轻轻被推举为武林盟主。欲报杀父之仇,又遭亡国之危,少侠毅然选择以拯救天下苍生为己任,树义旗、助闯王、力抗满清铁骑。一身绝世武功的他历尽千难万苦,却未能救黎民百姓于水深火热之中。满腔悲愤的他不得不远赴海外。作者以悲天悯人的笔触描写明末乱世的人间惨状,处处充满对黎民百姓的深切同情。
《金庸作品集(01-02):书剑恩仇录(新修版)(套装共2册)》是一部讲述清乾隆年间红花会群雄在年轻总舵主陈家洛的率领下,反清复明的故事。清朝大臣陈世倌之子、红花会总舵主陈家洛获悉一个惊天秘密:当朝皇帝乾隆竟是他胞兄。乾隆下江南,兄弟相见,陈家洛以兄弟之情、民族大义力劝乾隆恢复汉室江山,乾隆虚与委蛇,假意答应,一张暗藏杀机的大网却在慢慢撒开……
“人点烛,鬼吹灯”是传说中摸金派的不宣之秘,意为进入古墓之中先在东南角点燃一支蜡烛才能开棺,如果蜡烛熄灭,须速速退出,不可取一物。相传这是祖师爷所定的一条活人与死人的契约,千年传承,不得破。有谚为证:“发丘印,摸金符,搬山卸岭寻龙诀……窨沉棺,青铜椁,八字不硬莫近前。”故事以一本家传的秘书残卷为引,讲述三位当代摸金校尉,为解开部族消失的千古之谜,利用风水秘术,解读天下大山大川的脉搏,寻找一处处失落在大地深处的龙楼宝殿。毕竟那些龙形虎藏,揭天拔地、倒海翻江的举动,都迥异庸俗,在离奇诡异的地下世界中,历史的神秘面纱正一层层地被揭开…… 《鬼吹灯7怒晴湘西》:话说半个多世纪之前,正值壮年的卸岭盗魁陈瞎子伙同军阀合盗湘西瓶山元将之墓。墓中机关重重,几次均未得手,死伤甚众。于是陈瞎子联络搬山道人,告知瓶山中有千年丹丸,四处寻找耄尘珠的鹧鸪哨为之心动,决定同卸岭众盗一同发掘瓶山。
“人点烛,鬼吹灯”是传说中摸金派的不宣之秘,意为进入古墓之中先在东南角点燃一支蜡烛才能开棺,如果蜡烛熄灭,须速速退出,不可取一物。相传这是祖师爷所定的一条活人与死人的契约,千年传承,不得破。有谚为证:“发丘印,摸金符,搬山卸岭寻龙诀……窨沉棺,青铜椁,八字不硬莫近前。” 故事以一本家传的秘书残卷为引,讲述三位当代摸金校尉,为解开部族消失的千古之谜,利用风水秘术,解读天下大山大川的脉搏,寻找一处处失落在大地深处的龙楼宝殿。毕竟那些龙形虎藏,揭天拔地、倒海翻江的举动,都迥异庸俗,在离奇诡异的地下世界中,历史的神秘面纱正一层层地被揭开…… 《鬼吹灯6南海归墟》:胡八一最新最新一轮探险,离奇的海底古城,恐怖的幽灵鬼船,天空中下起鱼雨,海面上出现一堵巨大的水墙,匪夷所思的怪事接连出现……绝对让你大呼过瘾的一集。
“人点烛,鬼吹灯”是传说中摸金派的不宣之秘,意为进入古墓之中先在东南角点燃一支蜡烛才能开棺,如果蜡烛熄灭,须速速退出,不可取一物。相传这是祖师爷所定的一条活人与死人的契约,千年传承,不得破。有谚为证:“发丘印,摸金符,搬山卸岭寻龙诀……窨沉棺,青铜椁,八字不硬莫近前。”故事以一本家传的秘书残卷为引,讲述三位当代摸金校尉,为解开部族消失的千古之谜,利用风水秘术,解读天下大山大川的脉搏,寻找一处处失落在大地深处的龙楼宝殿。毕竟那些龙形虎藏,揭天拔地、倒海翻江的举动,都迥异庸俗,在离奇诡异的地下世界中,历史的神秘面纱正一层层地被揭开…… 《鬼吹灯5黄皮子坟》:在大兴安岭加格达奇,有一处被称为千古之谜的鲜卑山洞,又名大鲜卑山“嘎仙洞”,洞内有北魏时期的摩崖石刻。山洞幽暗深邃、神秘莫测,隐藏在莽莽原始森林中。嘎仙洞不光是北魏鲜卑族发祥的圣地,也是鄂伦春族古老的福地。传说在远古洪荒的年代,嘎仙洞曾是东海下的“海眼”,是通往冥冥洞府的入口。关于此地的传说不性枚举,就像是白山黑水间似真似幻的海市蜃楼,但可以肯定的是,大鲜卑山嘎仙洞在历史的长河中,默默地见证了许多繁荣与消亡,带着无数的秘密留存至今。
“人点烛,鬼吹灯”是传说中摸金派的不宣之秘,意为进入古墓之中先在东南角点燃一支蜡烛才能开棺,如果蜡烛熄灭,须速速退出,不可取一物。相传这是祖师爷所定的一条活人与死人的契约,千年传承,不得破。有谚为证:“发丘印,摸金符,搬山卸岭寻龙诀……窨沉棺,青铜椁,八字不硬莫近前。”故事以一本家传的秘书残卷为引,讲述三位当代摸金校尉,为解开部族消失的千古之谜,利用风水秘术,解读天下大山大川的脉搏,寻找一处处失落在大地深处的龙楼宝殿。毕竟那些龙形虎藏,揭天拔地、倒海翻江的举动,都迥异庸俗,在离奇诡异的地下世界中,历史的神秘面纱正一层层地被揭开…… 《鬼吹灯4昆仑神宫》:如何解开雮尘珠的秘密?所有的线索都指向雪域藏地。香港古董商明叔为了寻找《格萨尔王》中传说的魔国冰川水晶尸,雇请胡八一等三位摸金校尉入藏寻找。
“人点烛,鬼吹灯”是传说中摸金派的不宣之秘,意为进入古墓之中先在东南角点燃一支蜡烛才能开棺,如果蜡烛熄灭,须速速退出,不可取一物。相传这是祖师爷所定的一条活人与死人的契约,千年传承,不得破。有谚为证:“发丘印,摸金符,搬山卸岭寻龙诀……窨沉棺,青铜椁,八字不硬莫近前。”故事以一本家传的秘书残卷为引,讲述三位当代摸金校尉,为解开部族消失的千古之谜,利用风水秘术,解读天下大山大川的脉搏,寻找一处处失落在大地深处的龙楼宝殿。毕竟那些龙形虎藏,揭天拔地、倒海翻江的举动,都迥异庸俗,在离奇诡异的地下世界中,历史的神秘面纱正一层层地被揭开…… 《鬼吹灯2龙岭迷窟》:一只出自陕西乡间的绣花鞋,引领摸金校尉进入一座废弃的唐代大墓,没想墓中套墓,西周的幽灵冢切断了所有的退路。悬魂梯是地狱的通道,还是无限的黑洞?从精绝古城逃生的人背上都长了一个眼球形的印记,果真是几千年前的魔鬼诅咒显灵?唯一了解秘密的考古专家孙教授一见这个印记惊恐万状,只道:天机不可泄露……
《欺诈师与空气男》是“江户川乱步作品集”第十二卷。虚幻的空气男偶遇神秘的欺诈师,他有着梅菲斯特般的笑容。二人来到现实的拐角窥视梦幻世界的斑斓,空气男却一失足跌进温柔乡,正入佳境之际恍然醒来,竟然是南柯一梦。
《帕诺拉马岛奇谈》是“江户川乱步作品集”第五卷,收录乱步第二长篇《帕诺拉马岛奇谈》与第一中篇《湖畔亭事件》。人见广介自从大学毕业后,寄居在一家破旧的公寓里,不找工作整天与白日梦为伴,他最喜欢阅读人间乐园式的乌托邦小说。他唯一的梦想是变成“神”改造大自然。 有一天,人见广介把梦想变为现实的机会终于来临了,看他如何把一座直径不到两里的孤岛,改造成一个桃花乡。故事进行到一半作者布置了一起杀人事件,让读者在进入乱步桃源乡一游的同时也领略本格推理小说的滋味。在乱步所有的作品中,这是一部最能表现其“梦”的杰作。
《江户川乱步作品集6:孤岛之鬼》是“江户川乱步作品集”第六卷,收录乱步的第四部长篇《孤岛之鬼》。故事从一段畸型的三角恋开始,医科学生诸户道雄是同性恋,他爱上“我”,“我”并不感到不快。大学毕业后,我到S•K商会上班,在那儿认识了十八岁的木崎初代,并与她相恋。木崎的本姓是樋口,幼年时被父母遗弃,之后被木崎夫妻认养。奇怪的是爱“我”不成的诸户,却向初代求婚。 不久,初代在一个密闭的室内被刺身亡。“我”请业余侦探深山木幸吉调查事件真相。案情稍有进展之际深山木在海水浴场被刺身亡。 故事的前半部分是本格推理,当杀人凶手浮出水面后,作者笔锋一转,进入另一个复杂怪奇的惊险世界。虽然结构前后不统一,却充满了“乱步趣味”。
某天下午,“我”坐在白梅轩咖啡厅里悠闲地喝着咖啡,并与刚结识不久的明智小五郎一同观察稍微有些异样的旧书店。 只是,原本每晚都独自看店的性感老板娘今晚迟迟不现身,加上最近传闻老板娘身上伤痕累累……一思及此,我与明智小五郎立刻奔赴书店,却意外看到遭人勒死的老板娘。到底谁杀了老板娘,她身上的伤又是怎么回事儿呢? 《D坂杀人事件》收录了江户川乱步笔下唯一名探明智小五郎系列短篇八篇。包括《D坂杀人事件》、《心理测验》、《黑手帮》、《幽灵》、《阁楼上的散步者》、《是谁》、《凶器》、《月亮与手套》。 《D坂杀人事件》作者江户川乱步是日本本格派推理小说的创始人。
《蜘蛛男》内容简介:《蜘蛛男》是“江户川乱步作品集”第七卷。故事开头,怪绅士稻桓租下了一间事务所,把它重新装修成美术艺品店。第二天开业时聘用了一名十八岁的美少女,但当天晚上就奸杀了这名少女。接下来的几天内报纸社会版头条陆续刊登了“碎尸案”、“美人鱼案”。民间犯罪学者畔柳博士接手此案,在与蓝胡子稻桓正面交锋的过程中屡屡败下阵来,直到环游归来的明智加入侦破阵营……,故事从读者预测不到的角度展开,是一部名探与杀人狂的斗智故事。
扑朔迷离的案情,接二连三的谋杀,凶手是谁?动机为何? 看神探波洛再次抽丝剥茧,找出真相。 柯罗德死后,他的庞大家产落到了年轻妻子罗莎琳手里。同时,柯罗德家族的人表面上都有体面的工作,但实际上却都依靠着戈登,他的突然死去,以及罗莎琳完全继承遗产,使得矛盾顿时尖锐了起来。 罗莎琳的前夫曾经在丛林中患热病死去,柯罗德家人都希望安得海没有死,这样他们就有希望得到遗产,这时候奇迹出现了,村子里来了一个自称安得海的人,却又被杀。唯一认识安得海的波特少校确定定了安得海的身份,却又不久死亡。随后,罗莎琳也惨死。到底是谁干的,为了什么?
圣诞前夜,李家先是传出震耳欲聋的家具撞击声,接着是尖叫哭嚎。楼上,专横的老李躺在血泊中,喉咙被割断了。家庭团聚就此破碎了。波洛发觉现场的气氛不是哀伤,而且相互猜忌。似乎每个人都有理由憎恨这位死去的老人…… 阿加莎特别为她的姐夫而作的真正的“血淋淋的暴力谋杀”,因为他总嫌其作品过于精致文雅而使谋杀事件变得太“贫血”了。
有那么一会儿,两列火车平行行驶在一起。在那恐怖的刹那,埃尔斯佩思肯定她见证了一场谋杀。还能是什么呢?一个男子残忍地箍紧了一个女人的喉咙,而当时她透过车厢窗口徒劳地望着。女人的身体瘫软了。火车,也开远了。 可是,除了简·马普尔小姐,又有谁会拿她的话当回事呢?毕竟,没有疑犯,没有其他目击证人,而且,没有尸体。
石门庄园里正弥漫着一种恐怖的不祥感,作为不良少年收容中心,这里聚集了许多危险的人。果然不久就发生了一起少年企图枪杀监护者的意外事件,所幸无人伤亡。然而,与此同时一位神秘的访客就没那么幸运了——他在庄园宅邸的另一间屋子里被枪杀了。
格温达刚搬进新家,怪事就接二连三地发生。尽管她煞费苦心地对房子做了装修,结果却不断地挖掘出它的过去。更有甚者,每次上楼她都会产生莫名其妙的恐惧感。 惊慌之中,她请简·马普尔为她驱除心魔。殊不知,一件发生在多年之前的“完美的”谋杀案浮出了水面,迫使她们去破解……
年轻美丽的埃莉诺·卡莱尔站在被告席上,被指控谋杀了她的情敌玛丽·杰勒德。所有不利的证据都指向了埃莉诺:只有她有这样的动机、机会和施用致命毒药的手段。 但是,在持敌视态度的法庭上,只有一个人仍然假定埃莉诺在被证明有罪之前是无辜的。站在埃莉诺·卡莱尔和绞刑架之间的只有赫尔克里·波洛…… “波洛又破了一个令人兴奋的案子。”——《每日邮报》
艾米·莱瑟兰明显地感觉到一种罪恶正在哈沙尼的古墓挖掘场酝酿,这种罪恶与著名的考古学家雷德纳博士的妻子,“美丽的路易丝”的到来有关。 预计几天后赫尔克里·波洛就会顺便拜访这个挖掘场。但是,随着路易丝遭受恐怖幻觉的折磨愈加强烈,整个考研队的气氛变得愈加紧张,几乎到了无法忍受的地步,波洛的到来也许太迟了……
波洛受着名的富商夏塔纳先生的邀请去参加一次特殊的私人聚会,同时接受邀请的有著名的侦探小说作家奥立佛太太、警察局的巴特探长、长期从事政府秘密工作的瑞斯上校。与此同时,到场的还有罗勃兹医生、洛瑞玛太太、德斯帕少校、梅瑞迪斯小姐,而四位身份各异的来宾就是夏塔纳当晚要展示的、他最特别的收藏:完美的凶手。晚宴之后,四位特殊的来宾开始了一场侦探史上最精彩的桥牌赛,在不到两个半小时的时间里,他们除了打了四圈牌,还留下了一具尸体:夏塔纳生在壁炉边的大椅子上被谋杀,凶器是桌边一把装饰很漂亮的小刀。一个小得不得再小的密室了,四个人都明显存在着杀人动机,在打牌的过程中也都曾经先后离开过。四位侦探对四位凶手,每个人都有自己的判断。
一分钟之前,无聊的希瑟·巴德科克还在和她的电影偶像——迷人的玛丽娜·格雷格闲聊。一分钟后,希瑟就突然感到体内某种剧毒正在发作。可是,那致命的毒药水本来是要致谁于死地? 玛丽娜那呆滞的表情表明她目睹了极其可怕的事。但当人们试图搜寻重要物证时,简·马普尔小姐却进行一项与众不同的调查——对人性的探究。
在一场空难中幸存的飞行员杰里,与妹妹乔安娜迁徙至乡村小镇疗养身心。没想到兄妹俩安顿下来没多久,就接到一封充满恶意的匿名信,指控二人有乱伦情事;这对新来客除感莫名所以之外,更惊异地发现,小镇居民在数日之间陆陆续续都收到了各种不同的匿名信,内容越来越不堪,指控也越写越严重,甚至引发了一场自杀的憾事。眼见事态已无法控制,牧师太太决定找出那位幕后黑手,于是有请马普尔小姐出马一试……
平克顿小姐说在英格兰平静的乡村威奇伍德发生了一起连环杀人案,并且推测说下一个被害者将是当地的医生。卢克·菲茨威廉不相信她的话,认为那只是她的胡思乱想。 但是,数小时后,平克顿小姐死于一场车祸,车辆肇事后逃逸。仅仅是巧合吗?卢克倾向于认为如此——直到他几天后在《泰晤士报》上读到亨伯比医生意外死亡的讣告……
《零时》讲述了一场未遂的自杀,一女生遭受偷窃罪名的诬告,一著名网球选手的浪漫生活,它们之间有什么联系呢?对于漫不经心的旁观者来说,它们之间显然没有什么联系。然而,当聚会在一个年迈寡妇的海滨别墅“海鸥角”进行时,早先的事件达到了一个戏剧化的高潮……巴特尔警长发现,这是精心策划的一个报复方案——目的是为了谋杀。
在万圣节前夜的晚会上,乔伊斯——一个十三岁的虚荣女孩——吹嘘说她曾经亲眼看见过一起谋杀。没有人相信她,她愤然而去。但是几小时后,在那栋房子里发现了她的尸体,被溺死在咬苹果游戏的水桶里了。当天晚上,赫尔克里·波洛被请来找出“幕后黑手”。可是首先他必须确定他是在调查一起谋杀案还是连环谋杀案……
斯泰尔斯庄园的女主人埃米莉·艾格尼丝·英格尔索普太太掌管着庄园的财政大权。某天凌晨时分她在自己的房间里毒发身亡,而房间的三个门都是从里面锁上的。 波洛在调查此案的过程中发现了壁炉里烧毁的遗嘱碎片,打碎的咖啡杯,门上的衣物碎片,一大片蜡烛油等一系列疑点;而在调查过程中最大的疑犯——英格尔索普太太的丈夫,英格尔索普先生却有不在场的证据,波洛开始在英格尔索普太太前夫的两个儿子约翰·卡文迪什和劳伦斯·卡文迪什,以及玛丽·卡文迪什太太、辛西娅小姐中寻找凶手,而每个人似乎都有许多疑点,到底英格尔索普太太是被某个人杀死,还是被某几个人合谋杀死的呢?
某天深夜,当其他师生都在沉睡中时,有两名教师决定前往体育馆,对那里闪烁着神秘亮光探个究竟。就在那儿,那堆长曲棍球棒当中,她们发现了那位不讨人喜欢的女体育教师的尸体——她被人用枪从很近的距离射穿了心脏。 当“猫”再度出击时,整个学校陷入一片混乱。可惜女学生朱莉娅·厄普约翰知道的太多了。她尤其明白,如果没有赫尔克里·波洛的帮助下,她将会成为下一个受害者……
在“幽谷庄园”女主人安格卡特尔夫人眼里,即将到来的周末派对既让人激动,又令人害怕。管家和厨娘把一切都料理得并井有条,然而,夫人隐隐感到:她激请的那些客人,彼此之间,并不是一团和气。 赫尔我克里·波洛也收到了请柬。然而,当他抵达庄园时,扑面而来的竟是一幕戏剧感十足的谋杀场景:游泳池边躺着一具男尸,一把枪缓缓沉入池底……
年轻美丽的安妮来到伦敦,寻求刺激。她没料到在海德公园角地铁站的站台上自己竟找到了。一位乘客跌到铁轨上被电死了,现场的“医生”好像在急切地搜查死者,而不是在做检查…… 带着唯一的线索,安妮要努力揭开一个隐身幕后被人称作“上校”的杀手,而这个“上校”却要设法除掉她……
人们都对牙医怀有一种深深的敬畏,即便是大侦探波洛也不例外,尤其是他前往著名的莫利医生诊所做牙科检查的时候,更是战栗不安。 但即便是波洛也没料到,数小时后为他做检查的医生死在自己的诊所里——显然是自杀。为何如此成功的牙医会在一个繁忙的工作日里选择自杀呢?波洛开始探寻其他患者以求答案,却发现了更隐秘的疑问……
小说以一位可憎的女人博因顿夫人被谋杀而展开…… 在佩得拉耸立的红色峭壁中,博因顿夫人的尸体,像肥胖怪异的佛像,端坐不动。她手腕上的微小针孔是她被注射过致命一针的唯一迹象。 只有24小时来破解这一迷案了,赫尔克里·波洛记起他在耶路撒冷无意中听到的偶然之言:“她肯定会被人杀了的,你没看出来吗?”确实,博因顿夫人是他所遇见过的最可憎的女人。
杰克·阿盖尔死于狱中,但他声称自己是清白的;他赌咒发誓说,她养母在自家书房被人用拨火棍猛击脑后的时候,他正在路上搭别人的便车…… 阿瑟·卡尔加里可以证明杰克的清白——凶手是另一个家庭成员,但是他的证据来得太晚了。雷切尔·阿盖尔遇害的当天晚,他们家房子的门是锁着的……
读着刚刚去世不久的拉菲尔先生的来信,简·马普尔感到难以置信。拉菲尔先生是她在一次旅行中认识的一个人,两人有过短暂的相处。他指示她在他死后去调查一起罪案。问题是,他没有告诉她谁牵涉其中,也没有告诉她案件发生的时间与地点。这让人觉得非常奇怪。 不久,她遇到了一起新的罪案——谋杀。看起来有人坚定地认为过去的罪恶仍然埋藏在……
当简吹嘘她那“摆脱”分居丈夫的计划时,波洛出现了。眼下那个古怪的男人已经死去,而伟大的比利时侦探不禁感到自己被人搭了便车。 埃奇韦尔男爵死在他的图书室的时候,简正与她的朋友们在一起吃饭,她究竟是如何将丈夫刺死的?男爵最后同意和她离婚,那么她现在的动机又是什么?
当豪华的“蓝色列车”到达尼斯的时候,卧车管理员试图叫醒熟睡的鲁丝·凯特林。但她再也无法醒来了——因为她已经被谋杀,并且遭到了毁容,几乎难以辨认。更有甚者,她珍贵的火心宝石不见了。主要的嫌疑对象是鲁丝的丈夫德里克。他与鲁丝已经分居多时,行同陌路。然而波洛却不相信,于是他上演了一场奇怪的再乘蓝色列车之旅,并且还有凶手同行……
六个人围坐在一张放着七把椅子的桌子前。那个空位子前面,摆着一枝迷迭香—“象征怀念的迷迭香”。现场弥漫着一种奇怪的情绪:没有一个人会忘记整整一年前的那个晚上,那个罗斯玛丽·巴顿—她那美丽的脸庞痛苦、可怕地抽搐着,让人难以辨认—就在这张桌子上,她死了。但是罗斯玛丽始终令人难忘—她能激起她认识的大多数人的强烈情感。这种情感甚至强烈到能够杀人。
小绿别墅的女主人阿伦德尔小姐去世了,她置自己的侄子、侄女、外甥女于不顾,竟把全部财产留给了女仆劳森小姐。阿伦德尔小姐死前曾秘密给波洛写了一封信,恳求他帮她处理一起家庭内部事件。她急切地希望尽快见到波洛,以便详谈。波洛收到信后觉得这里肯定有问题,急速赶到贝辛镇,但发现老人已去世,这使他大吃一惊……
美丽宁静的吉卜赛庄,却被传言是一所遭受了诅咒的住所,许多擅自进入的人都会在一次“事故”中丧生,没有人能够逃脱。然而英俊潇洒的穷小子迈克尔还是一眼看中了这里,他奢望成为这里的主人。富家小姐埃莉在这里爱上了他,他们在这里结婚,在这里定居。可那可怕的诅咒会放过他们吗?有一天,她骑马出去,没有回来……
麦金蒂太太死了,是被人残忍地击中后脑勺致死的。嫌疑立即被锁定在性格怪异的房客詹姆斯·本特利身上,因为他的衣服上沾有死者的血迹和头发。然而,有些事情不对劲:本特利看上去不像是个杀人凶手。 谜底是否能够从死亡发生两天前的一张剪报上揭开?亡命凶手仍然逍遥法外,赫尔克里·波洛不得不防种种不测,才能在最后发现真相……
普罗米修斯号航班从巴黎飞往伦敦…… 坐在9号座位上,赫尔克里·波洛能够方便地观察到机舱里的乘客们。在他右手前方的一个位置上坐着一位漂亮的年轻女孩,显然正迷恋着对面的男子。在他的前方,13号座位上,坐着一位伯爵夫人,此人不太会掩饰自己使用可卡因的习惯。在走道另一面的8号座位上,一名侦探小说家正在为一只招惹他的黄蜂而烦恼。 波洛没有料到的是,坐在他后面的2号座位上的女人蜷成一团——她已经死了。
著名犯罪小说家阿里亚德妮·奥利弗在为乔治爵士、斯塔布斯夫人主办的节庆活动策划“追寻谋杀游戏”的时候,产生了一种极其可怕的感觉。尽管可以称为直觉,但却令她挥之不去,百思不解…… 情急之下,她请来了自己的老朋友赫尔克里·波洛——而且她的直觉不久便变成现实,“装扮”的受害者居然在游戏现场成了“真实”的受害者,一根绳索紧紧套着她的脖子…… 然而最初,这个神探查明的事实是,在“追寻谋杀游戏”中,每个相关人员都或真或假地扮演着某个角色……
贝特顿夫人因为丈夫的出逃,国家的调查踏上了秘密寻找丈夫之旅。可倒霉的是她却坐上了那架失事的飞机。于是乎,一心寻死的希拉里女士经过特训摇身一变成为贝特顿夫人,冒着暴露的危险,难以区分的敌我,还有一个唯恐避之而不及的鲍里斯……踏上目的地不明之路。 一群顶尖科学家失踪,这引起了情报部门的担忧。他们被绑架了?受到勒索?还是被洗脑了? 一位女子看上去手里攥着解开这个谜团的钥匙。不幸的是,她在一起空难中受了重伤,现在躺在病床上奄奄一息。 与此同时,在卡萨布兰卡的一个宾馆房间里,希拉里·克雷文正打算结束自己的生命。但是她的自杀企图被一位男子阻止了,他将带给她一种更加惊心动魄的死亡方式……
人们常说十三个人参加的晚餐会有厄运。你相信吗? 当波洛受邀加入查尔斯爵士这次不吉利的晚餐后,诅咒灵验了。牧师巴宾顿先生突然死在了众宾客面前。但死神并未因此停住脚步,凶手亲自在大侦探波洛的眼前拉开了这场谋杀的序幕。杀人的剧作不断地上演,相同的演员,相似的布景,相近的情节。死亡的威胁甚至降临在波洛自己的身上。 谁将是下一个受害者? ---------目录--------- <第一幕 嫌疑> 第一章 鸦巢 第二章 晚餐前的插曲 第三章 查尔斯爵士的疑惑 第四章 现代伊莲 第五章 逃离一个女人 <第二幕 确证> 第一章 查尔斯爵士收到一封信 第二章 失踪的管家 第三章 哪一个? 第四章 仆人的证词 第五章 管家的房间 第六章 关于墨迹 第七章 作战计划 <第三幕 发现> 第一章 巴宾顿太太 第二章 玛丽夫人 第三章 波洛重新出场 第四章 调查摘要 第五章 分工 第六章 辛西娅·戴克斯 第七章 戴克斯船长 第八章 安吉拉·萨特克里夫 第九章 默里尔·威尔斯 第十章 奥利弗·曼德斯 第十一章 波洛举行雪利酒会 第十二章 在吉灵的日子 第十三章 德·拉什布里杰太太 第十四章 米尔雷小姐 第十五章 落幕
即使你够聪明在全书末章猜到凶手,却死都猜不出那种巧妙凶残而又古怪的作案方式。 在一个平常的清晨,7点钟,戈辛顿宅邸传来一声骇人尖叫,惊醒了女主人的美梦。弥漫着书香的房间里躺着一具冷冰冰的女尸——一位浓妆华饰的漂亮金发女郎。她是谁? 为了丈夫的名誉,惊呆了的班特里太太要求马普尔和自己一起去死者生前的住处尊皇饭店展开调查。在那里,她们发现了重要线索——死者差点可以得到大笔遗产,与此同时,又传来另一个女孩死亡的消息……
汤米·贝雷斯福德和杜本丝·考利和第一次大战后的大多数年轻人一样,穷途潦倒,就业艰难。他们焦躁不安,渴望刺激,于是俩人开始策划一个大胆的商业计划——“年轻人冒险有限公司”,声称“愿意做任何事情,去任何地方”。 由于遇上了心怀叵测的惠廷顿先生,他俩首次接受的任务,便是寻找一颗政治定时炸弹的下落,即“卢西塔尼亚”号客轮沉没后一份神秘失踪的高级机密文件。他们发现自己无时无刻不在神秘而冷酷的布朗先生可怕监视之中,并陷入了一种超出想象的危险处境……
麦家、鹦鹉史航、马伯庸、雷米、周浩晖 都推崇的作家:
近年天涯唯一点击量过千万的推理大神、天涯十佳作者,紫金陈
最新最霸气最值得期待的系列作品,网上读不到的,“推理之王”第1部
连环杀人,借尸布局,他说杀人是为了救人,你信吗?
冷血罪行背后,却是一颗被爱和恨啃噬了十年的心。
曾经至真至善,如今至忍至狠,看一个地狱中的男人,如何从业火中救赎!
不纯属虚构,勿对号入座!
不能一次读完,请来抓我!
18岁以下,请在家长陪同下阅读
繁华都市,命案频发。凶案现场,罪犯总是故意留下一枚指纹和一张字条——“请来抓我”,除此之外,没有丝毫破绽。 面对如此高调的连环杀手,专案组成立四次又解散四次,毫无头绪,只能求助于数理逻辑专家严良,这桩悬案,疑难如一道无解方程,他该如何着手解密?精心布置这一场无证之罪的真凶,为何总是故意留下线索?这是一场巨大的阴谋还是一个陷阱,亦或深藏着更不为人知的秘密?
《无证之罪》,眼花缭乱的迷局,层出不穷的杀机,一个犯罪高手,一个侦探超人,棋逢对手,谁赢得高智商赌局?抽丝剥茧之后,真相令人不寒而栗却又百感交集。
麦家、鹦鹉史航、马伯庸、雷米、周浩晖都推崇的作家 社会派悬疑推理大神紫金陈“推理之王”系列第2部 改编网络剧《隐秘的角落》,秦昊、王景春主演,现已重磅上线 全程无推理的推理神作,多重伏笔,神逆转结局! 当目击者变成犯罪者,好小孩,坏小孩,谁能遏制青春期的黑暗? “成年人眼里,孩子永远是简单的,他们根本想象不到孩子的诡计多端,哪怕他们自己也曾当过小孩。” ———————— 结婚第四年,徐静有了外遇,并向张东升提出离婚。 作为上门女婿入赘的张东升,婚前有过财产公证,一旦离婚,几乎是净身出户。左思右想之后,他决定做几件事改变这个结局。 筹划了近一年后,他假意带岳父母旅游,在市郊的三名山上,突然将两人推下山崖摔死。这本是他精心设计的完美的犯罪开场白,谁知,这一幕却被三个在远处玩耍的小孩,无意中用相机的摄像功能拍了下来。 更让他没想到的是,这三个小孩,一点都不善良。
Github | Docker | Project
【关于本书】
本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论,但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。
【读者对象】
本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。你应该具备一些使用面向对象编程语言(如Java、C#、C++或JavaScript/TypeScript)的经验,还应该有一些软件设计经验。虽然本书的代码示例是基于TypeScript的,但是大部分内容是普遍适用的。事实上,本书的代码示例并非总是使用TypeScript特有的功能。在编写代码示例时,我尽可能让熟悉其他编程语言的程序员也容易理解它们。虽然本书会介绍各种技术来帮助你编写健壮的、可组合的、封装程度更好的代码,但是也假定了你知道为什么我们希望获得这些特性。此外,本书侧重类型系统的实际应用,因此涉及的数学理论较少,但是你应该熟悉基本的代数概念,如函数和集合等。
【本书的组织方式】
本书包含11章,涵盖类型编程的各个方面。
第1章介绍类型和类型系统,讨论它们为什么存在以及为什么有用。我们将讨论类型系统的类型,并解释类型强度、静态类型和动态类型。
第2章介绍大部分语言中都有的基本类型,以及在使用这些类型时需要注意的地方。常用的基本类型包括空类型、单元类型、布尔类型、数值类型、字符串类型、数组类型和引用类型。
第3章介绍组合,包括把类型组合起来定义新类型的各种方式,还介绍实现访问者设计模式的不同方式,并定义代数数据类型。
第4章讨论类型安全—如何使用类型来减少歧义以及防止错误。本章还介绍如何使用类型转换在代码中添加或移除类型信息。
第5章介绍函数类型,以及当我们获得了创建函数变量的能力后能够做些什么,还展示实现策略模式和状态机的不同方式,并介绍基本的map()、filter()和reduce()算法。
第6章以前一章为基础,展示函数类型的一些高级应用,包括简化的装饰器模式、可恢复的函数和异步函数。
第7章介绍子类型,并讨论类型兼容。我们会看到顶层类型和底层类型的应用,以及从子类型的角度看,和类型、集合和函数类型之间的关系。
第8章介绍面向对象编程的关键元素,以及什么时候使用每种元素,并讨论接口、继承、组合和混入。
第9章介绍泛型编程及其第一种应用—泛型数据结构。泛型数据结构把数据的布局与数据本身分隔开。迭代器支持遍历这些数据结构。
第10章继续介绍泛型编程,讨论泛型算法及迭代器的分类。泛型算法是能够在不同数据类型上重用的算法。迭代器用作数据结构和算法之间的接口,并且能够根据迭代器的能力启用不同的算法。
第11章介绍高阶类型、函子和单子的概念,以及如何使用它们,并为进一步学习提供一些建议。
本书中的各章以前面章节中的概念作为基础,故建议读者按顺序阅读。虽然如此,但是本书介绍的4大主题相对独立:前4章介绍基础知识;第5~6章介绍函数类型;第7~8章介绍子类型;第9~11章介绍泛型编程。