新書推薦:
《
农为邦本——农业历史与传统中国
》
售價:HK$
74.8
《
郊庙之外:隋唐国家祭祀与宗教 增订版 (三联·哈佛燕京学术丛书)
》
售價:HK$
105.6
《
小麦文明:“黄金石油”争夺战
》
售價:HK$
97.9
《
悬壶杂记全集:老中医多年临证经验总结(套装3册) 中医医案诊疗思路和处方药应用
》
售價:HK$
135.1
《
无法忍受谎言的人:一个调查记者的三十年
》
售價:HK$
63.8
《
战争社会学专论
》
售價:HK$
118.8
《
剑桥意大利戏剧史(剑桥世界戏剧史译丛)
》
售價:HK$
162.8
《
教育何用:重估教育的价值
》
售價:HK$
65.8
|
編輯推薦: |
《Dart编程语言》由Java泛型作者、JVM规范核心制定者、Dart语言标准作者Gilad Bracha所著,全面介绍Dart的方方面面,包含基本语法和反射、isolate等进阶内容,包含语言背后的原理和思想。
《Dart编程语言》包括如下内容。
Dart的对象模型,万物皆对象,甚至是数字和布尔量。
Dart程序是如何由模块化的库组成的。
Dart函数是如何构成的,以及是如何存储于变量中作为参数传递,并作为结果返回的。
Dart处理可选类型的创新方式。
Dart如何处理表达式和语句。
如何使用Dart实现的反射来对库、类、函数和对象进行自省。
Isolates及其他Dart支持的并发与分布式特性。
|
內容簡介: |
本书总计9章,前6章对Dart的对象、库、函数、类型、表达式与语句等基础知识进行了详细介绍;第7、8章对反射和isolate等进阶内容进行了深入讲解;第9章为总结。本书与众不同之处是,除了介绍语言特性,更着重于讲解语言背后的原理和思想。本书内容较为深入,不太适合初学者,读者至少要具备基本的编程知识,最好是接触过其他编程语言且对Dart有基本了解。
|
關於作者: |
Java泛型作者、JVM规范核心制定者、Dart语言标准作者
戴虬,毕业于华东交通大学,现在在广州联亿网络科技有限公司任Web开发工程师,并且是Dartlang社区负责人。热爱Dart编程语言,希望这门语言有很好的发展,并不遗余力地推广、维护。
|
目錄:
|
目录
第1章简介1
1.1动机1
1.2设计准则2
1.2.1万物皆对象2
1.2.2面向接口编程,而非面向实现2
1.2.3类型是为开发者服务的3
1.3限制4
1.4概述4
1.5本书结构10
1.6相关语言及其对Dart的影响11
第2章对象、接口、类与mixin12
2.1accessor13
2.2实例变量16
2.3类变量16
2.4final变量18
2.5相同与相等18
2.6类与父类20
2.7抽象方法与抽象类22
2.8接口23
2.9对象的创建24
2.9.1重定向构造函数28
2.9.2工厂构造函数29
2.10noSuchMethod30
2.11常量对象与字段31
2.12类方法31
2.13实例及其类与元类33
2.14Object与其方法34
2.15mixin35
2.16相关语言46
2.17总结46
第3章库47
3.1顶层47
3.2脚本48
3.3隐私49
3.4导入49
3.5将库拆分成part54
3.6导出55
3.7钻石导入56
3.8延迟加载58
3.9相关语言59
3.10总结60
第4章函数61
4.1参数61
4.1.1位置参数61
4.1.2命名参数62
4.2函数体63
4.3函数声明64
4.4闭包65
4.5调用方法与函数66
4.5.1级联66
4.5.2赋值68
4.5.3使用运算符68
4.6Function类68
4.7函数作为对象70
4.8生成器函数72
4.8.1迭代器与可迭代对象72
4.8.2同步生成器73
4.9相关语言74
4.10总结75
第5章类型76
5.1可选类型76
5.2类型之旅78
5.3接口类型81
5.4类型实践:添加类型的表达式问题83
5.5泛型87
5.6函数类型93
5.6.1可选位置参数94
5.6.2命名参数95
5.6.3重温Call96
5.7类型具体化97
5.7.1类型检测97
5.7.2强制类型转换98
5.7.3检查模式99
5.7.4具体化泛型100
5.7.5具体化和可选类型100
5.7.6类型和代理101
5.8malformed类型104
5.9非严格106
5.10相关语言108
5.11总结109
第6章表达式和语句110
6.1表达式110
6.1.1字面量110
6.1.2标识符117
6.1.3this121
6.1.4常量121
6.1.5创建对象122
6.1.6赋值123
6.1.7抽取属性124
6.1.8方法调用124
6.1.9使用运算符125
6.1.10Throw126
6.1.11条件运算符127
6.2语句127
6.2.1block127
6.2.2if127
6.2.3循环128
6.2.4try-catch130
6.2.5rethrow131
6.2.6switch131
6.2.7assert133
6.2.8return135
6.2.9yield和yield-each137
6.2.10label138
6.2.11break和continue139
6.3总结140
第7章反射141
7.1自省141
7.1.1速度与大小的影响144
7.1.2例子:代理146
7.1.3例子:序列化147
7.1.4例子:解析器组合器158
7.2为什么使用mirror168
7.3元数据169
7.4通过代码生成执行反射169
7.5自省之外172
7.6相关语言173
7.7总结173
第8章异步和isolate174
8.1异步174
8.2future175
8.2.1使用future175
8.2.2生成future176
8.2.3调度177
8.3stream178
8.4isolate178
8.4.1Port179
8.4.2spawning179
8.4.3安全180
8.5例子:客户端-服务器通信180
8.5.1promise:更好的future180
8.5.2将isolate作为分布式对象182
8.6异步函数187
8.6.1await187
8.6.2异步Generator188
8.6.3await-for循环189
8.7相关语言189
8.8总结189
第9章结论190
9.1可选类型190
9.2面向对象191
9.3反射192
9.4工具192
9.5总结193
相关文献194
|
內容試閱:
|
译者序
Dart是一门由Google开发并被批准为ECMA标准(ECMA-408)的通用编程语言。它可以用于构建Web端、服务端和移动端应用程序。它是开源的,使用宽松的免费软件许可证(修改版BSD许可证)。Dart是完全面向对象的,使用类和单继承,可编译为JavaScript,语法风格是类C的。它支持接口、mixin、抽象类、泛型和可选类型。
Dart目前在业界的认识度不高,社区规模也比较小,主要原因是Dart自身还在不断地发展、完善中,而Google对外还没有真正地对Dart做过推广。幸好,近两年Dart的发展开始步入正轨。Dart是2016年Google内部使用量增长最快的编程语言,多个重要项目如AdSense、AdWords等Web应用,正在用Dart重写。Google正在研发中的跨平台移动端开发工具Flutter,也正在使用Dart。Dart未来的发展值得我们期待。
本书虽然名为《Dart编程语言》,且内容也涉及了对象、类型、表达式与语句等基础知识,但它总体还是着重于讲解语言背后的原理和思想。这意味着本书并不适合真正的初学者,读者至少要具备基本的编程知识,最好对Dart有基本的了解且使用过一门编程语言,例如JavaScript、Java或C#等。
作为一门新生的可选类型编程语言,Dart目前的关注者比较少,可参考的资料也非常匮乏,而本书内容具有一定深度,加上笔者水平有限,翻译时出现错误或偏差在所难免,欢迎读者朋友指正。
感谢出版社编辑的校对,特别感谢付睿编辑,让我得到了翻译(学习)本书的机会。翻译工作耗费了我大量的业余时间。也感谢家人的支持与理解。
推荐序
在2006年的早春时节,我在博客上写了一篇简短的文章《Gilad是正确的》,主要内容是表述作为一名静态类型主义者,我认同Gilad关于可选和分层类型系统的想法,静态类型不能改变程序的运行时行为,不阻止非法程序的编译或执行,是面向数百万开发人员的编程语言必然要做出的设计权衡。当时我正在忙于学习Visual Basic语言,它通过Option Strict Off语句已经可以支持可选类型,但该特性受到静态类型支持者的猛烈抨击。类型系统通常是高度非线性的,当它成长至某一节点之后,其复杂性将呈爆炸性增长,带给开发者的价值却很少,还使语言实现者的生活变得暗淡无光。可选和分层类型系统通过允许强制静态类型与动态类型和平共存来实现一种更加缓和的处理方式。现在,近十年后,Gilad开创性的愿景已经化名为渐进类型并逐步成为主流。过去几年中所诞生的许多编程语言,如Hack、TypeScript、Flow、Racket和Dart,都选择了渐进类型。即使是学术界,也接受了这个想法,并用包含如三人行和责备等轻蔑字眼的标题,来编写与之相关的论文。
Dart另一个务实且没有被语言纯粹主义者所接受的事实是,Dart的类型系统被故意设计为非严格的。用正常的语言来描述,这意味着Dart类型检查器在编译时不会标记某些类型错误,反而依靠运行时检查来确保类型安全。Dart中类型非严格的主要来源是协变泛型。为了解释其中的分歧,让我们先看看一台自动售货机,我们只能从中取饮料。如果自助餐厅需要售卖汽水的自动售货机,则我们可以合法地安装售卖根汁汽水的自动售货机,因为根汁汽水是一种汽水(但是在需要售卖根汁汽水的自动售货机的地方,安装售卖汽水的自动售货机则是非法的)。在编程语言中,我们说自动售货机是协变的。接下来让我们看看只能用来装填垃圾的垃圾桶。如果自助餐厅需要一个垃圾桶来回收垃圾,则我们可以合法安装一个普通的垃圾桶,因为可回收垃圾是垃圾的一种(但对于需要普通垃圾桶的地方,安装可回收垃圾桶是非法的)。在编程语言中,我们说垃圾桶是逆变的。你不是唯一对协变和逆变感到困惑的人,你会欣赏Dart的决定,使所有的泛型类型协变。这种选择的后果是,如果你需要普通垃圾桶,则你可以合法安装一个用于可回收垃圾的垃圾桶,但该垃圾桶会拒绝回收人们向其中投入的所有不可回收的垃圾。虽然理论上非严格,但对于大多数开发人员来说,不安全的协变实际上是很自然的,我赞赏Dart设计者在这里做出的选择。作为曾经挣扎于选择super或extends的人可以证明,选择支持静态类型安全的泛型语言,其付出的代价是建立在减少用户之上的。
Dart语言设计者做出的其他务实选择,使Dart的编码过程变得流畅。例如,Dart没有接口、抽象基类或普通类。相反,Dart只有作为接口的类,你可以实现它们,或者通过继承它们来作为基类使用,或者通过mixin来重用它们的实现。Dart中的每个类型都是一个对象,所以基础类型(如数字)和常规对象类型是没有区别的。虽然Dart中的所有内容都是对象,但定义顶级函数和变量也是可以的,所以顶层类中不再需要可怕的public static void咒语了。Dart允许用户自定义算术运算符,但不支持基于类型的方法重载,这大大简化了语言本身。其他支持基于类型重载的编程语言,它们的语言规范花费了大量不必要的篇幅来描述此特征的语义。null感知运算符(null也是一个普通的对象)和级联为点操作符赋予了更多的能力,也使API的作者不费吹灰之力就能编写出可让用户流畅使用的API。
因为所有类型都是可选的,所以Dart本质上是一种动态语言,虽然如此,与其他大多数动态语言相比,你很少有机会产生疑问。有null但没有undefined,因此只有==但没有===。只有true是true,所以也不需要使用 foo && foo.bar 来检查null。Dart有常见的整数和浮点数字类型,但是 和==不会产生令人惊讶的运行时类型转换,类型转换可能会是伟大的考试问题或有趣的会议演示,但都会带来令人沮丧的错误。
在我看来,虽然我明显存在偏见,但Dart成为我最喜欢的编程语言的原因是,它是我知道的唯一支持以下四种模式的编程语言。
也就是说,Dart通过使用sync*块中的生成器和for循环,对同步数据流(Iterable <T>)的生成和使用提供良好的支持,使用async块中的await表达式,生成和使用future(Future <T>),最后且最重要的是,使用async*块中的异步生成器和for循环生成及使用异步数据流(Stream <T>)。内置对异步编程的支持在任何现代编程语言中都是必不可少的,虽然数据存在于内存中,但让它们在网络上传输,那是非常遥远的,在如此高延迟下进行同步访问的代价极高。类似于JavaScript,但又不同于其他支持生成器的语言,Dart拥有所谓的委派生成器,避免流的生成在嵌套和递归中呈现二次方规模的爆发性增长。
尽管有以上诸多优点,Dart在大体上是一门被设计得比较无趣的语言。由于支持getter、setter、lambda、enum、reified generic、模块、一个精心设计的标准库和一个简单的包管理器,如果你用过Java或C#,则使用Dart会让你感觉非常舒适,就像一双合脚的鞋子;如果你用过JavaScript,那么你会觉得Dart像新鲜的空气。本书将帮助你了解Dart的所有特性,了解为什么需要这些特性及它们是如何实现的,Gilad对细节的详细讲解和其独特的方式,可让你在短时间内熟悉Dart。
Erik Meijer
加利福尼亚州 帕罗奥图
2015年10月
前言
本书与其他Dart书籍有什么不同?其他Dart书籍都注重于实操,本书着重于讲解原理和思想。
Dart的实操非常重要,但它们可能会逐年变化,并可能一直变化下去。相比之下,Dart背后的原理应该很少会随时间而改变。如果你对激发Dart语言设计的想法及它们是如何实现的,还有如何权衡现实世界对Dart的需求等感兴趣,那么你应该阅读本书。
Dart的主要思想之一是可选类型。我在几十年前就开始从事可选类型的工作,今天我们看到使用可选类型系统的语言在飞速增加,我对此感到非常欣慰。虽然Dart和它的任何竞争对手都不像我想要的那样实现可选类型,但可选类型成为主流的事实才是最重要的。
更重要的思想是,Dart是一种面向对象的语言,这不等同于传统意义上的类、继承或其他大多数开发者所理解的概念,它的深层含义可以表述为,一个对象最重要的是它可观察的行为。同样,Dart对这个想法并没有完美地实现,但比大多数主流语言要好。
本书中涉及的另一个关键思想是反射。大部分关于编程的书籍都没有很好地讨论反射。因此,我非常渴望在本书中探讨反射。然而,Dart的反射历史却意外地曲折。
一方面,很多Dart用户都渴望使用反射,有时只是为了用而用,但并不一定适用。另一方面,某些作为Dart编译目标的平台存在严重限制,使得对反射的支持异常昂贵,尤其是需要考虑代码的体积。这种双向压力使Dart的反射陷入尴尬的境地。
我们从一开始就知道代码体积和反射对其影响的敏感性。这个问题及其解决方案在2011年11月的第1个Dart反射设计文档中被讨论。然而,直到实现解决方案且开发者可以轻松使用时,已经花费了四年。
我希望本书有效地传达上述及其他语言设计相关的想法,但它们的好坏由读者来判断。我们可能可以创造一门更加纯粹的语言,并做得更好,但另一方面,我们也不清楚是否可以得到大家的认可。也许有一天我会进行那样的尝试。
本书的写作历时很久。直到我能完整讲述一个关于反射的合理故事,我才完成本书。拖延本书写作的另一个原因是,本书的主题发展得如此之快,以至于它总是面临过时的风险。这种风险还没有过去,但在某个时刻我们需要说适可而止。
Dart并没有完美实现驱动其设计的思想。没有人比它的设计者更了解这个事实。然而,它是一门真正的语言,已经被用来书写数百万行的关键任务代码。它以某种方式推动了编程文化的发展,最引人注目的是在可选类型领域。正如有人在丹麦说的:它本可能更糟。
致谢
Dart编程语言是大团队努力的结果。Dart
|
|