[Top][All Lists]

[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)


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

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]