Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
编译时和运行时转换 C#
我想知道为什么 C 中的某些强制转换会在编译时进行检查 而在其他情况下则将责任转嫁给 CLR 如上所述 两者都是不正确的 但处理方式不同 class Base class Derived Base class Other static vo
c
NET
casting
typesystems
Scala 中的多个类型下限
我注意到tuple productIterator总是返回一个Iterator Any 想知道是否无法设置多个下限 因此它可能是最低公共超类型的迭代器 我尝试并搜索了一下 但只发现this https stackoverflow com q
scala
JVM
typesystems
是否可以列出派生 Generic 的记录数据类型中字段的名称和类型?
我知道对于派生 Data Data 的数据类型 constrFields http hackage haskell org package base 4 7 0 2 docs Data Data html v constrFields给出字
Haskell
generics
typesystems
aeson
为什么使用散列而不是点来选择 Scala 类型成员?
在 Scala 中 从类中选择类型的语法与从类中选择其他任何内容的语法不同 因为前者使用散列而不是点作为选择运算符 这是为什么 示例 如果我们有这样的课程 class Example type Foo String 为什么我们要从这样的类中
scala
syntax
typesystems
作用域类型变量需要显式 foralls。为什么?
如果你想使用 GHC词法作用域类型变量 http www haskell org ghc docs 7 6 2 html users guide other type extensions html scoped type variable
Haskell
ghc
typesystems
quantifiers
typeextension
Scala Seq - 仅接受相同子类型的元素
假设我有一个如下所示的类型层次结构 trait Color case class Red r String extends Color case class Green g String extends Color 是否可以创建一个接受Se
scala
scalacollections
typesystems
D有“新类型”吗?
D 是否有 newtype 如 Haskell 中 这是一个天真的问题 因为我只是浏览 D 但谷歌没有找到任何有用的东西 在 Haskell 中 这是一种在编译时使同一事物的不同类型变得不同的方法 但不会导致任何运行时性能损失 例如你可以为
Haskell
types
d
typesystems
如何理解“协方差”和“逆变”这两句话?
我正在阅读 深入Scala 的第一节 第一节中有两句话是关于 协方差 和 逆变 协变 T 或 extends T 是指类型可以沿着继承层次结构强制向下 逆变 T 或 super T 是指类型可以在继承层次结构中强制向上 我读过一些有关 协方
scala
typesystems
F# 类型函数和 [
] 属性
这两个 F 类型函数有什么区别 let defaultInstance1 lt a when a new unit gt a gt new a
generics
F
attributes
typesystems
PHP 混合类型与 Typescript 任意类型
我正在尝试 PHPmixed输入自定义函数 但这个错误让我难住了 标点符号是我的 类型错误 参数 1 传递给 必须是一个实例mixed string given 下面的一些 示例 代码会导致错误消息并说明我希望实现的目标 下面是一些 TLD
php
php7
typesystems
typing
如何学习阿格达
我正在努力学习agda 但是 我遇到了一个问题 我在 agda wiki 上找到的所有教程对我来说都太复杂了 并且涵盖了编程的不同方面 在并行阅读了 3 个关于 agda 的教程后 我能够编写简单的证明 但我仍然没有足够的知识来使用它来实现
typesystems
theoremproving
agda
从静态类型到动态类型
我一直致力于静态类型语言 C C Java 我一直在使用 Clojure 我真的很喜欢它 我担心的一件事是 假设我有一个窗口 它接受 3 个模块作为参数 并且随着需求的变化 我需要将另一个模块传递给函数 我只是更改了该函数 编译器在我使用它
Java
c
ruby
Clojure
typesystems
为什么对变量调用方法会阻止 Rust 推断变量的类型?
此代码编译 derive Debug Default struct Example impl Example fn some method self fn reproduction gt Example let example Defaul
Rust
typeinference
typesystems
hindleymilner
Scala 类型参数界限
我在理解 scala 的类型边界系统时遇到了一些困难 我想做的是创建一个持有者类 该持有者类持有 T 类型的项目 可以迭代 A 类型的项目 到目前为止 我所拥有的是 class HasIterable T lt Iterable A A i
scala
typesystems
typeparameter
C# 类型系统健全且可判定吗?
我知道Java的类型系统是不健全的 它无法对语义上合法的构造进行类型检查 并且无法确定 它无法对某些构造进行类型检查 例如 如果您将以下代码片段复制 粘贴到类中并编译它 编译器将崩溃并显示StackOverflowException 多么贴
c
types
covariance
typesystems
java泛型通配符
我对 Java 泛型类型中通配符的使用有疑问 它们之间的基本区别是什么 List
Java
generics
typesystems
F# 中的显式类型递归
灵感来自这个问题 https stackoverflow com questions 1228644 are infinite types aka recursive types not possible in f F 中可以显式类型递归吗
F
recursion
typesystems
使用 DataKind 在类型签名中绑定名称
所以 我终于找到了一个可以利用新功能的任务DataKinds扩展 使用 ghc 7 4 1 这是Vec我在用着 data Nat Z S Nat deriving Eq Show data Vec Nat gt gt where Nil V
Haskell
syntax
typesystems
Scala:特征中的“静态值”?
假设我有 trait X val x String 使用混合 我可以定义一个特征 例如 trait XPrinter self X gt def printX String X is x 这样一个值 对象实现XPrinter实施x并给出其方
scala
genericprogramming
typesystems
typetheory
singletontype
什么是类型和效果系统?
The 维基百科文章关于效果系统 http en wikipedia org wiki Effect system目前只是一个简短的存根 我有一段时间想知道什么是效果系统 除了类型系统之外 是否还有其他语言还具有效果系统 可能的 假设的 符
types
effects
typesystems
typetheory
effectsystems
1
2
»