Menu
Search

Forums

Forum Index

October 27, 2014
Gravatar of bearophilePosted by bearophileReply
bearophile
Gravatar of bearophile


Reply
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
October 27, 2014
Gravatar of Paulo PintoPosted by Paulo Pinto
in reply to bearophile		Reply
Paulo Pinto
Gravatar of Paulo Pinto
Posted in reply to bearophile


Reply
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