Это, вероятно, невозможно, так как я уже проверил список всех расширений GHC, и этого там нет, но я подумал, что на всякий случай спрошу.
Есть ли способ сделать так, чтобы 2 имел тип Int (или Integer), а не обычный Num a => a?
(Причина, по которой мне нравится такое поведение, заключается в том, что оно делает сообщения об ошибках более четкими и делает более вероятным вывод типа (особенно с классами типов). безопасное" поведение будет менее явным)
Существует (немного оскорбительный и неудобный) способ сделать это с помощью расширений GHC.
{-# LANGUAGE RebindableSyntax #-}
import qualified Prelude as P
import Prelude hiding (Num(..))
fromInteger :: Integer -> Integer
fromInteger = id
В GHCi:
> :set -XRebindableSyntax
> :t 2
2 :: Integer
С включенным расширением RebindindableSyntax GHC будет использовать любое fromInteger для обработки числовых литералов. Единственным ограничением является то, что он должен принимать аргумент типа Integer (на самом деле, даже это не требуется, но если это не так, вы получите ошибку типа из числовых литералов).
Обратите внимание, что, поскольку стандартный fromInteger является частью класса Num, вам может потребоваться кое-что изменить, чтобы все заработало правильно.
fromInteger: import Prelude hiding (Num(fromInteger))
- person luqui; 25.07.2011
Num.
- person C. A. McCann; 25.07.2011
Num полностью, может быть, это и не нужно.
- person C. A. McCann; 25.07.2011
Num также имеет то преимущество, что позволяет вам определять арифметические операторы независимо, вместо того, чтобы привязываться к плохому дизайну Num.
- person C. A. McCann; 25.07.2011
Я думаю, что я должен добавить «по умолчанию ()» к этим ответам, хотя я думаю, что gatoatigrado упомянул об этом мимоходом. В стандарте Haskell 98 есть раздел 4.3.4, в котором в конечном итоге описывается, как изменить некоторые значения по умолчанию Num a => a. Неявный порядок невыполнения обязательств задается
default (Integer, Double)
и может быть изменен, например. поставив
default (Int)
or
default ()
в исходном файле.
f = undefined :: DesiredTypeи соответствующим образом очистив их. - person gatoatigrado schedule 25.07.2011