Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Iñaki Úcar
El mié., 8 ago. 2018 a las 19:23, Gabe Becker () escribió: > > Actually, I sent that too quickly, I should have let it stew a bit more. > I've changed my mind about the resolution argument I Was trying to make. > There is more information, technically speaking, in the factor with empty > levels. I'

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Hadley Wickham
>> So we say that a >> factor `x` has finer resolution than factor `y` if the levels of `y` >> are contained in `x`. So to find the common type of two factors, we >> take the union of the levels of each factor, given a factor that has >> finer resolution than both. > > I'm not so sure. I think a mo

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Hadley Wickham
> > I now have a better argument, I think: > > > If you squint your brain a little, I think you can see > > that each set of automatic coercions is about increasing > > resolution. Integers are low resolution versions of > > doubles, and dates are low resolution versions of >

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Gabe Becker
Actually, I sent that too quickly, I should have let it stew a bit more. I've changed my mind about the resolution argument I Was trying to make. There is more information, technically speaking, in the factor with empty levels. I'm still not convinced that its the right behavior, personally. It may

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Gabe Becker
Hadley, Responses inline. On Wed, Aug 8, 2018 at 7:34 AM, Hadley Wickham wrote: > >>> Method dispatch for `vec_c()` is quite simple because associativity and > >>> commutativity mean that we can determine the output type only by > >>> considering a pair of inputs at a time. To this end, vctrs p

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Martin Maechler
> Hadley Wickham > on Wed, 8 Aug 2018 09:34:42 -0500 writes: Method dispatch for `vec_c()` is quite simple because associativity and commutativity mean that we can determine the output type only by considering a pair of inputs at a time. To this end

Re: [Rd] vctrs: a type system for the tidyverse

2018-08-08 Thread Hadley Wickham
>>> Method dispatch for `vec_c()` is quite simple because associativity and >>> commutativity mean that we can determine the output type only by >>> considering a pair of inputs at a time. To this end, vctrs provides >>> `vec_type2()` which takes two inputs and returns their common type >>> (repres

Re: [Rd] withTimeout bug, it does not work properly with nlme anymore

2018-08-08 Thread Martin Maechler
> Martin Maechler > on Tue, 30 Jan 2018 15:17:50 +0100 writes: (a bit more than 6 months ago) > Ramiro Barrantes > on Mon, 27 Nov 2017 21:02:52 + writes: >> Hello, I was relying on withTimeout (from R.utils) to >> help me stop nlme when it �hangs�. However,