- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有以下多参数类型类,其功能依赖于作为向量空间(向量)元素的类型
module Vec where
class Vec v k | v -> k where -- v is an element of a vector space over k
vZero :: v -- The zero vector in v
vAdd :: v -> v -> v -- Adds two vectors
vSub :: v -> v -> v -- Subtracts two vectors
vMul :: v -> k -> v -- Multiplies a vector by a number from k
infixl 6 |+| -- Shortcut operator for accessing vAdd
(|+|) :: Vec v k => v -> v -> v
(|+|) = vAdd
现在,我将上面的代码加载到 ghci
解释器中,并要求它显示运算符 |+|
的类型:
*Vec> :t (|+|)
(|+|) :: Vec v k => v -> v -> v
到目前为止,一切似乎都很正常。但现在我想指定所有数字都是其自身之上的特殊向量空间的元素:
instance Num k => Vec k k where
vZero = 0
vAdd = (+)
vSub = (-)
vMul = (*)
现在发生了一件奇怪的事情:ghci
不再显示 |+|
的正确类型(尽管我在上面的代码中明确指定了它):
*Vec> :t (|+|)
(|+|) :: Num v => v -> v -> v
我怀疑这种奇怪的行为与我正在使用的 FunctionalDependencies
语言扩展有关,但我不明白为什么 ghc
会这样。我可以看到自己添加了一个不同的实例 Vec v k
,其中 v
是不是 Num
的实例,因此这样的实例不会与现有的重叠,从而保留功能依赖性。
最佳答案
您已经定义了非常通用的实例:Vec v ...
。如果没有重叠的实例,就不可能有其他实例。
例如添加
data V2 k = V2 k k
instance Num k => Vec (V2 k) k where
结果
Functional dependencies conflict between instance declarations:
instance Num k => Vec k k -- Defined at v.hs:15:10
instance Num k => Vec (V2 k) k -- Defined at v.hs:23:10
实际上重叠实例在这里也没有帮助(这可能是 GHC 的缺失功能?)。
如果您尝试使用 TypeFamilies
对其进行编码,您会收到类似的错误:
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
module Vec where
class Vec v where -- v is an element of a vector space over k
type Elem v
vZero :: v -- The zero vector in v
vAdd :: v -> v -> v -- Adds two vectors
vSub :: v -> v -> v -- Subtracts two vectors
vMul :: v -> Elem v -> v -- Multiplies a vector by a number from k
infixl 6 |+| -- Shortcut operator for accessing vAdd
(|+|) :: Vec v k => v -> v -> v
(|+|) = vAdd
data V2 k = V2 k k
instance Num k => Vec (V2 k) where
type Elem (V2 k) = k
-- implementation omitted
instance Num k => Vec k where
type Elem k = k
vZero = 0
vAdd = (+)
vSub = (-)
vMul = (*)
错误:
Conflicting family instance declarations:
Elem (V2 k) -- Defined at v.hs:20:10
Elem k -- Defined at v.hs:23:10
<小时/>
解决方案是定义辅助函数并“手动”编写实例定义:
{-# LANGUAGE FlexibleInstances, FunctionalDependencies #-}
module Vec where
class Vec v k | v -> k where -- v is an element of a vector space over k
vZero :: v -- The zero vector in v
vAdd :: v -> v -> v -- Adds two vectors
vSub :: v -> v -> v -- Subtracts two vectors
vMul :: v -> k -> v -- Multiplies a vector by a number from k
infixl 6 |+| -- Shortcut operator for accessing vAdd
(|+|) :: Vec v k => v -> v -> v
(|+|) = vAdd
-- The definitions are so short, that it's not worth even givin them names
numVZero :: Num k => k
numVZero = 0
instance Vec Int Int where
vZero = 0
vAdd = (+)
vSub = (-)
vMul = (*)
data V2 k = V2 k k
instance Num k => Vec (V2 k) k where
vZero = V2 0 0
vAdd (V2 a b) (V2 c d) = V2 (a + c) (b + d)
vSub (V2 a b) (V2 c d) = V2 (a - c) (b - d)
vMul (V2 a b) k = V2 (a * k) (b * k)
然后:
λ *Vec > :t (|+|)
(|+|) :: Vec v k => v -> v -> v
<小时/>
或者,由于 Num v => Vec v v
可能会很常见,您可以使用 DefaultSignatures
减少实例声明的样板:
{-# LANGUAGE GADTs, FlexibleInstances, FunctionalDependencies, DefaultSignatures #-}
module Vec where
class Vec v k | v -> k where -- v is an element of a vector space over k
vZero :: v -- The zero vector in v
default vZero :: (Num v, v ~ k) => v
vZero = 0
vAdd :: v -> v -> v -- Adds two vectors
default vAdd :: (Num v, v ~ k) => v -> v -> v
vAdd = (+)
vSub :: v -> v -> v -- Subtracts two vectors
default vSub :: (Num v, v ~ k) => v -> v -> v
vSub = (-)
vMul :: v -> k -> v -- Multiplies a vector by a number from k
default vMul :: (Num v, v ~ k) => v -> k -> v
vMul = (*)
infixl 6 |+| -- Shortcut operator for accessing vAdd
(|+|) :: Vec v k => v -> v -> v
(|+|) = vAdd
instance Vec Int Int
instance Vec Integer Integer
instance Vec Float Float
instance Vec Double Double
data V2 k = V2 k k
instance Num k => Vec (V2 k) k where
vZero = V2 0 0
vAdd (V2 a b) (V2 c d) = V2 (a + c) (b + d)
vSub (V2 a b) (V2 c d) = V2 (a - c) (b - d)
vMul (V2 a b) k = V2 (a * k) (b * k)
关于haskell - 类型推断和函数依赖的混淆,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34471950/
我在 gobject 上阅读了一个维基百科页面,上面写着, Depending only on GLib and libc, GObject is a cornerstone of GNOME and
如何注册一个依赖属性,其值是使用另一个依赖属性的值计算的? 由于 .NET 属性包装器在运行时被 WPF 绕过,因此不应在 getter 和 setter 中包含逻辑。解决方案通常是使用 Proper
我一直在尝试将 ActionbarSherlock maven 依赖项添加到我的项目中 com.actionbarsherlock library 4.2.0 在我的 po
http://tutorials.jenkov.com/ood/understanding-dependencies.html#whatis说(强调我的): Whenever a class A us
我对所有这些魔法有点不清楚。 据我了解,依赖属性是从 DependencyObject 继承的,因此存储值: 如果分配了值(在本地字典中),则在实例本身中 或者如果未指定值,则从指向父元素的链接中获取
我刚刚更新了在 ASP.NET Framework 4.5.2 版上运行的 MVC Web 应用程序。我正在使用 Twilio 发送 SMS 消息: var twilio = new TwilioRe
我刚刚发现了一件令人生畏的事情。 spring 依赖坐标有两个版本。 项目依赖于 spring mvc 和 spring flow。有两组并行的依赖项。 Spring MVC 具有以下方案的依赖项
我正在尝试包含 的 maven 依赖项 org.jacorb jacorb 2.3.1 依赖已解决,但它导致另一个依赖 picocontainer 出现问题: [ERROR
我正在尝试在 Haskell 项目中包含特定版本的库。该库是住宿加早餐型的(用于 martix 操作),但我需要特定的 0.4.3 版本,该版本修复了乘法实现的错误。 所以,我的 stack.yaml
有谁知道如何制作依赖的 UIPickerView.例如,当我选择组件一的第 2 行时,组件二的标题会发生变化吗? 我在互联网上查找过,没有真正的答案,我尝试过使用 if 和 switch 语句,但它们
我正在编写一个用于验收测试的项目,由于各种原因,这依赖于另一个打包为 WAR 的项目。我已成功使用 maven-dependency-plugin 解压 WAR,但无法让我的项目包含解压的 WEB-I
或多或少我在 session 上大量构建我的网站(特别是重定向用户等),我很好奇这是否是一种危险的做法。禁用浏览器 cookie 保存的用户的大致比例是多少?我愿意接受任何建议:) 谢谢 最佳答案 s
开始玩 Scala futures,我被依赖的 futures 困住了。 让我们举个例子。我搜索地点并获得 Future[Seq[Place]]。对于这些地点中的每一个,我搜索最近的地铁站(该服务返回
或多或少我在 session 上大量构建我的网站(特别是重定向用户等),我很好奇这是否是一种危险的做法。禁用浏览器 cookie 保存的用户的大致比例是多少?我愿意接受任何建议:) 谢谢 最佳答案 s
我有一个二进制文件,需要一些 *.so 文件才能执行。现在,当我尝试在一些旧机器上执行它时,它会显示 /lib/libc.so.6: version `GLIBC_2.4' not found 如何将
我尝试使用 Dygraph 来表示图表,我在 https://github.com/danvk/dygraphs 中找到了代码,但是它有太多的依赖文件,我觉得很烦人。是否有一个文件可以容纳所有必需的
我正在处理一个 javascript 文件,该文件 a) 声明一个具有函数的对象,并且 b) 使用它期望在外部声明的散列调用该对象的 init 函数。我的 Jasmine 规范提示它找不到哈希,因为它
最近我一直在学习 Angular 并且进展顺利,但是关于依赖注入(inject)的一些事情我仍然不清楚。 是否有任何理由在我的 app.js 文件中声明我的应用程序的其他部分(服务、 Controll
考虑一个名为 foo 的表,它有 id (PRIMARY & AUTO_INCREMENT) 列。我正在向该表中插入一行,挑战从此时开始。 $db->query("INSERT INTO `foo`
我正在使用级联下拉 jquery 插件。 (https://github.com/dnasir/jquery-cascading-dropdown) 我有两个下拉菜单。 “客户端”和“站点”。 根据您
我是一名优秀的程序员,十分优秀!