主页 / user-28080356

user28080356's questions

Martin Hope
Ashok Kimmel
Asked: 2025-04-10 02:25:26 +0800 CST
  • 7
data Zero = Zero 
data Succ x = Succ x 

class NatToPeano a b | a -> b where 
    toPean :: b
instance NatToPeano 0 Zero where toPean = Zero 
instance (NatToPeano (x-1) a) => NatToPeano x (Succ a) where
     toPean = Succ (toPean @(x-1))

这会产生错误：

 Functional dependencies conflict between instance declarations:
  instance NatToPeano 0 Zero -- Defined at parsejava.hs:26:10
  instance NatToPeano (x - 1) a => NatToPeano x (Succ a)
    -- Defined at parsejava.hs:28:10

 26 | instance NatToPeano 0 Zero where
haskell
Martin Hope
user28080356
Asked: 2025-02-09 06:12:27 +0800 CST
  • 5

有什么办法可以做到这一点？

type V = VList
{- type V2 a = V (V a)
type V4 a = V2 (V2 a)
type V8 a = V4 (V4 a)
type V16 a = V8 (V8 a)
type V32 a = V16 (V16 a) -}
type C a b c = a (b c)
type D a b = a b b
type E = D C
type V2 a = V (V a)
type V4 = E V2
type V8 = E V4
type V16 = E V8
type V32 = E V16

我想制作这种类型

type Vector25 = C (C V16 V8) V Empty

无需做

type Vector25 = (V16 (V8 (V Empty))
haskell