質問編集履歴
2
ideoneのリンクのmarkdownを修正
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -32,7 +32,7 @@
|
|
|
32
32
|
}
|
|
33
33
|
```
|
|
34
34
|
|
|
35
|
-
Ideoneで確認できます（https://ideone.com/ODNPYa](https://ideone.com/ODNPYa）
|
|
35
|
+
Ideoneで確認できます（[https://ideone.com/ODNPYa](https://ideone.com/ODNPYa)）
|
|
36
36
|
|
|
37
37
|
`package object scala`で定義されている`List`は`L2`と同じ定義で、`List[+A] = scala.collection.immutable.List[A]`になってるみたいです。
|
|
38
38
|
|
1
ideoneのリンク修正
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -19,20 +19,20 @@
|
|
|
19
19
|
object Main extends App {
|
|
20
20
|
type L1[A] = scala.collection.immutable.List[A]
|
|
21
21
|
type L2[+A] = scala.collection.immutable.List[A]
|
|
22
|
-
|
|
23
|
-
|
|
22
|
+
|
|
23
|
+
|
|
24
24
|
val a: L1[String] = List("apple", "orange", "melon")
|
|
25
25
|
val b: L1[CharSequence] = a // 定義可能です
|
|
26
|
-
|
|
27
|
-
|
|
26
|
+
|
|
27
|
+
|
|
28
|
-
val c:
|
|
28
|
+
val c: L2[String] = List("apple", "orange", "melon")
|
|
29
|
-
val d:
|
|
29
|
+
val d: L2[CharSequence] = c // 定義可能です
|
|
30
|
-
|
|
30
|
+
|
|
31
31
|
println("実行もOK")
|
|
32
32
|
}
|
|
33
33
|
```
|
|
34
34
|
|
|
35
|
-
Ideoneで確認できます（
|
|
35
|
+
Ideoneで確認できます（https://ideone.com/ODNPYa](https://ideone.com/ODNPYa）
|
|
36
36
|
|
|
37
37
|
`package object scala`で定義されている`List`は`L2`と同じ定義で、`List[+A] = scala.collection.immutable.List[A]`になってるみたいです。
|
|
38
38
|
|