狠狠撸

Dart言語は進歩的？
顿补谤迟言语の进化状况
1
Dart Meetup Osaka #1
robo

自己紹介
名前
robo （兼高理恵）
好きなもの
モバイル端末
おしごと
アプリの設計から実装まで
所属
GDG Kyoto (staff) WTM Kyoto (staff) Flutter Osaka (staff)
2

はじめに
スピーカは、モバイルアプリ開発者です。
そこで Flutter モバイルアプリ開発を離れて、
Dart の言語特徴や進化について調べてみました。
3

おさらい
WIKIPEDIA - Dart (programming language) より
Dart 言語は、2010/10 にプロジェクトが立ち上がり、
2013/11 に Dart 1.0 安定版がリリースされました。
5
Dart 1.0: A stable SDK for structured web apps (2013/11/14)
https://news.dartlang.org/2013/11/dart-10-stable-sdk-for-structured-web.html
GOTO Conference 2011/10/10-12 Opening Keynote Presentation 紹介
"Dart, a new programming language for structured web programming"
http://gotocon.com/aarhus-2011/presentation/Opening%20Keynote:%20Dart,%20a%20new%20programming%20l
anguage%20for%20structured%20web%20programming

Dart は、JavaScript の知見をベースとした
Web開発のための新しい言語として誕生
6
http://gotocon.com/dl/goto-aarhus-2011/slides/GiladBracha_and_LarsBak_OpeningKeynoteDartANe
wProgrammingLanguageForStructuredWebProgramming.pdf
HISTORY BEHIND DART
? After several years working on V8 for Chrome
? Last year, Kasper Lund & I experimented with Spot
　? a new simple language for the web
　? based on the experiences from JavaScript
? Spot was the prelude for the Dart project
SO WHAT IS DART?
? A simple and unsurprising OO programming language
　? Class-based single inheritance with interfaces
　? Optional static types
　? Real lexical scoping
　? Single-threaded
　? Familiar syntax
Keynote Presentation 狠狠撸より
Dart 言語の大きな特徴として、オプションですが静的型付（実際は静的チェッカ
?参考元）をサポートし、プログラム構造を明示できるようインターフェースを使用した単
一継承クラスベースであることが掲げられています。

JavaScript の困ったところは、バッサリ切り捨て
7
Dart FAQ
Q. What does Google think of TypeScript?
https://dart.dev/faq#q-what-does-google-think-of-typescript
TypeScript maintains backwards compatability with JavaScript,
whereas Dart purposely made a break from certain parts of JavaScript’s syntax
and semantics in order to eradicate large classes of bugs and to improve performance.
TypeScriptは、JavaScriptとの後方互換性を維持しますが、
Dartは意図的にJavaScriptの特定の構文とセマンティクス（意味解釈）を壊し、
バグの大元を取り去り、パフォーマンスを向上させています。

JavaScript に構文が似ていても挙動は異なる
8
DartPad
https://dartpad.dev/
JS : Firefox ウェブ開発のウェブコンソール結果
'use strict';
var num = 101;
var str = '101';
console.log(num == str); // ? true
console.log(num === str); // ? false
Dart : DartPad での実行結果
void main() {
var num = 101;
var str = '101';
print(num == str); // ? false
}
Dart は JavaScript と構文が似ていますが、暗黙の型変換を切り捨てています。
意図的にセマンティクスを変更しているので、同じようなコードであっても
別物と考える必要があります。

Dart 2 から大規模変革開始
型システムが強化され静的型付言語となりました。
Webだけでなく、モバイルを含めたクライアント開発の
（現在ではデスクトップ含むマルチプラットフォーム開発の）
言語に強化されています。
9
Announcing Dart 2: Optimized for Client-Side Development (2018/02/23)
https://medium.com/dartlang/announcing-dart-2-80ba01f43b6
The Dart type system
https://dart.dev/guides/language/type-system
Announcing Dart 2 Stable and the Dart Web Platform (2018/08/08)
https://medium.com/dartlang/dart-2-stable-and-the-dart-web-platform-3775d5f8eac7

Dart 言語公式資料
● Tutorials
https://dart.dev/tutorials
● Effective Dart
https://dart.dev/guides/language/effective-dart
● A tour of the Dart language
https://dart.dev/guides/language/language-tour
● API Reference
https://api.dart.dev/stable/2.9.0/index.html
10

おまけ
Dart 言語は、
クライアント開発だけでなく、サーバ開発にも使えます。
● Dartでサーバレスサービス
/cch-robo/dart-237637482
11

Dart 2.0 からの進化状況
12

● 2.0 sound type system ? 静的型解決対応 (1.xコードからの移行必須化 )
● 2.3 spread operator の追加
collection if と collection for の追加
● 2.7 extension methods ? 拡張メソッドをサポート
● 2.8 来たるべき null safety ? null 安全への布石
今後の進化は？
13
Dart language evolution
https://dart.dev/guides/language/evolution
進化の抜粋

14
Dart プロパティアクセス
var button = querySelector('#confirm');
button.text = 'Confirm';
button.classes.add('important');
button.onClick.listen((e) => alert('Confirmed!'));
Dart カスケード表記
querySelector('#confirm') // Get an object.
..text = 'Confirm' // Use its members.
..classes.add('important')
..onClick.listen((e) => alert('Confirmed!'));
spread operator の前に、
cascade notation ? カスケード表記を説明
Cascade notation
https://dart.dev/guides/language/language-tour#cascade-notation-
カスケード表記? .. は、
同じオブジェクトのプロパティやメソッド指定する構文です。
これにより各メンバーへの連鎖的な設定が記述できます。
（.. の実態は演算子でなく、Dart 構文です）

15
Dart スプレッド演算子
var list = [1, 2, 3];
var list2 = [0, ...list];
assert(list2.length == 4);
Dart スプレッド演算子（null認識表記）
var list;
var list2 = [0, ...?list];
assert(list2.length == 1);
spread operator ? スプレッド演算子は、
コレクションへの操作を各要素への操作に展開します。
spread operator
https://dart.dev/guides/language/language-tour#spread-operator
スプレッド演算子? … は、
... 右辺のコレクションに対する操作を、
その各要素への操作として展開します。
これによりリスト全要素の別リストへの挿入も手軽に記述できます。

16
Dart コレクション if
var nav = [
'Home',
'Furniture',
'Plants',
if (promoActive) 'Outlet' // true 時のみ挿入
];
Dart コレクション for
var listOfInts = [1, 2, 3];
var listOfStrings = [
'#0',
for (var i in listOfInts) '#$i'
];
// listOfStrings ? ['#0','#1','#2','#3']
collection if / collection for は、
コレクションへの条件 / 繰返指定付きの要素挿入です。
collection if / collection for
https://dart.dev/guides/language/language-tour#collection-operators
コレクション if とコレクション for により、、
コレクションへの要素挿入処理の記述が手軽になります。

17
Dart 拡張メソッド
extension CountService on String {
int countExclamations() =>
this.length - this.replaceAll("!","").length;
}
void main() {
print("Hello, world!!!".countExclamations());
// 3 が表示される。
}
【参考】Kotlin 拡張関数
fun String.countExclamations():
Int = this.length - this.replace("!","").length
fun main() {
println("Hello, world!!!".countExclamations())
// 3 が表示される。
}
extension methods ? 拡張メソッドは、
既存クラスにメソッドやプロパティを追加し（たように見せ）ます。
Extension methods
https://dart.dev/guides/language/extension-methods

null 安全に移行すると、
既存の変数宣言は、null 不可型の変数宣言になります。
null も許すなら、null 許容型の変数宣言への変更必須です。
null 不可型変数には、nullが設定されなことが保証されますが、
null 安全は、まだテクニカルプレビューなので製品版には使わないで！
ここでは表記単純化のため non-null や non-nullable を null 不可、
nullable を null許容 …と共通意訳していることに留意ください。
18
Understanding null safety
https://dart.dev/null-safety/understanding-null-safety
Sound null safety
https://dart.dev/null-safety
null safety ? null 安全

19
Dart の Null 安全 : DartPad with null safety での実行結果
void main() {
String? nullableStr = null; // OK! （null 許容型の String として宣言）
int nonNullNum = 100; // OK! （null 不可型の int として宣言）
int? nullableNum = null; // OK! （null 許容型の int として宣言）
nonNullNum = nullableNum; // Type mismatch: inferred type is Int? but Int was expected
String nonNullStr = null; // Null can not be a value of a non-null type String
}
DartPad with null safety
https://nullsafety.dartpad.dev/
null safety ? null 安全では、
型宣言? で null 許容型、なければ常に null 不可型になる。

20
class Sample {
// 初回アクセスされるまでに初期化されていれば良い、 null 不可型宣言フィールド
late String lateStr;
void init() { print("late -> "); lateStr = "Hello"; }
}
void main() {
Sample sample = Sample();
sample.init();
print("lateStr=${sample.lateStr}"); // late -> lateStr=Hello
}
null safety ? null 不可なフィールドは、
late 型宣言で遅延設定フィールドに修正する。
late を付けて宣言しないとエラーになる。
Error: Field 'lateStr' should be initialized
because its type 'String' doesn't allow null.
String lateStr;
^^^^^^^

21
null safety ? null 安全では、
null 不可なオプション引数に、初期値が必須になる。
void present(
String name, {String color}) {
print('I send you a $color $name.');
}
Error: Optional parameter 'color' should
have a default value because its type
'String' doesn't allow null.
String name, {String color}) {
^^^^^
void main() {
present('rose', color:'red');
}
void present(
String name, {String color='white'}) {
print('I send you a $color $name.');
// I send you a red rose. が表示される。
}
オプション引数に、初期値があるとき。オプション引数に、初期値がないとき。

22
Flutter Day Livestream | Session 3: Dart
https://www.youtube.com/watch?v=ZxSyZHq8gUg&feature=youtu.be&t=1618
null safety ? null 安全に移行するには、
既存ソースからの移行作業が必須になります。
nnbd_migration 0.1.0
https://pub.dev/packages/nnbd_migration
null 安全は、魅力的ですが、
既存のコードやライブラリは、
移行作業(コード修正)が必須です
このため Dart チームは、
移行ツールを提供しています。
Note: the null safety migration tooling is in an early
state and may have bugs and other issues.
For best results, use SDK version 2.9.0-10.0.dev or higher.

23
Kotlin Playground
https://play.kotlinlang.org/
【参考】Kotlin の Null 安全 : Kotln Playground での実行結果
fun main() {
var nullableNum : Int? = null // OK! （Null 許容型の Int として宣言）
var nonNullNum : Int = 100 // OK! （Null 不可型の Int として宣言）
var nullableStr : String? = null // OK! （Null 許容型の String として宣言）
nonNullNum = nullableNum // Type mismatch: inferred type is Int? but Int was expected
var nonNullStr : String = null // Null can not be a value of a non-null type String
}
【参考】 Kotlin の Null Safety ? Null 安全も、
型宣言? であれば Null 許容型、なければ常に Null 不可型

24
class Sample {
// 初回アクセスされるまでに初期化されていれば良い、 Null 不可型宣言フィールド
lateinit var lateStr : String
// 初回アクセス時に初期化の移譲関数が実行される、 Null 不可型宣言フィールド
val lazyNum : Int by lazy { print("lazy -> "); 100 }
fun init() { print("late -> "); lateStr = "Hello" }
}
fun main(args: Array<String>) {
val sample = Sample(); sample.init()
println("lateStr=${sample.lateStr}") // late -> lateStr=Hello
println("lazyNum=${sample.lazyNum}") // lazy -> lazyNum=100
}
【参考】 Kotlin の Null 安全な、遅延設定フィールドは、
lateinit か lazy 移譲関数を指定する。

25
Flutter Day Livestream | Session 3: Dart
https://www.youtube.com/watch?v=ZxSyZHq8gUg&feature=youtu.be&t=2650
#AskFlutter #FlutterDay 回答より
rich enum types や sealed classes
導入について、何度か検討したが、
現時点では約束できないそうです。
今後の進化は？

26
Are there any sealed classes alternatives in Dart 2.0?
https://stackover?ow.com/questions/54317000/are-there-any-sealed-classes-alternatives-in-dart-2-0
【補足】 Sealed Class は、
完全ではありませんが擬似コードは作れます。
【参考】Kotlin シールドクラス例
sealed class MyState {
data class Success(val data: List<MyObject>) : MyState()
data class Error(val error: String) : MyState()
}
シールドクラスは、継承可能な範囲（派生先）を制限するクラス
これにより派生物ごとの処理制御が保証可能になります。
stack overflow に Dartでの擬似コードの回答例がありました。

27
Algebraic Data Types (ADTs, Sealed Classes, Enum with associated values)
https://github.com/dart-lang/language/issues/349
Dart での擬似コード回答例
class MyState {
MyState._();
factory MyState.success(String foo) = MySuccessState;
factory MyState.error(String foo) = MyErrorState;
}
class MyErrorState extends MyState {
MyErrorState(this.msg): super._();
final String msg;
}
class MySuccessState extends MyState {
MySuccessState(this.value): super._();
final String value;
}
擬似コードでも、
想定を満たしますが、
Kotlin の
シールドクラスは、
定義されたファイル以外
に、指定されたクラスの
他の実装がないことまで
保証できます。
dart-lang に ISSUE は立ってます。

むすび
Dart FAQ からの２つの回答をもとに、
私は、ゆっくりですが着実に進んでいくと思います。
29
Q. Why isn’t Dart syntax more exciting?
https://dart.dev/faq#q-why-isnt-dart-syntax-more-exciting
> but we’d agree that Dart chooses familiarity over excitement.
　Dart言語は、エキサイトメントよりも親しみやすさを選択します。

30
Q. Can Dart add tuples, pattern matching, non-nullable types,
partial evaluation, optional semicolons, …?
https://dart.dev/faq#q-can-dart-add-tuples-pattern-matching-non-nullable-types-partial-evaluation-optional-semicolons-
> Some features don’t fit the basic nature of the language,
> and some don’t play well with other features.
> Simplicity is the single most important gift we can give to future programmers.
> It’s far more painful to remove a language feature than to add it,
> so Dart is likely to add the most obvious features first, and then revisit the next tier later.
　一部の機能は言語の基本的な性質に適合しませんし、
他の機能とうまく連携しません。
　シンプルさこそが、
将来のプログラマーに与えることができる最も重要な贈り物です。

31
ご清聴、
ありがとうございました。
情報修正があれば更新します
最新版スライドはこちらから

狠狠撸

顿补谤迟言语の进化状况

More Related Content

顿补谤迟言语の进化状况