• bearophile (8/8) Oct 27 2014 In the latest version of the Idris language there are some
• Paulo Pinto (5/13) Oct 27 2014 Actually what called my attention was uniqueness types.

"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

"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