推断 问答列表

为什么 Rust 会推断 FnMut 而不是 FnOnce 来表示此闭包,即使推断 FnMut 会导致错误?

作者:pycache 提问时间:12/16/2022

尝试编译此代码: fn main() { fn id(x: &mut u8) -> &mut u8 { x } let x = &mut 0_u8; let f = move || id(x)...

当 Self 实现 IteratorProtocol 时,Swift 如何推断 Sequence 需求?

作者:3366784 提问时间:11/23/2020

我正在阅读 Sequence 文档,并在他们使用的示例(见下文)中推断出 Sequence 的要求。我的问题是它是如何推断的。我了解推理在更简单的情况下是如何工作的,但在这个例子中,我无法理解 Swi...

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

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

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

Swift 编码问题:类型“_ErrorCodeProtocol”没有成员“成功”

作者:Richie 提问时间:7/7/2023

我目前正在做一个 Swift 项目,我的代码遇到了一些问题。我正在寻求社区的帮助,以帮助我解决这些问题。任何指导或建议将不胜感激。 问题:我有一个 ContentView.swift 文件,其中出现...

为什么 TypeScript 不根据使用变量键的检查来缩小范围?

作者:natevw 提问时间:7/26/2023

如果我的代码大致如下: const obj: Record<string, SomeType>; if ("key" in obj) { const val: SomeType = obj["ke...

C# 10 推断的委托类型是否涉及隐式转换?

作者:Maxime Vey 提问时间:9/3/2023

自 C# 10 以来,引入了推断的委托类型。 但是,我对该功能的行为感到非常困惑: 一般来说,我认为我们可以合理地预期,如果这可以编译: var x = (my_expression); // ...

Rust 无法推断闭包中的类型

作者:Roy Varon 提问时间:10/3/2023

请考虑以下代码: fn main() { let v: Vec<f32> = vec![0.0]; let foo_a: f32 = (|i| v[i])(0); // This works ...

告诉 Haskell 编译器两种类型是兼容的

作者:Theo H 提问时间:11/11/2023

我有以下Haskell函数: apply_to_f :: (a -> a) -> ((a -> a) -> b) -> ((b -> c) -> c) apply_to_f f = \ g -> \...

为什么 Rust 会推断 FnMut 而不是 FnOnce 来表示此闭包,即使推断 FnMut 会导致错误?

作者:pycache 提问时间:12/16/2022

尝试编译此代码: fn main() { fn id(x: &mut u8) -> &mut u8 { x } let x = &mut 0_u8; let f = move || id(x)...

如何确保 Typescript 类型递归函数正确?

作者:kohloth 提问时间:11/15/2023

我面临着一个非常棘手的打字稿问题。 我正在编写一个小型用户输入验证器库,用于验证可以无限嵌套的用户输入位。一段用户输入可以是布尔值、数字、字符串(基元)或数组或对象之一。 下面的测试显示了它是如何...


共10条 当前第1页