[Grace-core] Statically-known and family-polymorphism

[James Noble]

so in C++ there is now constexpr - (declaration site) 

http://en.cppreference.com/w/cpp/language/constexpr

http://en.wikipedia.org/wiki/C%2B%2B11#constexpr_.E2.80.93_Generalized_constant_expressions


D uses "static" on the call side

http://giovanni.bajo.it/post/47209620364/compile-time-function-execution-in-d


and there is template Haskell which I'm sure Tim would care about...

https://www.haskell.org/haskellwiki/Template_Haskell