Check out Nim. They recently added support for a function declaration in addition to a proc. Function automatically checks that it is a pure function with no side effects.

Considering the flexibility of the language as a whole, this is really cool!