Início / coding / Perguntas / 79423996
Accepted
user28080356
Asked: 2025-02-09 06:12:27 +0800 CST

Existe um operador de composição de tipos em Haskell?

  • 772

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

1 respostas

  1. Best Answer

    O módulo a seguir carrega no ghci sem problemas:

    {-# LANGUAGE LiberalTypeSynonyms #-}
type V = []
type C a b c = a (b c)
type D a b = a b b
type E f a = D C f a
type V2 a = V (V a)
type V4 a = E V2 a
type V8 a = E V4 a
type V16 a = E V8 a
type V32 a = E V16 a
type Vector25 a = C (C V16 V8) V a

    Todas as definições são as mesmas que as suas, mas eta-expandidas. Se você :k!as usar o suficiente, elas até reduzem.

    > :set -XLiberalTypeSynonyms
> :k! Vector25 Int
Vector25 Int :: *
= C V16 V8 [Int]
> :k! C V16 V8 [Int]
C V16 V8 [Int] :: *
= V16 (V8 [Int])
> :k! V16 (V8 [Int])
V16 (V8 [Int]) :: *
= C V8 V8 (C V4 V4 [Int])
> :k! C V8 V8 (C V4 V4 [Int])
C V8 V8 (C V4 V4 [Int]) :: *
= V8 (V8 (V4 (V4 [Int])))
> :k! V8 (V8 (V4 (V4 [Int])))
V8 (V8 (V4 (V4 [Int]))) :: *
= C V4 V4 (C V4 V4 (C V2 V2 (C V2 V2 [Int])))
> :k! C V4 V4 (C V4 V4 (C V2 V2 (C V2 V2 [Int])))
C V4 V4 (C V4 V4 (C V2 V2 (C V2 V2 [Int]))) :: *
= V4 (V4 (V4 (V4 (V2 (V2 (V2 (V2 [Int])))))))
> :k! V4 (V4 (V4 (V4 (V2 (V2 (V2 (V2 [Int])))))))
V4 (V4 (V4 (V4 (V2 (V2 (V2 (V2 [Int]))))))) :: *
= C V2 V2 (C V2 V2 (C V2 V2 (C V2 V2 [[[[[[[[[Int]]]]]]]]])))
> :k! C V2 V2 (C V2 V2 (C V2 V2 (C V2 V2 [[[[[[[[[Int]]]]]]]]])))
C V2 V2 (C V2 V2 (C V2 V2 (C V2 V2 [[[[[[[[[Int]]]]]]]]]))) :: *
= V2 (V2 (V2 (V2 (V2 (V2 (V2 (V2 [[[[[[[[[Int]]]]]]]]])))))))
> :k! V2 (V2 (V2 (V2 (V2 (V2 (V2 (V2 [[[[[[[[[Int]]]]]]]]])))))))
V2 (V2 (V2 (V2 (V2 (V2 (V2 (V2 [[[[[[[[[Int]]]]]]]]]))))))) :: *
= [[[[[[[[[[[[[[[[[[[[[[[[[Int]]]]]]]]]]]]]]]]]]]]]]]]]

    Não sei por que não reduz totalmente na primeira consulta. Talvez seja um bug.

    • 0

relate perguntas