类型 问答列表

设置 excel 文档的 mime 类型

作者:Subramanian 提问时间:6/10/2009

MS Excel 具有以下观察到的 MIME 类型: application/vnd.ms-excel(官方) application/msexcel application/x-msexcel a...

如何推断两个具有不同行为的 eta 等效 agda 程序?

作者: 提问时间:4/4/2020

我正在尝试通过感应原理实现西格玛消除,但我不明白为什么很好,但在下面用约束误差突出显示黄色,因为这些程序是等效的。pr₁ 和 pr₁' 并非如此。pr₂pr₂' 请您解释一下错误,以及为什么 agd...

为什么类型推理算法会因为“Fun.flip Option.bind”而感到困惑?

作者:Valentyn Zakharenko 提问时间:5/8/2020

模块中函数声明的常见签名是当最后一个参数具有主状态 (Module.t) 的类型时。就像在“列表”模块中一样。此窗体打开了使用“|>”运算符的功能,例如: [1;2;3] |> List.filte...

在将字符变量转换为整数时,有一条消息说:强制引入的 NA。如何避免此错误?

作者:Sri Sreshtan 提问时间:5/15/2020

我尝试使用函数将字符变量转换为整数变量。但是,在执行代码时,输出将返回值为 。代码如下:as.integerNA library(tidyverse) coal_data <- read.csv("...

“输入”和“从”接口:在打字方面苦苦挣扎。类型的协方差

作者:joel 提问时间:10/12/2019

我正在尝试实现一个用于类型之间转换的接口,但我正在努力使其保持一致,因为是协变的typing.Type U = TypeVar('U') class Into(Protocol[U]): @a...

为什么 XHTML 标签在 HTML5 文档中有效,反之亦然?

作者:Mykhailo Seniutovych 提问时间:6/15/2020

根据本文档,新标准不支持一些标签,例如 big 和 strike。但是,当我声明我的 html 文档时,因为它们由于某种原因仍然有效,请考虑以下示例:XHTMLHTML5HTML5 <!DOCTYP...

为什么我的 SQL Server 十进制除法给我 6 位数?

作者:Anupam datta 提问时间:6/24/2020

我是 SqlServer 的新手,正在使用 SQLServer2019。我已经学习了 CAST() 和 CONVERT() 内置函数。现在我很困惑为什么我的代码给出 6 的比例。 DECLARE @...

Fortran 中数值运算中自动类型/类型转换的可移植性

作者:Matt P 提问时间:7/23/2020

根据 Fortran 标准,如果数值运算的操作数具有不同的数据类型,则结果值具有由操作数确定的类型/类型,具有更高的十进制精度。在计算操作之前,首先将具有较低十进制精度的操作数转换为精度较高的 kin...

泛型类型接口的工厂

作者:Lisek 提问时间:9/7/2020

我正在寻找一些帮助来设计通用接口的具体实现工厂。Java 版本 7,不能使用 8+ 给定这样的接口和抽象类: public interface ValidationStrategy<T> { ...

Kotlin 嵌套多泛型类型类到 Java 嵌套原始类型

作者:user3390695 提问时间:9/11/2020

当尝试将 java 嵌套的原始类型分配给 kotlin 嵌套泛型时,编译器会抱怨不兼容的类型 在 kotlin 中,我有:class ExampleMap : HashMap<String, Lis...


共754条 当前第19页