[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Guix world tour
From: |
Ludovic Courtès |
Subject: |
Re: Guix world tour |
Date: |
Tue, 04 Oct 2016 10:36:20 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Hi,
Amirouche Boubekki <address@hidden> skribis:
> On Fri, Sep 30, 2016 at 11:45 AM Ludovic Courtès <address@hidden> 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’.