質問編集履歴
1
補足の追加
test
CHANGED
File without changes
|
test
CHANGED
@@ -89,3 +89,89 @@
|
|
89
89
|
|
90
90
|
|
91
91
|
※ドワンゴ研修資料から引用
|
92
|
+
|
93
|
+
|
94
|
+
|
95
|
+
|
96
|
+
|
97
|
+
### 補足
|
98
|
+
|
99
|
+
「変数`x`と`y`の型は?」の質問内容が不十分だったため、補足いたします。
|
100
|
+
|
101
|
+
|
102
|
+
|
103
|
+
ドワンゴ研修資料には、`foldLeft`のサンプルとして、以下のコードが載っていました。
|
104
|
+
|
105
|
+
```scala
|
106
|
+
|
107
|
+
List(1, 2, 3).foldLeft(0)((x, y) => x + y)
|
108
|
+
|
109
|
+
//⇒ 6
|
110
|
+
|
111
|
+
```
|
112
|
+
|
113
|
+
|
114
|
+
|
115
|
+
上記のサンプルプログムから、私は以下のように判断しました。
|
116
|
+
|
117
|
+
* 上記のプログラムの、初期値、変数`x`, `y`の型は`Int`
|
118
|
+
|
119
|
+
* したがって、`foldLeft`で使う初期値、変数`x`, `y`の型は、`List`の型パラメータ
|
120
|
+
|
121
|
+
|
122
|
+
|
123
|
+
このような理解で、「mapメソッドをfoldLeftとreverseで実装する問題」の解答を見たとき、
|
124
|
+
|
125
|
+
以下の項目が疑問に思いました。
|
126
|
+
|
127
|
+
* 初期値の型は`List`?
|
128
|
+
|
129
|
+
* 変数`y`の型は`Int`だけど、`x`の型は`List`?
|
130
|
+
|
131
|
+
* 変数`x`と変数`y`の型は同じでなくてよい?
|
132
|
+
|
133
|
+
|
134
|
+
|
135
|
+
以上が、「変数`x`と`y`の型は何?」と質問した経緯です。
|
136
|
+
|
137
|
+
|
138
|
+
|
139
|
+
[Scala APIドキュメント](http://www.scala-lang.org/api/2.12.4/scala/collection/immutable/List.html)
|
140
|
+
|
141
|
+
では、`foldLeft`の宣言は、
|
142
|
+
|
143
|
+
|
144
|
+
|
145
|
+
```scala
|
146
|
+
|
147
|
+
def foldLeft[B](z: B)(op: (B, A) ⇒ B): B
|
148
|
+
|
149
|
+
```
|
150
|
+
|
151
|
+
となっており、
|
152
|
+
|
153
|
+
* 初期値、変数`x`に対応する型パラメータは`B`
|
154
|
+
|
155
|
+
* 変数`y`に対応する型パラメータは`A`
|
156
|
+
|
157
|
+
でした。
|
158
|
+
|
159
|
+
|
160
|
+
|
161
|
+
変数`x`と`y`の型は異なっていて、いいんですね。
|
162
|
+
|
163
|
+
|
164
|
+
|
165
|
+
以上、`foldLeft`の理解不足による質問でした。
|
166
|
+
|
167
|
+
|
168
|
+
|
169
|
+
|
170
|
+
|
171
|
+
### 参考にしたサイト
|
172
|
+
|
173
|
+
* [【Scala】foldLeftとfoldRightのしくみ](https://dev.classmethod.jp/server-side/scala-foldright-foldleft/)
|
174
|
+
|
175
|
+
* [2017-07-21 Scalaのリストに要素を追加するときの処理時間について](http://mitubaex.hatenablog.com/entry/2017/07/21/180708)
|
176
|
+
|
177
|
+
* [Scala List](http://www.ne.jp/asahi/hishidama/home/tech/scala/collection/list.html)
|