标签[type-systems] - 堆栈内存溢出

可以断言变量是 Deno 中字符串的实例 - Can assert a variable to be an instance of a String in Deno

似乎无法在 Deno 中断言string实例：import { assertInstanceOf } from "https://deno.land/std@0.174.0/testing/asserts.ts"; assertInstanceOf( "foo", string ); 投掷： ...

TS 检查 Type 是否包含 'null' Type - TS check if Type contains 'null' Type

我定义了以下两个 Typescript 类型。其中一种类型包含null另一种也不包含。是否可以检查这种类型是否存在null ？我不想在具体实例上检查这些东西，而是在类型系统本身上检查。类似于in关键字。 ...

如何 model 几种具有父子关系和链接方法的类型都扩展了相同的基础 class？ - How to model several types with parent-child relationships and chaining methods which all extend the same base class?

我正在尝试创建和 model 一系列类的类型，这些类可以在链中调用，以便在最深的 class 上执行一个方法。这些类中的每一个都代表一个resource ，并且应该扩展一个具有一些基本的Resource class这些类中的每一个至少应该拥有的方法。每个资源也可以有一个父节点（在树遍历节点意义上 ...

function 类型与 generics 和 function 表达式 - function types with generics and function expressions

假设我有一个通用 function 的定义，它对T类型的值做一些事情：现在，我想捕获 function 的类型。例如，一个用例可能是我想在未来计划定义的更复杂的类型中使用它。它的 function 类型可以定义为：到目前为止，一切都很好。但是，到目前为止，我的代码中没有任何内容表明doSo ...

Python 在列表元素类型方面的灵活性是动态类型的结果吗？ - Is Python's flexibility in the types of list elements a consequence of dynamic typing?

我是 Python 的新手，在 C++ 方面有一些经验。（不幸的是，只有两个样本点，任何一对特征要么不相关，要么完全相关。）在 Python 中，同一列表中的元素可以具有任何类型。在 C++ 中，STL 容器包含同质类型。 (I suppose it is possible to mimi ...

在 Haskell 中对单位（例如英寸、美元等）的组成进行建模 - Modelling the composition of units (e.g. Inch, Dollar, etc) in Haskell

继我的上一个问题之后，我问我如何创建一个类型，它将 model 一个单位（例如Inch ）作为 Haskell 中的一种类型，我现在面临如何对该单位和其他单位执行操作并混合的问题他们正确。例如，给定：{-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} i ...

F# 错误：“要么将 arguments 设置为‘它’显式，或者，如果您不打算让它成为通用的，请添加类型注释。” - F# error: "Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation."

在 F# 交互式 shell dotnet fsi fsi 中，我正在尝试测试flip function 就像在 ZA59B7DFEZE267 中一样flip:: (a -> b -> c) -> b -> a -> c 然后，调查内置的管道运算符，到目前为止，一切 ...

为什么在运行时需要 java 类型擦除？ - Why java type erasure is needed at runtime at all?

以下是java 文档的摘录由于类型擦除， List<Number>和List<String>都变成了 List。因此，编译器允许将具有 List 原始类型的 object l 分配给 object ls。也来自相同的文档考虑以下示例：在类型擦除期间，类型 ArrayL ...

为什么 KFunction2 在 Kotlin 中不是可表示类型？ - Why is KFunction2 not a denotable type in Kotlin?

假设我们在 Kotlin（版本 1.6.21，针对 JVM 17）中有以下类： interface Cursor( fun seekOrNext(target: String): Boolean fun seekOrPrevious(target: String): Boolean ...

匹配模板模板类型参数 - match against template template type parameter

假设我想对具有特定成员（约束）的任何容器进行类型匹配 - 但还将类型变量绑定到容器和成员。例如让T和U为类和成员Someclass.member对应的模板类型变量。这可能吗？让我们通过模板化容器来简化事情。这会将成员类型作为允许移除约束的模板类型参数移动到类型系统中。现在我可以将类型变量 ...

在编译时延迟选择类型 - deferred selection of types during compile-time

当类型取决于函数中稍后可用的编译时信息时，我是否有一种标准方法可以在 c++20 的编译时选择类型，即由于中间编译时依赖关系，类型被“延迟”。例如像这样的东西，它依赖于auto关键字但不编译：或者这个例子依赖于static if提议，它阻止if constexpr条件创建新范围。该提案未 ...

无法使用 T = vector 创建递归类型<t::iterator> `</t::iterator> - Can't create recursive type `using T = vector<T::iterator>`

我正在尝试创建一个包含自己的迭代器作为元素的向量，但我发现无法完全扩展类型声明。另一种失败的方法是：使用未声明的标识符 'MyVectorType' 尝试使用中间声明也失败错误：“MyVectorType_incomplete”不是 class，命名空间或枚举显然使用指针可以解决这个问题。 ...

[F#][类型推断] - 如何改进我的程序？ - [F#][Type inference] - How to improve my program?

我目前正在构建一个程序，使用以下 AST 在 F# 中进行类型推断：类型推断算法如下：我想解释一下为什么当我启动程序并在 shell 中写入以下行时： let test = fun x -> x;; 类型推断返回的类型是'b ->'b而不是'a ->' a 。这可能是因为在 ...

在 Typescript 模板文字中使用 infer 关键字从句子中提取特定部分？ - Extract specific parts from sentence by using infer keyword in Typescript Template Literal?

假设输入一个句子包含一两个空格，结构${Verb}${one or two spaces}${Activity} ，如何提取 Typescript 中的Verb和Activity ？我得到了结果类型["play", "chess"] | ["write", " code" | "code"] | ...

刚性类型变量 - Rigid type variable

在以下示例中，我在内部实现 function f 。它的签名使用a就好像类型变量a是作用域的一样，即使我没有启用扩展ScopedTypeVariables ，它也可以正常工作而不会给我一个编译错误：我期待错误： "Couldn't match type 'a1' with 'a'...."因为正 ...

余数据类型真的是终端代数吗？ - Are codatatypes really terminal algebras?

（免责声明：我不是 100% 确定 codatatype 是如何工作的，尤其是在不涉及终端代数时）。考虑“类型的类别”，类似于Hask ，但可以进行任何适合讨论的调整。在这样一个类别中，据说（1）初始代数定义数据类型，（2）终端代数定义余数据类型。我正在努力说服自己相信（2）。考虑函子T ...

Haskell 类型声明中的符号“？”是什么意思？ - What does the symbol `!` mean in type declarations in Haskell?

在我对 Haskell 的研究中，我看到了这个符号! 在类型声明中使用。看一个例子：data Foo = MkFoo { _bar :: !Bar , ... } 我的问题是：为什么要使用它，没有它的声明有什么区别？ ...

是否有任何内存高效的 Java 等效于 C 联合或 C++ std::variant？ - Is There Any Memory-Efficient Java Equivalent to C unions or C++ std::variant?

我有一个包含T和int的类Element<T> ：当没有存储T ，我想将obj用作指向元素或索引的指针：当然，我不能这样做，因为 Java 没有联合或变体（如在 c++ 变体中）并且具有严格的类型系统。请注意，我希望能够通过 obj 访问 Element，但如果有帮助，我 ...

算法 W（或 Haskell）中的函数参数不是多态的吗？ - Are function parameters not polymorphic in Algorithm W (or Haskell)?

我正在为一种玩具语言实施算法 W。我遇到了一个我认为会进行类型检查的案例，但事实并非如此。我在 Haskell 中尝试了同样的方法，但令我惊讶的是它在那里也不起作用。我认为id是多态的，但似乎不是。请注意，如果id是使用 let 而不是作为参数传递的，则此示例有效：在查看算法 W ...

如果未检查函数返回值，如何在 C++(17) 中强制编译错误？理想情况下通过类型系统 - How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system

我们正在编写安全关键代码，我想要一种比[[nodiscard]]更强大的方法来确保编译器捕获对函数返回值的检查。 [更新] 感谢评论中的所有讨论。让我澄清一下，这个问题可能看起来是人为的，或者不是“典型用例”，或者不是其他人会怎么做。如果这样可以更容易地忽略“为什么你不这样做呢？”，请 ...