Hi,
Amirouche Boubekki <amirouche.boube...@gmail.com> skribis:
> On Fri, Sep 30, 2016 at 11:45 AM Ludovic Courtès <l...@gnu.org> wrote:
>
>> The CUFP talk was in this very nice room with 60 people or so. I
>> focused on why and how we use Scheme extensively, explicitly comparing
>> to Nix{,OS}, which the majority of the attendance already knew. Among
>> the questions I had, one was “how do I upgrade from Nix?” ;-), and
>> another one was the inevitable (given the venue) “what do you think a
>> static type system would bring you?”.
>>
>
> What is the answer to the last question about static type system?
Heh. :-) There’s a transcript of what I said at
<http://icfp2016.mirage.io/CUFP/guix-scheme-as-a-uniform-os-a.md>.
I think the core of Guix could benefit from it, just like any other
program. The user-facing data structures and procedures
(‘operating-system’, ‘package’, etc.) could be locally statically typed
(for instance, record fields), but not much beyond that because I
suspect this would either hamper dynamic composition or provide a false
sense of static typing.
Ludo’.
