https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @kmizu: Ross TateのFacebookのポストに答えが載っていました（ネタバレ注意） https://t.co/xbfIehrQO1 https://t.co/yvEv4Wotdb | |
| RT @lyrical_logical: "Bound<U, T>" は Bound の定義より U :> T を仮定する。普通にやると叱られるんだけれど existential type で "Bound<U, ? super T>" とすることで型チェッカを騙す。値が作れな… | |
| RT @esumii: https://t.co/ttr3vrOjuL Scalaのp.toLのほうがわかりやすいかも trait A{type L<:Nothing} trait B{type L>:Any} def toL(b:B)(x:Any):b.L=x val p:B… | |
| なるほどぅ… | |
| RT @50storms: .@esumii そうみたいですね。論文は読んでないのですが、null が任意の型をもてるってのがダメですね。new 対象のクラスの型パラメータに？を使ってはいけないのと同じで、null の型も、同じ条件を満たす範囲から任意、とすればこの例は防げそう… | |
| なるほど (なるほどマシーンと化した) |