内容简介：

“今天妈妈死了。也许是昨天，我不清楚。”

我是默尔索，一名普通的公司职员。我爱妈妈，但在葬礼上，我没有哭。

第二天回到家，和女朋友玛丽寻欢，事后她问我爱不爱她，我说不爱。

结婚前夕，一位刚认识的朋友邀请我去海边玩。途中，我连开五枪，杀死了一个陌生人。入狱后被叛了死刑，我选择不上诉。人们说我冷漠、自私、固执。

这或许很荒诞，却是我的真实人生——我就是要活出真实的自己，哪怕成为你眼中的局外人！

编辑推荐：

◆我就是要活出真实的自己，哪怕成为你眼中的局外人！

◆全新作家榜经典《局外人》，北岛亲笔推荐版本！

◆不可不读，耐人寻味：入选法国《世界报》“20世纪世界百大图书”、英国《泰晤士报》“至佳经典名著”、英国《每日电讯报》 “每个人都应该读的100部小说”！

◆诺贝尔文学奖得主加缪经典代表作，新版十大特色：

◆法语直译，原汁原味：法国巴黎高等师范大学文学博士、诗人译者秦三澍，根据伽利玛出版社2006年七星丛书版《加缪全集》倾心翻译，传神还原加缪语言特色，一字未删完整典藏。

◆全新封面，颜值爆表：作家榜设计团队打造全新封面，内外双封，典雅独特，值得收藏。

◆原创彩插，图文并茂：俄罗斯新锐插画师原创8张全彩插图，生动还原小说经典场景。

◆诺奖官方，特别授权：经诺贝尔文学奖基金会官方授权，收录加缪诺贝尔文学奖授奖词及受奖词。

◆加缪年表，完整收录：带您快速全面了解加缪传奇人生。

◆美版自序，特别收录：美国版《局外人》加缪自序全文。

◆译者后记，讲透精髓：新增译者6131字精彩解读，带您读懂《局外人》精髓。

◆三重惊喜，免费赠送：随书附赠概念典藏版藏书票、书签、明信片各一张。

◆环保纸张，柔和护眼：采用78克太阳米黄全木浆双胶纸，手感舒适，轻盈便携。

◆版式疏朗，整洁美观：字体字号精致考究，印刷精美，适宜阅读。

名人推荐：

向一颗不停地探求和思索的灵魂致敬——诺贝尔文学奖得主福克纳怒赞加缪

加缪以其《局外人》站在了现代小说的顶端。……它赋予了法国小说新的内容和风格。——法国文学评论家亨利·海尔

卡夫卡唤起的是怜悯和恐惧，乔伊斯唤起的是钦佩，普鲁斯特和纪德唤起的是敬意，但除了加缪以外，我想不起还有其他现代作家能唤起爱。——苏珊·桑塔格，美国作家

他作为一个艺术家和道德家，通过一个存在主义者对世界荒诞性的透视，形象地体现了现代人的道德良知，戏剧性地表现了自由、正义和死亡等有关人类存在的基本的问题。——诺贝尔文学奖授予加缪时的颁奖词

在结局与开始之间、在生与死之间、在意义与意义之间、在写作与诚实之间、在行为与动机之间、在反抗与秩序之间、加缪的《局外人》永远在追问。——诗人北岛

我读过《局外人》，我发现在一张有点忧郁和嘲讽的笑脸上低垂的眼睛，同时，也发现了这是一张坚定的面庞。正是这种令人揪心和动人的对照，使我爱上了加缪的头一本书。

——克洛德·布尔代，法国作家

加缪的作品始终与追求正义紧密相连。——法国文学家，马尔罗

这位年轻人（加缪）是极受年轻一代欢迎的导师之一。——法国文学家，莫里亚克

他顶着历史的潮流，作为醒世作家的古老家族在当今的继承者，出现在我们这个世纪，须知正是这些醒世作家的作品构成了也许是法国文学中富有独特性的部分。——法国存在主义文学大师，萨特

他的风度，他的关怀，他拥有的广大读者，以及他在巴黎公共领域无所不在的身影，似乎凝聚了一切典型的法兰西特性，体现文学、思想和政治介入的结合。——托尼•朱特，奥威尔终身成就奖得主

昨天我见到了加缪：毫无疑问，当今法国杰出的人，远在其他知识分子之上。——汉娜·阿伦特，德国思想家

【关于本书】

本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论，但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。

【读者对象】

本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。你应该具备一些使用面向对象编程语言（如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章介绍泛型编程。