From @pencer@gr@ve@ @end|ng |rom e||ect|vede|en@e@org  Fri Dec  9 05:21:07 2022
From: @pencer@gr@ve@ @end|ng |rom e||ect|vede|en@e@org (Spencer Graves)
Date: Thu, 8 Dec 2022 22:21:07 -0600
Subject: [Rd] unlist preserve common class?
In-Reply-To: <CAD4oTHFOkAGT1APipWNSpb_57vc6LCAeZbOK4kBydiCiem-ZZg@mail.gmail.com>
References: <1de177a0-7373-d878-7edd-411fd53aa2fc@effectivedefense.org>
 <CAD4oTHFOkAGT1APipWNSpb_57vc6LCAeZbOK4kBydiCiem-ZZg@mail.gmail.com>
Message-ID: <05625875-f069-f5ce-008d-84e8eec2b5ea@effectivedefense.org>

Hi, Gabriel:


On 12/8/22 8:20 PM, Gabriel Becker wrote:
> Hi Spencer,
> 
> My 2c.
> 
> According to the docs, factors are special-cased. Other S3 'classes' 
> could be special-cased, such as Date in your example, I suppose, but it 
> is not clear how what you're describing could be implemented for the 
> general case.
> 
> Suppose I define an S3 "class" called my_awesome_class, and have a list 
> of 3 of them in it, and no other guarantees are provided. What should, 
> or even could, R do in the case of unlist(list_of_awesomes)?
> 
> There is no guarantee that I as an S3 developer have provided a c method 
> for my class such that we could say the unlist call above is equivalent 
> (roughly) to do.call(c, list_of_awesomes), nor that I provided any other 
> particular "mash this set of my_awesome_class objects into one". Nor is 
> it even guaranteed that the concept of combining my_awesome_classobjects 
> is even coherent, or would produce a new my_awesome_classobject when 
> performed if it is.


	  What about adding another argument to create, e.g.,


unlist(x, recursive = TRUE, use.names = TRUE, attributeFunction=NULL)


	  Then assign the assign the results of the current "unlist(x, ...)" 
to, say, "ux", and follow that by



if(!is.null(attributeFunction))attributes(ux) <- attributeFunction(x)


return(ux)


	  An alternative could be to have a default attributeFunction, that 
computes the attributes of each component of x and keeps only the ones 
that are shared by all components of x.  This would be the same as the 
current behavior for factors IF each component had the same factor 
levels and would drop attributes that are different between components. 
For S4 classes, if the attributes were not ALL identical, then all the 
attributes would be dropped, as with the current behavior.  This should 
not be a problem for S3 generics, because they should always check to 
make sure all the required attributes are available.

> 
> That said, your example was of length one, 


	  My example was of length one to provide a minimal, self-contained 
example.  That was motivated by a more complicated example, which took 
me a couple of hours to understand why it wasn't working as I expected ;-)


	  Thanks for your reply.


	  Spencer Graves


we could special case (the
> default method of) unlist so that for x /not a list/, we're guaranteed that
> 
> identical(unlist(list(x)), x) == TRUE
> 
> This would simplify certain code, such as the one from your motivating 
> example, but at the cost of making the output of unlist across inputs 
> less consistent and less easy to reason about and predict. In other 
> words the answer to the question "what class is 
> unlist(list_of_awesomes)? " would become "it depends on how many of them 
> are in the list"... That wouldn't be a good thing on balance, imho.
> 
> Best,
> ~G
> 
> On Thu, Dec 8, 2022 at 5:44 PM Spencer Graves 
> <spencer.graves at effectivedefense.org 
> <mailto:spencer.graves at effectivedefense.org>> wrote:
> 
>     Consider:
> 
> 
>      ?> str(unlist(list(Sys.Date())))
>      ? num 19334
> 
> 
>      ?> str(unlist(list(factor('a'))))
>      ? Factor w/ 1 level "a": 1
> 
> 
>      ? ? ? ? ? I naively expected "str(unlist(list(Sys.Date())))" to
>     return an
>     object of class 'Date'.? After some thought, I felt a need to ask this
>     list if they think that the core R language might benefit from
>     modifying
>     the language so "str(unlist(list(Sys.Date())))" was of class 'Date', at
>     least as an option.
> 
> 
>      ? ? ? ? ? Comments?
>      ? ? ? ? ? Thanks,
>      ? ? ? ? ? Spencer Graves
> 
> 
>      ?> sessionInfo()
>     R version 4.2.2 (2022-10-31)
>     Platform: x86_64-apple-darwin17.0 (64-bit)
>     Running under: macOS Big Sur 11.7.1
> 
>     Matrix products: default
>     LAPACK:
>     /Library/Frameworks/R.framework/Versions/4.2/Resources/lib/libRlapack.dylib
> 
>     locale:
>     [1] en_US.UTF-8/en_US.UTF-8/en_US.UTF-8/C/en_US.UTF-8/en_US.UTF-8
> 
>     attached base packages:
>     [1] stats? ? ?graphics? grDevices utils? ? ?datasets? methods? ?base
> 
>     loaded via a namespace (and not attached):
>     [1] compiler_4.2.2 tools_4.2.2
> 
>     ______________________________________________
>     R-devel at r-project.org <mailto:R-devel at r-project.org> mailing list
>     https://stat.ethz.ch/mailman/listinfo/r-devel
>     <https://stat.ethz.ch/mailman/listinfo/r-devel>
>



[Rd] unlist preserve common class?
Spencer Graves