1. Java基礎勉強会
ジェネリクスの
@mzp
1

2. @mzp
2

3. 3

4. AsakusaSatellite 0.7.2
リリースしました
4

5. Java8リリース目前
5

6. ←Java8
←Java1.0
6
http://www.flickr.com/photos/deming0131/5879385869/in/photostream/

8. Java1.0

9. Java1.1
Java1.0

10. Java1.2
Java1.1
Java1.0

11. Java1.3
Java1.2
Java1.1
Java1.0

12. Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

13. Java 5
Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

14. Java 6
Java 5
Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

15. Java 7
Java 6
Java 5
Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

16. Java 8
Java 7
Java 6
Java 5
Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

17. Java 8
Java 7
Java 6
Java 5 ←最大の変更
Java 1.4
Java1.3
Java1.2
Java1.1
Java1.0

18. ArrayList xs =
new ArrayList();
xs.add((Object)"foo");
String str =
(String)xs.get(0);
8

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

20. ArrayList<String> xs =
...
xs.add("foo");
String str =
s.get(0);
9

21. Java 8
Java 7
Java 6
Java 5
Java 1.4
Java1.3
} ちゃんと
繋ってる
Java1.2
Java1.1
Java1.0 10

22. ←C# 2.0
←C# 1.0
(CLR2.0)
(CLR1.0)
C#(.NET)
11
http://www.flickr.com/photos/ihorner/65073758/

23. OCaml/Haskell/SML
12

24. ←?????
C++
13

25. なぜJavaのジェネリクスは
特殊なのか
Javaのジェネリクスはイ
レージャー方式
ランタイムはそのまま
非ジェネリクスに変換し
14

26. Odersky先生らの偉大なる
功績
GJ(Generic Java)
として実装
後にJava5として
取り込まれた
15

27. 完
16

28. Java基礎勉強会
ジェネリクスの
@mzp
17

29. 基礎とは
ある物事を成り立たせる、大もとの部
分。もとい。
――デジタル大辞泉
なぜJavaのジェネリクス
が成立するか
18

30. ホントにジェネリクスは動
くのか
すべての状況で必ず変換
できる?
既存の言語機能と衝突し
ない?
19

31. Java言語を直接拡張するの
はキツい
20

32. 模型で実験しよう
21

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

34. FJの例
class Point extends Object{
int x;
Point(int x’) {
this.x = x’;
}
int getX() {
return this.x;
}
}
23

35. 他に定義されていること
簡約規則、型付規則
重要な性質
‣ Subject Reduction
‣ Progress
24

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

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

38. 他に定義されていること
簡約規則、型付規則
重要な性質
‣ Subject Reduction
‣ Progress
27

39. FGJからFJへの変換
(type erasure)
型をなるべく上位のスー
パークラスに置き換える
キャストを適宜挿入する
28

40. 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

41. class PointA extends Point<A>{
PointA(A x) { super(x); }
PointA update(A y) {
return new Point<T>(y);
}
}
A→Object
PointA→Point
class PointA extends Point{
PointA(Object x) { super(x); }
Point update(Object y) {
return new PointA((A)y);
}
}
29

42. class PointA extends Point<A>{
PointA(A x) { super(x); }
PointA update(A y) {
return new Point<T>(y);
}
}
A→Object
PointA→Point
class PointA extends Point{
PointA(Object x) { super(x); }
Point update(Object y) {
return new PointA((A)y);
}
} キャストを挿入
29

43. 変換に関する性質
type preservation
‣ FGJがwell-typedならFJをwell-
typed
execution preservation
‣ FGJとFJで実行結果が同じ
30

44. FJの他の使い方
31

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

46. 33

47. オブジェクト指向型言語より関
数言語のほうが表現能力が高い
FJはλ計算+レコードで
表現できる
http://www.flickr.com/photos/garrettwade/5839608287/
34

48. どう証明するか
FJをラムダ計算に変換で
きる
評価結果が変化しない
詳しくは http://ocaml-
35

49. まとめ?
ジェネリクス使っとけ
FJのことも、ときどき思
い出してください
議論に便利
36