Static arguments for Idris language

[bearophile via Digitalmars-d]

In the latest version of the Idris language there are some 
interesting improvements, in particular the static arguments, 
using a [static] annotation on one or more arguments of a 
function (works with functions as arguments too):

https://github.com/idris-lang/Idris-dev/wiki/Static-Arguments-and-Partial-Evaluation

http://www.reddit.com/r/programming/comments/2kfoxn/version_0915_of_dependently_typed_functional/

Bye,
bearophile