These are chat archives for scalajp/functional

15th
Jun 2016
taku0
@taku0
Jun 15 2016 12:00

Scalaのドキュメントを見ると、
trait A[T] extends B[... A[T] ...]はOKで、
trait A[T] extends B[... A[Seq[Int]] ...]もOKで、
trait A[T] extends B[... A[C[T]] ...]はダメということのようですね。
ありがとうございます。

なお、trait E[-T] extends N[N[E[_ >: T]]]とするとエラーも出ずにstack overflowになりました。
https://gist.github.com/taku0/4335f65eb20a54fb965fff58fd582878#file-loop3-scala
想定していない動作のような気もします。

もし finitaryの制約が既存のJavaコードに悪影響を与えない(か十分小さい)のであれば、将来のJavaに入るかもしれませんね。
Kota Mizushima
@kmizu
Jun 15 2016 12:27
想定していない動作のような気もします。
これは想定外動作の可能性が高いような…?