Question

我是Haskell的新手，只是玩了一会儿。

我写了一个轻量级的OOP模拟：

 --OOP.hs
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, ScopedTypeVariables, FunctionalDependencies #-}

module OOP where 
class Provides obj iface where
    provide::obj->iface
    (#>)::obj->(iface->a)->a
    o #> meth = meth $ provide o

class Instance cls obj | obj -> cls where
    classOf::obj->cls

class Implements cls iface where
    implement::(Instance cls obj)=>cls->obj->iface

instance (Instance cls obj, Implements cls iface)=>Provides obj iface where
    provide x = implement (classOf x::cls) x

使用它像：

 --main.hs
 {-# LANGUAGE MultiParamTypeClasses #-}

import OOP
data I1 = I1
getI1::I1->String
getI1 i1 = "Interface 1"

data I2 = I2
getI2::I2->String
getI2 i2 = "Interface 2"


data C = C


instance Implements C I1 where
    implement C o = I1

instance Implements C I2 where
    implement C o = I2

data O = O
instance Instance C O where
    classOf o = C

main = do
    putStrLn (O #> getI1)
    putStrLn (O #> getI2)

我读到UndecidableInstances功能非常不方便，可以在编译器中导致stack overflows。所以我有两个问题。

是否可以改进此代码，保留实例和类数据类型之间以及接口和类之间的易用性和1 to N关系？
可能是使用Single Param Type Classes实现的类似逻辑吗？

Answer 1

在这种情况下你使用不可判定的实例是可以的。

instance (Instance cls obj, Implements cls iface)=>Provides obj iface where

是不可判定的，因为您可能有一个Instance或Implements的实例，而这个实例依赖Provides导致循环。

但是，在这种情况下，您根本不需要Provides类，因为您只根据其他两个类的方法实现了它！

您可以将provides和#>拉出来作为具有相应Instance和Implements约束的顶级函数，您将不会丢失任何内容，并且无需不可判定的实例。

你确实需要/想要MPTC，这很好......

Haskell MultiParamTypeClasses和UndecidableInstances

1 个答案: