Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
将特征限制在对象上?
有没有办法限制一个特征 使其只能混合到对象中 例如 trait OnlyForObjects this gt object Foo extends OnlyForObjects gt OK class Bar extends OnlyFor
scala
traits
singletontype
生成类型类实例时无法证明单例类型是单例类型
假设我有一个类型类 它证明 Shapeless 联积中的所有类型都是单例类型 import shapeless trait AllSingletons A C lt Coproduct def values List A object Al
scala
shapeless
implicits
singletontype
为什么 classOf[A.type] 无法编译?
的签名Predef classOf https github com scala scala blob bda011524f7619b61b4fcc8172f088d2445e947e src library scala Predef sc
scala
singletontype
Scala:特征中的“静态值”?
假设我有 trait X val x String 使用混合 我可以定义一个特征 例如 trait XPrinter self X gt def printX String X is x 这样一个值 对象实现XPrinter实施x并给出其方
scala
genericprogramming
typesystems
typetheory
singletontype
Haskell 中的单例类型
作为对各种依赖类型形式化技术进行调查的一部分 我遇到了一篇论文 提倡使用单例类型 只有一个居民的类型 作为支持依赖类型编程的一种方式 根据此消息来源 在 Haskell 中 运行时值和编译时类型之间存在分离 由于引入的类型 值同构 在使用单
Haskell
dependenttype
typetheory
singletontype
如何在 Scala 3 中进行类型级添加?
如何在 Scala 3 中实现类型级操作 在本例中为加法 这是我想做的 这不能编译 case class foo S lt Int Singleton value Double def bar T lt Int Singleton that
scala
scala3
typelevelcomputation
singletontype
在 Either 中指定 Case 对象的类型
如果我有一个对象如下 case object Foo 我尝试创造这样的价值 Either Foo B 我收到编译错误 指出找不到 Foo 但如果我这样做 Either Foo type B 它编译 我的问题是这样做是否正确 每当你想声明一个
scala
singletontype
使用 GHC.TypeLits 和单例的长度索引列表的复制函数
我正在尝试使用来自的机器为长度索引列表编写一个复制函数GHC TypeLits 单身人士 and 限制条件 The Vect类型和签名replicateVec如下 data Vect Nat gt Type gt Type where VN
list
Haskell
dependenttype
singletontype
我可以让 KnownNat n 来暗示 KnownNat (n * 3) 等吗?
我正在处理这种形状的数据类型 使用V from linear type Foo n V n 3 Double gt Double 将其固定在n非常重要 因为我希望能够确保在编译时传递正确数量的元素 这是我的程序的一部分 已经运行良好 独立于
Haskell
singletontype