a bit off-topic: Golang has a similar feature built into it's type system [1] "The size of an array is part of its type. The types [10]int and [20]int are dist

a bit off-topic: Golang has a similar feature built into it's type system [1] "The size of an array is part of its type. The types [10]int and [20]int are distinct." [1] http://golang.org/doc/effective_go.html#arrays http://golang.org/doc/effective_go.html#arrays