Golang Proposal: Compile-Time Functions and First Class Types

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