scala - scala Stream の #:: 演算子とは何ですか?

Question

重複の可能性:
#:: の Scala ドキュメントの検索

Streamのドキュメントを見ています

filter メソッドには次のコードがあります。

def naturalsFrom(i: Int): Stream[Int] = i #:: naturalsFrom(i + 1)
naturalsFrom(1)  10 } filter { _ % 5 == 0 } take 10 mkString(", ")

#:: 演算子とは何ですか? これはどこかの関数呼び出しにマップされますか?

Answer 1

x #:: xs

戻り値

Stream.cons(x, xs)

これは、要素 x の Stream とそれに続く Stream xs を返します。