www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Static arguments for Idris language

reply "bearophile" <bearophileHUGS lycos.com> writes:
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
Oct 27 2014
parent "Paulo Pinto" <pjmlp progtools.org> writes:
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
Oct 27 2014