Início / 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))

Isso produz o erro:

 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-03-04 07:33:05 +0800 CST
  • 6

https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Base.html , https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-List.html são ambas normais, assim como muitas outras páginas, no entanto https://hackage.haskell.org/package/lazysmallcheck não é. Eu vi muitos módulos como o último e não consegui encontrar a resposta.

haskell
Martin Hope
user28080356
Asked: 2025-02-09 06:12:27 +0800 CST
  • 5

Existe alguma maneira de fazer isso?

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

Eu quero fazer esse tipo por exemplo

type Vector25 = C (C V16 V8) V Empty

Sem ter que fazer

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