在Scala中,Future被定义为协变,而Promise是不变的.据说Promise几乎可以逆变(https://issues.scala-lang.org/browse/SI-7467).为什么会这样？
types scala future covariance promise
covariance ×1
future ×1
promise ×1
scala ×1
types ×1