missed the list, sorry.

2016-08-30 14:01 GMT+02:00 Maarten Hoogendoorn <maar...@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.upr...@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 <setor...@gmail.com>:
>>
>>> per chance, is there work underway to make nix a typed language?
>>>
>>> kr/sjm
>>> _______________________________________________
>>> nix-dev mailing list
>>> nix-dev@lists.science.uu.nl
>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>>
>>
>>
>> _______________________________________________
>> nix-dev mailing list
>> nix-dev@lists.science.uu.nl
>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>
>>
>
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Reply via email to