- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
探索 typeclasses are essentially C++ abstract classes without nested inheritance 的想法,我已经写了类型类
class Interface i c where
i :: c -> i
instance Interface i i where i = id
infixl 1 #
(#) :: Interface i c => c -> (i -> r) -> r
c # f = f $ i c
data IDrawable' = IDrawable { draw :: IO () }
type IDrawable c = Interface IDrawable' c
data Object = Object { objectDraw :: IO () }
data Person = Person { personDraw :: IO () }
instance IDrawable Object where i = IDrawable . objectDraw
instance IDrawable Person where i = IDrawable . personDraw
type IDrawable c
用
ConstraintKinds
编译,我不允许做
instance IDrawable Object where i = IDrawable . objectDraw
有错误
'i' is not a (visible) method of class 'IDrawable`
IDrawable c = Interface IDrawable' c
以便它可以被实例化?
TemplateHaskell
或
CPP
.
最佳答案
不,这是不可能的(从 7.8.3 开始,我认为也是 7.10);它是 GHC bug #7543 .这不是一个非常容易被贩卖的错误。显然,至少有少数人希望能够写出这种东西(例如,你,Edward Kmett),但大多数人都没有注意到这一点。跟踪器上记录的更改此行为没有任何进展。
至于为什么不能,让我解释一下 Simon Peyton-Jones 对 bug 跟踪器的解释。问题是类型检查实例有两个部分:首先,GHC 必须查找方法名称(这里是 i
)的来源;其次,GHC 必须扩展类型同义词。由于这两个步骤在本期中由 GHC 的两个不同组件执行,因此不支持约束同义词实例; GHC 无法判断它需要查看哪个类才能找到 i
.
这是一个错误的另一个原因——也是我发现这个的原因,根据 András Kovács's answer 上的评论——是不是当前的行为不像“它不起作用”那么简单。相反,它会尝试工作,但你不能声明任何方法……但你可以声明一个无方法的实例!在 GHCi 中:
GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help
...
Prelude> :set -XMultiParamTypeClasses -XFlexibleInstances -XConstraintKinds
Prelude> class Interface i c where i :: c -> i
Prelude> instance Interface i i where i = id
Prelude> let (#) :: Interface i c => c -> (i -> r) -> r ; c # f = f $ i c ; infixl 1 #
Prelude> data IDrawable' = IDrawable { draw :: IO () }
Prelude> type IDrawable = Interface IDrawable'
Prelude> instance IDrawable () where i _ = IDrawable $ return ()
<interactive>:8:29:
‘i’ is not a (visible) method of class ‘IDrawable’
Prelude> ()#draw
<interactive>:9:3:
No instance for (Interface IDrawable' ()) arising from a use of ‘#’
In the expression: () # draw
In an equation for ‘it’: it = () # draw
Prelude> instance IDrawable () where {}
<interactive>:10:10: Warning:
No explicit implementation for
‘i’
In the instance declaration for ‘Interface IDrawable' ()’
Prelude> ()#draw
*** Exception: <interactive>:10:10-21: No instance nor default method for class operation Ghci1.i
instance IDrawable () where i _ = IDrawable $ return ()
instance IDrawable () where {}
IDrawable
的原因至
type IDrawable = Interface IDrawable'
c
GHCi
中两边的参数上面的代码。这样做的好处是,由于不能部分应用类型同义词,因此您无法通过
IDrawable
的版本。作为任何东西的参数;然而,完全 eta 减少的版本可以通过任何期望的东西
* -> Constraint
.
关于haskell - 定义部分应用的类型类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29039526/
我正在通过 labrepl 工作,我看到了一些遵循此模式的代码: ;; Pattern (apply #(apply f %&) coll) ;; Concrete example user=> (a
我从未向应用商店提交过应用,但我会在不久的将来提交。 到目前为止,我对为 iPhone 而非 iPad 进行设计感到很自在。 我了解,通过将通用PAID 应用放到应用商店,客户只需支付一次就可以同时使
我有一个应用程序,它使用不同的 Facebook 应用程序(2 个不同的 AppID)在 Facebook 上发布并显示它是“通过 iPhone”/“通过 iPad”。 当 Facebook 应用程序
我有一个要求,我们必须通过将网站源文件保存在本地 iOS 应用程序中来在 iOS 应用程序 Webview 中运行网站。 Angular 需要服务器来运行应用程序,但由于我们将文件保存在本地,我们无法
所以我有一个单页客户端应用程序。 正常流程: 应用程序 -> OAuth2 服务器 -> 应用程序 我们有自己的 OAuth2 服务器,因此人们可以登录应用程序并获取与用户实体关联的 access_t
假设我有一个安装在用户设备上的 Android 应用程序 A,我的应用程序有一个 AppWidget,我们可以让其他 Android 开发人员在其中以每次安装成本为基础发布他们的应用程序推广广告。因此
Secrets of the JavaScript Ninja中有一个例子它提供了以下代码来绕过 JavaScript 的 Math.min() 函数,该函数需要一个可变长度列表。 Example:
当我分别将数组和对象传递给 function.apply() 时,我得到 NaN 的 o/p,但是当我传递对象和数组时,我得到一个数字。为什么会发生这种情况? 由于数组也被视为对象,为什么我无法使用它
CFSDN坚持开源创造价值,我们致力于搭建一个资源共享平台,让每一个IT人在这里找到属于你的精彩世界. 这篇CFSDN的博客文章ASP转换格林威治时间函数DateDiff()应用由作者收集整理,如果你
我正在将列表传递给 map并且想要返回一个带有合并名称的 data.frame 对象。 例如: library(tidyverse) library(broom) mtcars %>% spl
我有一个非常基本的问题,但我不知道如何实现它:我有一个返回数据框,其中每个工具的返回值是按行排列的: tmp<-as.data.frame(t(data.frame(a=rnorm(250,0,1)
我正在使用我的 FB 应用创建群组并邀请用户加入我的应用群组,第一次一切正常。当我尝试创建另一个组时,出现以下错误: {"(OAuthException - #4009) (#4009) 在有更多用户
我们正在开发一款类似于“会说话的本”应用程序的 child 应用程序。它包含大量用于交互式动画的 JPEG 图像序列。 问题是动画在 iPad Air 上播放正常,但在 iPad 2 上播放缓慢或滞后
我关注 clojure 一段时间了,它的一些功能非常令人兴奋(持久数据结构、函数式方法、不可变状态)。然而,由于我仍在学习,我想了解如何在实际场景中应用,证明其好处,然后演化并应用于更复杂的问题。即,
我开发了一个仅使用挪威语的应用程序。该应用程序不使用本地化,因为它应该仅以一种语言(挪威语)显示。但是,我已在 Info.plist 文件中将“本地化 native 开发区域”设置为“no”。我还使用
读完 Anthony's response 后上a style-related parser question ,我试图说服自己编写单体解析器仍然可以相当紧凑。 所以而不是 reference ::
multicore 库中是否有类似 sapply 的东西?还是我必须 unlist(mclapply(..)) 才能实现这一点? 如果它不存在:推理是什么? 提前致谢,如果这是一个愚蠢的问题,我们深表
我喜欢在窗口中弹出结果,以便更容易查看和查找(例如,它们不会随着控制台继续滚动而丢失)。一种方法是使用 sink() 和 file.show()。例如: y <- rnorm(100); x <- r
我有一个如下所示的 spring mvc Controller @RequestMapping(value="/new", method=RequestMethod.POST) public Stri
我正在阅读 StructureMap关于依赖注入(inject),首先有两部分初始化映射,具体类类型的接口(interface),另一部分只是实例化(请求实例)。 第一部分需要配置和设置,这是在 Bo
我是一名优秀的程序员,十分优秀!