Início / coding / Perguntas / 79450730
Accepted
ron
Asked: 2025-02-19 16:50:42 +0800 CST

Posso fazer com que o sistema de tipos de Haskell pegue a restrição de classe em um conjunto fechado de tipos fornecendo uma assinatura de tipo? [duplicado]

  • 772

Tenho alguns cálculos marcados com um tipo ('A/'B) de um tipo específico (T). Gostaria de eventualmente depender do tipo do código, então mapeio o tipo de volta, usando uma instância:

data T = A | B  -- also generates types 'A and 'B

class R (t :: T) where r :: Proxy t -> T
instance R 'A where r _ = A
instance R 'B where r _ = B

foo :: forall (t :: T) . R t => Bar T Int
foo = case r (Proxy :: Proxy t) of A ->  ....

Isso é ok, mas eu me pergunto se eu posso poupar a escrita da R trestrição o tempo todo, se eu de qualquer forma tiver o tipo tanotado com o kind. Alguma reorganização desse esquema é possível para uso mais conveniente? Obrigado.

(Edição de título: originalmente escrevi família de tipos fechada, mas aqui é mais um conjunto fechado de tipos para o tipo fornecido.)

haskell

1 respostas

  1. Best Answer

    O mais próximo que posso chegar do que você quer é usar PartialTypeSignatureso GHC para inferir as restrições, da seguinte forma:

    {-# LANGUAGE DataKinds, PartialTypeSignatures #-}

import Data.Proxy

data T = A | B

class R (t :: T) where r :: Proxy t -> T
instance R 'A where r _ = A
instance R 'B where r _ = B

data Bar (t :: T) b = Bar

foo :: forall (t :: T) . _ => Bar t Int
-- The _ above tells GHC "infer this for me"
foo = case r (Proxy :: Proxy t) of
    A -> undefined
    B -> undefined

    Isso ainda gerará avisos para o uso de _, que podem ser silenciados com o sinalizador do compilador -Wno-partial-type-signatures.

    Como sempre, ao usar inferência, tenha cuidado. Pode acontecer que o GHC acidentalmente infira restrições diferentes das que você pretendia usar, tornando fooa compilação boa, mas causando erros de tipo misteriosos quando foofor usado mais tarde. A inferência é ótima, mas pode ser fonte de muita confusão às vezes.

    • 1

relate perguntas