Re: Fluids vs parameters: which API is better?

2011-07-25 Thread Andy Wingo
Hello! On Mon 25 Jul 2011 11:24, l...@gnu.org (Ludovic Courtès) writes: > BT Templeton skribis: > >> Andy Wingo writes: > > [...] > >>> Here I disagree. From the perspective of semantics and security, it's >>> important to be able to make assertions as to the type of value returned >>> by a pr

Re: Fluids vs parameters: which API is better?

2011-07-25 Thread Ludovic Courtès
Hi BT, BT Templeton skribis: > Andy Wingo writes: [...] >> Here I disagree. From the perspective of semantics and security, it's >> important to be able to make assertions as to the type of value returned >> by a procedure -- that (current-input-port) returns a port. The same >> goes for (c

Re: Fluids vs parameters: which API is better?

2011-07-24 Thread BT Templeton
Andy Wingo writes: > Hi Mark, > > On Mon 18 Jul 2011 23:57, Mark H Weaver writes: > >> From an efficiency perspective, it is much more straightforward and >> reliable for a compiler to understand what operation is done by >> (fluid-ref x) than (x). > > This is true. > >> More generally, from a p

Re: Fluids vs parameters: which API is better?

2011-07-19 Thread Andy Wingo
Hi Mark, On Mon 18 Jul 2011 23:57, Mark H Weaver writes: > From an efficiency perspective, it is much more straightforward and > reliable for a compiler to understand what operation is done by > (fluid-ref x) than (x). This is true. > More generally, from a perspective of semantics and securit

Re: fluids and unification

2010-05-26 Thread Andy Wingo
Hi, On Wed 26 May 2010 13:16, Stefan writes: > I've gone through the code for fluids to understand it. And how it relates to > unification variables. > > Some facts for fluids: > * Allocation is slow, can be made faster but still it seams to be > slow Indeed; you don't want to be allocatin

Re: Fluids

2010-03-05 Thread Ludovic Courtès
Hello! I’ve committed a fix that allows fluid numbers to be recycled, which in turn leads to smaller fluid vectors in dynamic states: http://git.sv.gnu.org/cgit/guile.git/commit/?id=bd5a75dcd8436ebe077c9ce52300d013e9519d94 There’s still room for improvement, see ‘TODO’ in ‘fluids.c’. Thanks,

Re: Fluids

2010-03-03 Thread Ludovic Courtès
Hi Andy, Andy Wingo writes: > On Wed 03 Mar 2010 00:52, l...@gnu.org (Ludovic Courtès) writes: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Andy Wingo writes: >>> But you can't / shouldn't make a new fluid every time you enter a `catch', because currently fluids are never garbag

Re: Fluids

2010-03-03 Thread Andy Wingo
On Wed 03 Mar 2010 00:52, l...@gnu.org (Ludovic Courtès) writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Andy Wingo writes: >> >>> But you can't / shouldn't make a new fluid every time you enter a >>> `catch', because currently fluids are never garbage collected! We really >>> need to fix t

Re: Fluids

2010-03-02 Thread Ludovic Courtès
Hello, l...@gnu.org (Ludovic Courtès) writes: > Andy Wingo writes: > >> But you can't / shouldn't make a new fluid every time you enter a >> `catch', because currently fluids are never garbage collected! We really >> need to fix this. I think it's a 1.9 regression. > > Indeed. We should use a w

Re: Fluids

2010-02-14 Thread Ken Raeburn
On Feb 14, 2010, at 10:50, Andy Wingo wrote: > My only qualm regards the number of potential pthread_key variables. My > current emacs session has about 15K functions and 7K variables. Does the > pthread_key mechanism scale well to this number of thread-local > variables? Repeating the IRC info, f

Re: Fluids

2010-02-14 Thread Andy Wingo
Heya, On Sun 14 Feb 2010 15:32, l...@gnu.org (Ludovic Courtès) writes: > Andy Wingo writes: > >> But you can't / shouldn't make a new fluid every time you enter a >> `catch', because currently fluids are never garbage collected! We really >> need to fix this. I think it's a 1.9 regression. > > I