- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个带有幻像类型的 newtype
,但我在轻松使用它时遇到了困难。
考虑以下示例:
import Data.Coerce
newtype F a b = F b
myzip :: (Num b) => F a b -> F a b
myzip = (coerce (+)) myf
myf :: F a b
myf = undefined
GHC 提示它无法将类型“a0”的表示与“Int”的表示相匹配
。基本上,coerce (+)
的类型是 F a0 -> F a -> F a
,而不是我想要的类型,即 F a -> F a -> F a
.
考虑到a
当前的phantom
角色,这是合理的。我想知道是否有一种简单的方法可以通过其他方法进行类型推断(我不想写出签名,这就是我首先使用 coerce
的原因!) 。特别是,我期望如果我将参数 a
的作用限制为名义值,那么 GHC 将能够知道签名的唯一可能选择就是我想要的。没有这样的运气:GHC 给出了同样的错误。
如果重要的话,在我的实际代码中,a
的角色必须至少是代表性的,而 b
必须是名义性的。
最佳答案
让我们首先看看几种类型:
coerce (+) :: (Num n, Coercible (n -> n -> n) b) => b
myf :: F c d
第一个问题是 GHC 无法确定 n
,因此它可以选择 (+)
的实现。
让我们看看如果我们使用作用域类型变量来尝试一个简单的解决方案会发生什么:
myzip :: forall a b . Num b => F a b -> F a b
myzip = coerce ((+) :: b -> b -> b) myf
这不被接受。为什么?因为myf
的类型是不明确的!如果我们用另一个参数扩展 myzip
,我们可以更清楚地看到这一点:
myzip x = coerce ((+) :: b -> b -> b) myf x
根据 Coercible
与类型构造函数(在本例中为 ->
)的配合方式,我们可以将所有内容排列起来并得出 myf< 的类型
必须可与 b
强制转换,其中 x::F a b
。但在此上下文中 myf
的类型是不明确的。因此,GHC 无法在 b
和 myf
类型之间选择适当的 Coercible
实例。因为coerce
实际上是底层的恒等函数,所以选择哪个并不重要,但 GHC 根本不会根据不明确的类型变量选择实例。为了使这项工作成功,你需要类似的东西
myzip :: forall a b . Num b => F a b -> F a b
myzip = (coerce ((+) :: b -> b -> b)) (myf :: F a b)
类型角色不能(至少目前)以任何方式指导实例解析。他们所能做的就是确定生成了哪些Coercible
实例。鉴于
class c => X d
GHC 将得出结论:X d
必然包含 c
。但考虑到
instance c => X d
GHC 将不会得出X d
必然包含c
的结论。我不确定具体原因,但情况一直如此。
关于haskell - 使用名义角色进行类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32596138/
抱歉,问题标题含糊不清!我有一个 ASP.NET 应用程序,可与其他第三方软件配合使用(Burning Glass - 通过 tcp/ip 连接到 Web 应用程序,需要 - 正确配置的 dns 条目
我正在开展一个项目,将一个大型网站分解为更小、更具体的网站。我需要能够将对这些网站的访问限制为仅具有必要权限的用户,并且希望尽可能利用现有的成员资格/角色数据模型。 因此,理想情况下,我想将潜在的多个
抱歉,问题标题含糊不清!我有一个 ASP.NET 应用程序,可与其他第三方软件配合使用(Burning Glass - 通过 tcp/ip 连接到 Web 应用程序,需要 - 正确配置的 dns 条目
我对 FOSUserBundle 中的角色有点困惑。用户实体也有角色列,我们可以通过它为用户分配多个角色。根据发布在 Managing users/roles/groups in FOSUserBun
原谅我的新手问题,但我想按顺序执行三个任务并在剧本中使用两个角色: 任务 角色 任务 角色 任务 这是我到目前为止(任务,角色,任务): --- - name: Task Role Task ho
在触发器中,我想检查哪些角色对 USER() 有效,而不是 CURRENT_USER()。(认识到 CURRENT_USER() 返回触发器的 DEFINER)。 是否有任何类型的 USER_ROLE
我有一套Ansible playbooks 和主要的 yml 文件是这样的 - hosts: all roles: - common - install_nginx 我想在触发剧本
因此,我有以下代码输出安装的所有功能和角色: Import-Module ServerManager $Arr = Get-WindowsFeature | Where-Object {$_.Inst
我已经寻找了一段时间,并且已经手动完成了角色和权限的许多部署,但是有什么方法可以在Sitecore中为角色/权限创建一个程序包(或等效程序包)? 当您没有选择从一个环境到另一个环境进行完全部署时,使用
我想找到或创建一个与所有者或至少贡献者具有相同功能的 azure 角色。但此角色不应该有权创建 azure 资源。 我一直在浏览现有的预定义角色。 最佳答案 这在 Azure RBAC 上下文中没有任
我在文档中找不到答案,也找不到示例:是否可以在 role/defaults/ 中命名除 main.yml 之外的文件?我的意思是,main.yml 是具有默认值的文件的唯一有效名称吗? 最佳答案 根据
我尝试了kubectl get sa default命令,但只看到一些非常基本的值。在k8s中查看与特定服务帐户关联的权限/角色的命令是什么? 最佳答案 以下命令可能会有所帮助。它基本上获得RoleB
有没有办法告诉 Spring 在我制作的自定义用户 bean 中找到用户的角色? http://static.springsource.org/sprin...ns-config.html 因此,如果
在我的 playbook 中运行几次 Play 后,我想验证我的应用程序的部署。 在我的角色之一中,我有以下任务,将创建的 ec2 实例添加到“已启动”的主机: - name: Add new ins
我按如下方式将用户添加到角色(请注意,我在我的机器上运行下面显示的代码): Roles.AddUserToRole(oMU.UserName, "Role1"); 使用以下代码我检查用户是否在
我目前在为 postgresql 创建角色时遇到问题,这是我已经做过的,但自昨晚以来取得了任何进展 simplybel@simplybel:~$ sudo -u postgres createuser
一个项目现在有超过 200 个类,每个文件一个类,将它们划分到目录中似乎是恰当的。现在我正在考虑两种不同的策略; a) 按角色或层分组 repositories/ UserRepository
您如何为用户、角色和应用特定实体提供种子?似乎 IdentityModel 以它自己的上下文为目标? internal sealed class Configuration : DbMigration
摩尔庄园手游在六一儿童节上线之后,网上的争议声还是很多的,有夸赞的,称其找回了童年的回忆,也有吐槽的,觉得3d的设计很晕,没有以前的感觉,想要删除账号,那么大家知道怎么去注销吗,步骤流程是什么样的?
在 XP SP2 虚拟机中运行 Oracle 11gR1。完全披露:这是一项任务。 我试图在用户被授予 DBA 角色时进行审计,并在事件发生时发送电子邮件。 我相信命令 AUDIT DBA;将审核对
我是一名优秀的程序员,十分优秀!