haskell – 让重命名功能中断代码

栏目: 编程语言 · 发布时间: 6年前

内容简介:问题当然不是重命名,而是绑定到一个新的变量.由于iterateFunc是Rank-2,它需要一个多态参数函数.当然,f是v中的多态,所以可以使用.但是当你写f’= f时,不清楚什么类型f’应该是:与f相同的多态类型或一些单态类型,可能取决于编译器尚未推出的iteratedF中的另一个类型变量的一些关系.编译器默认为单态选项;因为chi说这是单态限制在这里的错误,所以如果你把它关闭你的代码实际编译.尽管如此,即使在RankNTypes代码中没有单态限制,同样的问题也可能会发生,但是它不能完全避免.唯一可靠的

在将代码迭代到正确的版本时,我遇到了以下好奇心:

{-# LANGUAGE RankNTypes #-}

module Foo where

import Data.Vector.Generic.Mutable as M
import Control.Monad.Primitive

-- an in-place vector function with dimension
data DimFun v m r = 
  DimFun Int (v (PrimState m) r -> m ())

eval :: (PrimMonad m, MVector v r) => DimFun v m r -> v (PrimState m) r -> m ()
eval = error ""

iterateFunc :: (PrimMonad m, MVector v r)
            => (forall v' . (MVector v' r) => DimFun v' m r) -> DimFun v m r
iterateFunc = error ""

f :: (PrimMonad m, MVector v r)
      => DimFun v m r
f = error ""

iteratedF :: (MVector v r, PrimMonad m) 
           => v (PrimState m) r -> m ()
iteratedF y = 
    let f' = f
    in eval (iterateFunc f') y

此代码不编译:

Testing/Foo.hs:87:14:
    Could not deduce (MVector v0 r) arising from a use of ‘f’
    from the context (MVector v r, PrimMonad m)
      bound by the type signature for
                 iteratedF :: (MVector v r, PrimMonad m) =>
                              v (PrimState m) r -> m ()
      at Testing/Foo.hs:(84,14)-(85,39)
    The type variable ‘v0’ is ambiguous
    Relevant bindings include
      f' :: DimFun v0 m r (bound at Testing/Foo.hs:87:9)
      y :: v (PrimState m) r (bound at Testing/Foo.hs:86:11)
      iteratedF :: v (PrimState m) r -> m ()
        (bound at Testing/Foo.hs:86:1)
    In the expression: f
    In an equation for ‘f'’: f' = f
    In the expression: let f' = f in eval (iterateFunc f') y

Testing/Foo.hs:88:26:
    Couldn't match type ‘v0’ with ‘v'’
      because type variable ‘v'’ would escape its scope
    This (rigid, skolem) type variable is bound by
      a type expected by the context: MVector v' r => DimFun v' m r
      at Testing/Foo.hs:88:14-27
    Expected type: DimFun v' m r
      Actual type: DimFun v0 m r
    Relevant bindings include
      f' :: DimFun v0 m r (bound at Testing/Foo.hs:87:9)
    In the first argument of ‘iterateFunc’, namely ‘f'’
    In the first argument of ‘eval’, namely ‘(iterateFunc f')’
Failed, modules loaded: none.

但是,如果我将iteratedF的定义更改为

iteratedF y = eval (iterateFunc f) y

代码编译GHC 7.8.2.这个问题不是关于奇怪的签名或数据类型,只是这样:为什么重命名f到f’打破代码?这似乎是对我来说是个错误.

问题当然不是重命名,而是绑定到一个新的变量.由于iterateFunc是Rank-2,它需要一个多态参数函数.当然,f是v中的多态,所以可以使用.但是当你写f’= f时,不清楚什么类型f’应该是:与f相同的多态类型或一些单态类型,可能取决于编译器尚未推出的iteratedF中的另一个类型变量的一些关系.

编译器默认为单态选项;因为chi说这是单态限制在这里的错误,所以如果你把它关闭你的代码实际编译.

尽管如此,即使在RankNTypes代码中没有单态限制,同样的问题也可能会发生,但是它不能完全避免.唯一可靠的修复是本地签名,通常需要ScopedTypeVariables.

代码日志版权声明:

翻译自:http://stackoverflow.com/questions/24724738/let-renaming-function-breaks-code


以上所述就是小编给大家介绍的《haskell – 让重命名功能中断代码》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

信息烟尘

信息烟尘

戴维·申克 / 黄锫坚 / 江西教育出版社 / 2002 / 14.50元

今天,我们被大量的信息淹没了:传真、电子邮件、各种新闻、消息和铺天盖地的广告,正如人们以前预示的那样:出现了一个令人鼓舞的信息时代,媒体专家兼网络评论员戴维·申克透过这些繁荣的表象,揭示了大量的无用的信息对我们造成的干扰,或者说,“信息烟尘”对我们个人的健康(包括精神上的和肉体上的)及对社会造成的极大危害。这《信息烟尘:在信息爆炸中求生存》宣告了“信息时代”神话的破灭。一起来看看 《信息烟尘》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

随机密码生成器
随机密码生成器

多种字符组合密码

XML、JSON 在线转换
XML、JSON 在线转换

在线XML、JSON转换工具