[Nix-dev] typed nix

[Maarten Hoogendoorn]

missed the list, sorry.

2016-08-30 14:01 GMT+02:00 Maarten Hoogendoorn <maarten at moretea.nl>:

> I started to experiment a bit with this, when I tried to add documentation
> to functions at the 3 day hackathon in Berlin last June.
>
> A small youtube demo: https://www.youtube.com/watch?v=ahVu3tjrriM
>
>
> 2016-08-30 5:52 GMT+02:00 Daniel Hlynskyi <abcz2.uprola at gmail.com>:
>
>> Dynamic attributes make exact typing hard. Perhaps Nix will adopt the
>> gradually typed approach in a future.
>>
>> https://en.wikipedia.org/wiki/Gradual_typing#Examples
>>
>> But would that be worth of it?
>>
>> 2016-08-29 21:47 GMT+00:00 stewart mackenzie <setori88 at gmail.com>:
>>
>>> per chance, is there work underway to make nix a typed language?
>>>
>>> kr/sjm
>>> _______________________________________________
>>> nix-dev mailing list
>>> nix-dev at lists.science.uu.nl
>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>>
>>
>>
>> _______________________________________________
>> nix-dev mailing list
>> nix-dev at lists.science.uu.nl
>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160830/1d701532/attachment.html>