Рассмотрим следующий фрагмент кода:
blah :: a -> b -> a
blah x y = ble x where
ble :: b -> b
ble x = x
Это компилируется под GHC, что по существу означает, что b из третьей строки отличается от b от первой строки.
Мой вопрос прост: существует ли способ как-то связать объявление типа ble с типом, используемым во внешнем контексте, то есть объявлением типа blah?
Очевидно, что это всего лишь пример, а не реальный случай использования для деклараций типов.
Это возможно с помощью расширения ScopedTypeVariables. Вам нужно использовать явный forall для переноса переменных типа в область.
blah :: forall a b. a -> b -> a
blah x y = ble x where
ble :: b -> b
ble x = x
Попытка загрузить это определение с включенным ScopedTypeVariables дает:
foo.hs:2:16:
Couldn't match type `a' with `b'
`a' is a rigid type variable bound by
the type signature for blah :: a -> b -> a at foo.hs:2:1
`b' is a rigid type variable bound by
the type signature for blah :: a -> b -> a at foo.hs:2:1
In the first argument of `ble', namely `x'
In the expression: ble x
In an equation for `blah':
blah x y
= ble x
where
ble :: b -> b
ble x = x
Вы можете сказать, что GHC интерпретирует два b как один и тот же тип, потому что ошибка говорит о том, что a и b связаны в одной строке.
Если вы не хотите использовать ScopedTypeVariables, вы можете использовать функцию хорошего ole fashion asTypeOf.
-- defined in Prelude
asTypeOf :: a -> a -> a
x `asTypeOf` y = x
blah :: a -> b -> a
blah x y = ble x where
ble x = x `asTypeOf` y
Конечно, это не будет компилироваться из-за ошибки типа.
Я хотел бы указать, что иногда вам может быть немного хитроумно делать то, что вы хотите, с помощью asTypeOf. Возьмем следующий пример, который суперплотно использует asTypeOf, потому что я не хочу думать о случае, который действительно нуждается в asTypeOf. Аналогичные решения будут работать одинаково для случаев реального мира.
foo :: Bounded a => Maybe a -> a
foo m = x
where
x = maxBound -- Q: how do I make (x :: a) when given (Maybe a)?
_ = Just x `asTypeof` m -- A: witchcraft!