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
