Haskell: ограничения по умолчанию для ввода

Рассмотрим этот пример:

applyKTimes :: Integral i => i -> (a -> a) -> a -> a
applyKTimes 0 _ x = x
applyKTimes k f x = applyKTimes (k-1) f (f x)

applyThrice :: (a -> a) -> a -> a
applyThrice = applyKTimes 3

3 в applyThrice по умолчанию GHC использует Integer, как показано при компиляции с -Wall:

Warning: Defaulting the following constraint(s) to type 'Integer'
         'Integral t'
           arising from a use of 'applyKTimes'

Так что я думаю, что Integer по умолчанию Integral a => a.

  • Есть ли способ определить «типы по умолчанию» и для других ограничений?
  • Является ли использование типов по умолчанию плохой практикой? (он жалуется при использовании -Wall..)

typeclass haskell
person yairchu    schedule 18.05.2010    source источник

Ответы (1)


arrow_upward
14
arrow_downward

Да, можно, хотя это не так просто, как добавление значения по умолчанию. для класса типов, и он работает только для Num и его подклассов в Prelude и стандартных библиотеках. Синтаксис default (t1, ..., tn), и для каждого модуля можно использовать только одно такое объявление.

Добавление default (Int), например, изменит значение по умолчанию для Integral в вашем коде на Int.

Значение по умолчанию (Integer, Double) — это не просто политика GHC: оно взято из отчета Haskell 98. (GHCi имеет расширенные правила по умолчанию, однако.)

Вот обсуждение некоторых проблем текущей системы.

person Travis Brown    schedule 19.05.2010