Golang Proposal: Compile-Time Functions and First Class Types (github.com)

This is not my proposal, but I think this is one that I like most with regards to Go and metaprogramming/generics.