More from the "Things Blodwen can do that Idris can't" department...pic.twitter.com/r4H1ZX89X5
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
What does the error look like if you tried to put more than one thing in the vector?
Away from a computer now, so can't test, but it's the same as you'd get in any case with an inconsistent index.
What’s the "are we there yet?” wrt languages and production-readiness? :D Color me excited!
I haven't done "with" clauses yet, and there's plenty of polish still to do, but I think it's nearly ready to play with and (more importantly) invite contributions.
Very nice; I didn't even know this notation existed. We've been shying away from implementing general lenses because of these dependency issues, but this looks like a good compromise!
I find it very useful, especially when combined with support for nested records. This notation desugars to a case, which avoids the issues we used to have with setters.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.