coercion 相关问题

强制,类型转换和类型转换是隐式或显式地将一种数据类型的实体更改为另一种数据类型的不同方式。

javascript中数组的隐式强制

var a ='1,2,3'; var b = [1,2,3]; a == b // outputs true我已经知道,var b被宽松的等式运算符强制转换为字符串,然后与变量a进行比较,变量a的结果为...

回答 1 投票 0

如何检查Firestore字段是否为时间戳类型?

[事先不知道我将从Firestore中得到什么,如何检查从Firestore中出来的字段是否是时间戳?

回答 1 投票 0

不能将'Reader'作为字段来'强制'数据类型

我具有以下经过完美编译的Haskell代码:import Control.Monad.Reader(Reader(..))import Data.Coerce(Coercible,coerce)data Flow io = Flow(i-> o)(o-> i)coerceFlow ...

回答 1 投票 5

为什么是GHC.Types。这里有吗?

我刚才在Haskell进行一些代码高尔夫球运动,当时我遇到了一个对我来说没有太大意义的错误。决定在GHCi中进行检查,现在我真的很困惑。 λ>:t复制&...

回答 1 投票 5

为什么Rust无法在类型构造函数中将可变引用强制为不可变引用?

可以将&mut T强制转换为&T,但是如果类型不匹配发生在类型构造函数中,则该方法将不起作用。 https://play.rust-lang.org/?version = stable&mode = debug&edition = 2018&...

回答 2 投票 2


为什么Typescript将我的keyof类型强制转换为Never类型,以及如何解决?

很抱歉,我是TypeScript的新手,因此很难弄清是否存在相似外观的问题,因为它们中的很多都在做非常复杂的事情。无论如何,问题是,我...

回答 1 投票 1

带有“ ===”的Javascript字符串相等

我正在编写一个React应用程序,并试图消除所有警告时,我发现了一个奇怪的错误... handleLike = id => {const movie = [... this.state.movi es]; const movie = films.filter(obj => obj ....

回答 1 投票 -1

我如何将以':'分隔的数字范围强制转换为该范围内的数字列表? [重复]

我有一个字符列表,这些字符可以是数字(例如19)或数字范围(例如20:25)。我想将此字符列表强制转换为整数,但是当我使用as.integer()强制该列表时,...

回答 1 投票 0

如何在coq中使用sig强制转换

我有一个类似Definition的代码,甚至:= {n:nat |存在k,n = k + k}。定义even_to_nat(e:even):nat。承认了强制even_to_nat:偶数>-> nat。示例示例:forall n:偶数,...

回答 1 投票 0

为什么JS不强制“ for循环”中i的值?

给出两个函数(预期输出为// d):function fearNotLetter(str){for(let i = 0; i

回答 1 投票 0

新型阅读器monad的强制,为其值类型指定了强制

带有关联数据族X的类型C需要以下coerceX函数:类C t其中数据X t :: *-> * coerceX :: Coercion ab-> Coercion(X ta)(X tb)如果我实现.. 。

回答 1 投票 2

C / C ++指针数组的内联强制(void **)

我使用的库函数在某个时候需要一个指针数组(void **),它或多或少都像这样工作。 void * args [] = {&var_a,&var_b,&var_c,...}; someFunction(args); ...

回答 2 投票 0

比较不同类型时是否有办法在R中禁用自动强制

最近,我在我的R代码中发现了一个错误,该错误是由R的自动强制引起的。我不小心将一个字符串向量与一个整数进行比较,并且该代码在大多数正确的条件下都能成功运行...

回答 1 投票 0

不同的方式检查是否一个数大于零(0)

什么是使用条件,胁迫和布尔转换在检查大于零(0)的数类型之间的差异?每个将提供相同的输出VAR零= 0; VAR 3 = 3; // ...

回答 3 投票 -1

如何使用IMPL特质时获得DEREF胁迫(坐2)

这是一个特点(简化的问题)我想实现的每一个行为像一个片类型的:特质SliceLike {型项目; ///计算并返回(独资)第一...

回答 1 投票 2

强制在JavaScript

我想知道胁迫的几件事情。当你这样做:1 ==真真正//哪一个被强迫哪一个?是不是左边的还是右边?当你不确定== NULL //真正的你......

回答 1 投票 15

Agda:在类型定义中重写而不是显式强制?

在处理Agda类型的平等时,通常需要使用像胁迫这样的手工强制来强迫居民使用类型:∀{ℓ} {AB:Set l}→A≡B→A→B强制反射x = X ...

回答 1 投票 2

为什么R中有1..99,999 ==“1”..“99,999”,但100,000!=“100,000”?

在控制台中,继续尝试> sum(sapply(1:99999,function(x){x!= as.character(x)}))0对于所有值1到99999,“1”== 1, “2”== 2,...,99999 ==“99999”为TRUE。然而,&...

回答 1 投票 8

JavaScript模板文字和隐式强制

为了满足以下条件,应该为“x”分配什么值:// let x =?; console.log(`$ {x}`!=''+ x)// true console.log(`$ {x}`!==''+ x)// true

回答 1 投票 -1

© www.soinside.com 2019 - 2024. All rights reserved.