Re: Guix world tour

[ludo@gnu.org (Ludovic Courtès)]

Hi,

Amirouche Boubekki <amirouche.boubekki@gmail.com> skribis:

> On Fri, Sep 30, 2016 at 11:45 AM Ludovic Courtès <ludo@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’.