Question

在Haskell,有办法限制mona条码,以便a。满足某类限制?

我将probabilistic modeling example from support。因为它将更改<代码>数据分布至 (Ord a) => 分发。随着这一变化,我有以下错误:

...probabilisticModeling.hs:42:13:
    Could not deduce (Ord a) from the context ()
      arising from a use of `always 
                   at ...probabilisticModeling.hs:42:13-18
    Possible fix:
      add (Ord a) to the context of the type signature for `return 
    In the expression: always
    In the definition of `return : return = always
    In the instance declaration for `Monad Distribution

事实上,<代码>always/return的类型是:(Ord a) => a-> distribution a。是否有一种方式,我可以采用一个手法<代码>Distribution,但强制实施该mon的“条码”(Ord a)? 我尝试:

instance Monad Distribution where
    (>>=) = bind
    return :: (Ord a) => a -> Distribution a = always

But I get the error:

...probabilisticModeling2.hs:48:4:
    Pattern bindings (except simple variables) not allowed in instance declarations
      return :: (Ord a) => a -> Distribution a = always
Failed, modules loaded: none.

因此,可以选择一个mon子(M a),但限制a,限制例如。或d a?

Thanks.

Answer 1

My understanding of this is that you simply cannot, because a monad is meant to be generalized over all types, not some restricted subset of types such as (Ord a).

您不能限制 mo形形形形形形形形形形色色体(M a),而只能限制使用 mo形体的功能,例如,

foo :: Ord a => Int -> M a

事实上,最好尽可能保留类型,只使用类别限制功能。

等等。

Answer 2

看来,我在Haskell是一个众所周知的问题。 I 似乎是破坏性最小的。然而,为了我的目的,这似乎过于熟练。我认为,按照Revolucent的建议,我将保留<代码>分配,并通过限制职能简化支持。

Answer 3

查阅 Martin Erwig s Library, PFP:

私营部门司的图书馆是为哈萨克尔收集的单元,这些单元有助于开展有利于儿童的实用方案拟定工作,即制定具有弹性价值的方案。概率实用的方案拟定办法基于代表分配的数据类型。分发代表了一次概率大的活动的成果,因为它收集了所有可能的价值,而且有可能。

友情链接