Re: [PATCH] Implement SRFI-111 Boxes

2014-03-25 Thread Ludovic Courtès
Andy Wingo skribis: > On Tue 25 Mar 2014 21:21, l...@gnu.org (Ludovic Courtès) writes: [...] >> Anyway, I don’t feel strongly about this particular point, but I think >> we’ve been deprecating a lot lately. > > Have you noticed it in your non-core code? (Out of curiosity.) Yes, supporting 2.0

Re: [PATCH] Implement SRFI-111 Boxes

2014-03-25 Thread Andy Wingo
On Tue 25 Mar 2014 21:21, l...@gnu.org (Ludovic Courtès) writes: >>> However, it could perhaps break code >> >> In what way? > > ‘variable?’ would suddenly match any SRFI-111 box. I would be OK with this FWIW -- eventually we could deprecate variable? (though that would happen later in 2.2 I woul

Re: [PATCH] Implement SRFI-111 Boxes

2014-03-25 Thread Ludovic Courtès
Andy Wingo skribis: > On Tue 25 Mar 2014 18:01, l...@gnu.org (Ludovic Courtès) writes: > >> Tu put it differently, I don’t think it would buy us anything to make >> variable SRFI-111 boxes. > > Dunno; variables are slightly cheaper than records. Their type checks > are easier and they take less

Re: [PATCH] Implement SRFI-111 Boxes

2014-03-25 Thread Andy Wingo
On Tue 25 Mar 2014 18:01, l...@gnu.org (Ludovic Courtès) writes: > Tu put it differently, I don’t think it would buy us anything to make > variable SRFI-111 boxes. Dunno; variables are slightly cheaper than records. Their type checks are easier and they take less memory. > However, it could p

Re: [PATCH] Implement SRFI-111 Boxes

2014-03-25 Thread Ludovic Courtès
Andy Wingo skribis: > On Fri 24 Jan 2014 11:57, l...@gnu.org (Ludovic Courtès) writes: > >> taylanbayi...@gmail.com (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: >>> >>> * Ext

Re: [PATCH] Implement SRFI-111 Boxes

2014-03-24 Thread Andy Wingo
A late reply, but at least the year is right :) On Fri 24 Jan 2014 11:57, l...@gnu.org (Ludovic Courtès) writes: > taylanbayi...@gmail.com (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 differ

Re: [PATCH] Implement SRFI-111 Boxes

2014-01-24 Thread Ludovic Courtès
Mark H Weaver skribis: > From 625b1a68a7fcbe41abfd499937ecdf627a31530c Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Fri, 24 Jan 2014 00:21:17 -0500 > Subject: [PATCH] Implement SRFI-111 Boxes. > > * module/srfi/srfi-111.scm: New file. > * module/Makefile.am (SRFI_SOURCES): Add srfi/srf

Re: [PATCH] Implement SRFI-111 Boxes

2014-01-24 Thread Ludovic Courtès
taylanbayi...@gmail.com (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

Re: [PATCH] Implement SRFI-111 Boxes

2014-01-24 Thread Taylan Ulrich Bayırlı/Kammer
Mark H Weaver writes: > Here's an implementation of SRFI-111 Boxes for stable-2.0. > What do you think? > > Mark 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) * Va