问题标签 [coerce]

我有一个df带有列名、、、x1等x2的数据框x3。

我想创建一个 R 对象，它是一个如下所示的列表：

其中x1->xn是df.

我想知道是否有一种“简单/快速”的方法可以将字符变量转换为因子。

我知道，可以使用列名制作一个向量，然后使用lapply. 但是，我正在处理一个包含 200 多个变量的大型数据框，因此最好不必在向量中写入 200 多个名称。

我也知道我可以使用lapply,type.convert和来强制整个数据框sapply，但是由于我正在处理时间序列数据，其中有些是分类的，有些是数字的，我对此也不感兴趣。

有什么方法可以在其中使用列号吗？即[ ,2:200]？我尝试了以下方法，但没有任何运气：

使用上面的解决方案，我仍然需要做多个，但它仍然比编写所有变量名要快。

我也觉得循环可能在这里可用，但我不确定如何写出来，或者它是否是一种方法。

一种越频繁出现的模式，引入的类型安全就越多，newtype是将一个值（或多个值）投影到newtype包装器，执行一些操作，然后收回投影。一个普遍存在的例子是Sum和Product幺半群：

我想可能withSum会withSum2自动为每个newtype. 或者也许Identity可以创建一个参数化，用于ApplicativeDo. 或者，也许还有其他一些我想不到的方法。

我想知道这方面是否有一些现有技术或理论。

PS   我不满意coerce，有两个原因：

• 安全   我认为这不是很安全。在被指出它实际上是安全的之后，我尝试了一些事情并且我无法做任何有害的事情，因为当存在歧义时它需要类型注释。例如：

  但我仍然不欢迎coerce，因为一旦习惯了伸手去拿，撕下安全标签并射杀某人太容易了。想象一下，在加密应用程序中，有两个值：x :: Prime Int和x' :: Sum Int。我宁愿打字getPrime，getSum每次我使用它们时，也不愿coerce做任何事情，并且有一天会犯一个灾难性的错误。

•   关于某些操作的速记，有用性coerce并没有带来太多好处。我的帖子的主要示例，我在这里重复：

  ——变成了类似这个尖刺怪物的东西：

  ——这几乎没有任何好处。

Apologies for the long repro but I haven't been able to make it any shorter. The following code compiles fine until the last line:

After that I get the following error:

• Couldn't match representation of type Vector2D a with that of Via (Phantom2 d a) (Phantom1 d a)

Which seems to be saying it can't coerce "Via &c" to "Vector2D a", which is odd because it's literally a newtype two levels deep and that works fine.

What am I doing wrong here?

我得到以下代码的意外行为：

我希望没有错误，因为强制应该处理类型。但我越来越

这是一个错误吗？我是否误解了强制的工作原理？

我试图使用以下方法将字符串转换为日期类型：

抛出：（'月份必须在 1..12'，'发生在索引'my_column'）

添加 errors='coerce' 修复问题

但是有什么方法可以检查和显示无效值吗？

我需要调用floor()一个值，该值仅限于 class Floating，但floor()需要RealFrac.

我怎样才能做到这一点？

我非常愿意在调用abs()之前先调用floor()，但仅此一项似乎不足以解决我的约束冲突。并coerce抱怨不能假设这两种表示是等价的，这不足为奇。

看来我需要的是一个带有类型签名的函数：

(Floating a, RealFrac b) => a -> b

abs()并且（对我来说）给出这个签名的一些增强版本似乎是完全合法的。唉，对上述类型签名的 Hoogle 搜索让我两手空空。

有什么想法吗？

谢谢。
:)

考虑这个简单的稀疏矩阵

如何将其转换为指示相应元素是否为非空的矩阵？这是我现在正在做的事情，但为 0 并不等于“空”，这种方法并没有区分它们。

为了澄清，所需的输出可能只包含TRUEorFALSE但不包含NA. 它可以是 amatrix或 a sparseMatrix。甚至更优选地，它可以是list，在这种情况下，每个槽对应于 的列X。例如，答案X应该是

或者

我在不同版本的 Common Lisp 之间看到了不同的强制行为——想知道哪个是“正确的”，或者在这个看似简单的问题上标准模棱两可：

是

正确的口齿不清？它在 Clozure Common Lisp 中运行良好，但在 sbcl 中却不行。

当它不起作用时，将列表强制转换为数组的最简单方法是什么？

谢谢

我相信以下内容与Set.mapMonotonic coerce. 即可能发生的最坏情况是我将打破Set不变量，如果a或b有不同的Ord实例，我将打破不变量：

那是对的吗？

编辑：相关功能问题Set：https ://github.com/haskell/containers/issues/308