Either that, or it's an existential kind, but things get quite hairy beyond the type-level, and I'm not really sure.
Show this thread
A realization today while working on my http://scala.one course: Scala's type system has one feature which imposes a sort-level constraint (values -> types -> kinds -> sorts): context bounds. The kind on the RHS of the colon is dependent on the kind on the LHS.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I'm confused and curious about what you exactly mean by "sort-level constraint" ? For me context bounds are just syntactic sugar, what am I missing?
-
I think Lars explained it better: https://twitter.com/larsr_h/status/981509769298096129 … While we normally use a *-kinded type on the LHS of the colon and * -> * on the RHS, we can provide any kind on the LHS as long as the kind on the RHS takes it to a *-kinded type.
This Tweet is unavailable. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.