Static arguments for Idris language

[Paulo Pinto via Digitalmars-d]

On Monday, 27 October 2014 at 14:56:57 UTC, bearophile wrote:
> 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

Actually what called my attention was uniqueness types.

https://github.com/idris-lang/Idris-dev/wiki/Uniqueness-Types

--
Paulo