As I haven't seen anyone post about it yet, Go's error handling and contract (Go's generics) drafts are out: https://blog.golang.org/go2draft

I don't know Go, but it's always nice to read stuff about the design of programming languages, so thanks for the link.

I'll also note that it's nice that mainstream languages are borrowing more and more ideas from the more academic languages. The ML family is one of my favourites.

I can’t wait for generics