You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
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.
Either that, or it's an existential kind, but things get quite hairy beyond the type-level, and I'm not really sure.
In the syntactic form T : U, both T and U represent type trees. If T has kind k, then U has to have kind k → *. Your assessment seems accurate.
As opposed to Haskell, the colon here is not a first-class construct that can appear in an arbitrary position. In Haskell, the kind of (:) would be k → (k → Constraint) → Constraint, probably.
It’s a kind-polymorphic construct, but there are no sorts involved higher than kinds.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
