狠狠撸

闯补惫补基础勉強会

ジェネリクスの
@mzp

1

AsakusaSatellite 0.7.2
リリースしました

4

闯补惫补8リリース目前

5

←闯补惫补8

←Java1.0

6
http://www.?ickr.com/photos/deming0131/5879385869/in/photostream/

Java1.3

Java1.2

Java1.1
Java1.0

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

Java 5

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

Java 6

Java 5

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

Java 7

Java 6

Java 5

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

Java 8

Java 7

Java 6

Java 5

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

Java 8

Java 7

Java 6

Java 5 ←最大の変更

Java 1.4

Java1.3

Java1.2

Java1.1
Java1.0

ArrayList xs =
new ArrayList();

xs.add((Object)"foo");

String str =
(String)xs.get(0);

8

ArrayList xs =
new ArrayList();
ヤバイ
xs.add((Object)"foo");
ヤバイ
String str =
(String)xs.get(0);

8

ArrayList<String> xs =
...

xs.add("foo");

String str =
s.get(0);

9

Java 8

Java 7

Java 6

Java 5

Java 1.4

Java1.3
} ちゃんと
繋ってる

Java1.2

Java1.1
Java1.0 10

←C# 2.0
←C# 1.0
(CLR2.0)
(CLR1.0)

C#(.NET)
11
http://www.?ickr.com/photos/ihorner/65073758/

なぜ闯补惫补のジェネリクスは
特殊なのか
Javaのジェネリクスはイ
レージャー方式

ランタイムはそのまま

非ジェネリクスに変換し
14

翱诲别谤蝉办测先生らの伟大なる
功績
GJ(Generic Java)
として実装

後にJava5として
取り込まれた
15

闯补惫补基础勉強会

ジェネリクスの
@mzp

17

基礎とは
ある物事を成り立たせる、大もとの部
分。もとい。
――デジタル大辞泉

なぜJavaのジェネリクス
が成立するか

18

ホントにジェネリクスは动
くのか
すべての状況で必ず変換
できる?

既存の言語機能と衝突し
ない?
19

闯补惫补言语を直接拡张するの
はキツい

20

模型で実験しよう

21

FJ(Featherweight Java)
最小限のJavaサブセット
?クラス定義
あるものないもの
?アクセス制御(e.g.
?フィールド定義
public, private)
?メソッド定義 ?static
?オーバーライド ??nal
?リフレクション
?キャスト
22

FJの例

class Point extends Object{
int x;
Point(int x’) {
this.x = x’;
}
int getX() {
return this.x;
}
}

23

他に定義されていること
簡約規則、型付規則

重要な性質
? Subject Reduction
? Progress

24

FGJ
FJ + ジェネリクス
?クラス定義 + ジェ
あるものないもの
ネリクス ?アクセス制御(e.g.
?フィールド定義 public, private)
?static
?メソッド定義 + ??nal
ジェネリクス ?リフレクション
?オーバーライド 25

FGJの例
class Point<T> extends Object{
T x;
Point(T x’) {
this.x = x’;
}
T getx() {
return this.x;
}
}

26

他に定義されていること
簡約規則、型付規則

重要な性質
? Subject Reduction
? Progress

27

FGJからFJへの変換
(type erasure)
型をなるべく上位のスー
パークラスに置き換える

キャストを適宜挿入する

28

class PointA extends Point<A>{
PointA(A x) { super(x); }
PointA update(A y) {
return new Point<T>(y);
}
}

class PointA extends Point{
PointA(Object x) { super(x); }
Point update(Object y) {
return new PointA((A)y);
}
}

29

}
}
A→Object
PointA→Point
}
}

29

}
}
A→Object
PointA→Point
}
} キャストを挿入

29

変換に関する性質
type preservation
? FGJがwell-typedならFJをwell-
typed

execution preservation
? FGJとFJで実行結果が同じ

30

贵闯の他の使い方

31

例:関数型言語との比較
オブジェクト指向型言語より関数型言語のほ
うが表現能力が高い気がする

32

オブジェクト指向型言語より関
数言語のほうが表現能力が高い

FJはλ計算+レコードで
表現できる

http://www.?ickr.com/photos/garrettwade/5839608287/
34

どう証明するか
FJをラムダ計算に変換で
きる

評価結果が変化しない

詳しくは http://ocaml-
35

まとめ?
ジェネリクス使っとけ

FJのことも、ときどき思
い出してください

議論に便利
36

狠狠撸

闯补惫补基础

Recommended

More Related Content

What's hot (20)

Similar to 闯补惫补基础 (20)

More from Hiroki Mizuno (20)

闯补惫补基础

Editor's Notes