Have is a new programming language that transpiles to Go. It shares a lot with Go, the Go type system is a subset of the Have one, and libraries written in Go should feel natural to use in Have. Code written in Have should be accessible from Go too, in a way that is as elegant as possible (though not always idiomatic).
The project is still in its early stages.
You can find more information on the blog.