[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Implement SRFI-111 Boxes
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] Implement SRFI-111 Boxes |
Date: |
Tue, 25 Mar 2014 18:01:37 +0100 |
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) |
Andy Wingo <address@hidden> skribis:
> On Fri 24 Jan 2014 11:57, address@hidden (Ludovic Courtès) writes:
>
>> address@hidden (Taylan Ulrich "Bayırlı/Kammer") skribis:
>>
>>> Has it been considered to coalesce the box type with Guile's "variable"
>>> type? I can see two concrete differences:
>>>
>>> * External representation (*not* specified by SRFI-111)
>>>
>>> * Variables can be "unbound" (empty), boxes can't
>>>
>>> So we could get away with making the box API consist of aliases to a
>>> subset of the variable API and still conform to SRFI-111.
>>
>> Even though both types are box-like, they represent conceptually
>> different things, so I think it’s better to keep them disjoint.
>
> Why do you think so? To me, Guile's variables are boxes, and the
> ability to make a variable unbound is a Guile extension.
Tu put it differently, I don’t think it would buy us anything to make
variable SRFI-111 boxes. However, it could perhaps break code, and
would not allow for a separate type printer, which is useful.
Ludo’.