Почему заполнение типизированного отверстия приводит к ошибке компиляции GHC?

Question

Код ниже компилируется просто отлично:

ecbEncryptRandomly :: RandomGen g => ByteString -> g -> (ByteString, g)
ecbEncryptRandomly bs gen = let key :: AES
                                (key, newGen) = random gen
                            in  (ecbEncrypt key bs, newGen)

Теперь мне нравится, чтобы все было красиво, поэтому я решил предоставить аннотацию типов для всего кортежа в моем let:

ecbEncryptRandomly :: RandomGen g => ByteString -> g -> (ByteString, g)
ecbEncryptRandomly bs gen = let (key, newGen) = random gen :: (AES, g)
                            in  (ecbEncrypt key bs, newGen)

GHC не нравится этот бит и выдает следующую ошибку:

ECBCBCoracle.hs:32:56:
Could not deduce (g ~ g1)
from the context (RandomGen g)
  bound by the type signature for
             ecbEncryptRandomly :: RandomGen g =>
                                   ByteString -> g -> (ByteString, g)
  at ECBCBCoracle.hs:31:23-71
  ‘g’ is a rigid type variable bound by
      the type signature for
        ecbEncryptRandomly :: RandomGen g =>
                              ByteString -> g -> (ByteString, g)
      at ECBCBCoracle.hs:31:23
  ‘g1’ is a rigid type variable bound by
       an expression type signature: (AES, g1) at ECBCBCoracle.hs:32:49
Relevant bindings include
  gen :: g (bound at ECBCBCoracle.hs:32:23)
  ecbEncryptRandomly :: ByteString -> g -> (ByteString, g)
    (bound at ECBCBCoracle.hs:32:1)
In the first argument of ‘random’, namely ‘gen’
In the expression: random gen :: (AES, g)

По некоторым причинам GHC, кажется, хочет сделать g в кортеже нового типа? Самое удивительное в этом то, что когда я использую типизированное отверстие, он предлагает мне принять g как мой тип!

Другими словами, следующий код:

ecbEncryptRandomly :: RandomGen g => ByteString -> g -> (ByteString, g)
ecbEncryptRandomly bs gen = let key :: AES
                                (key, _) = random gen
                            in  (ecbEncrypt key bs, _)

Создает следующую ошибку:

ECBCBCoracle.hs:34:53:
Found hole ‘_’ with type: g
Where: ‘g’ is a rigid type variable bound by
           the type signature for
             ecbEncryptRandomly :: RandomGen g =>
                                   ByteString -> g -> (ByteString, g)
           at ECBCBCoracle.hs:31:23
Relevant bindings include
  key :: AES (bound at ECBCBCoracle.hs:33:34)
  gen :: g (bound at ECBCBCoracle.hs:32:23)
  bs :: ByteString (bound at ECBCBCoracle.hs:32:20)
  ecbEncryptRandomly :: ByteString -> g -> (ByteString, g)
    (bound at ECBCBCoracle.hs:32:1)
In the expression: _
In the expression: (ecbEncrypt key bs, _)
In the expression:
  let
    key :: AES
    (key, _) = random gen
  in (ecbEncrypt key bs, _)

В чем дело?

Answer 1

Я думаю, что вам нужно расширение ScopedTypeVariables, чтобы g значения на самом деле одинаковы g а не отдельно.