в [1..]
я могу как-то явно задать, что хочу использовать long?
Да. [1..] :: [Int]
> :type [1..] [1..] :: forall {a}. (Num a, Enum a) => [a] как бы говорит нам, что здесь может быть любой числовой тип. однако в GHCi есть ExtendedDefaultRules, которые говорят, какой именно тип следует выбрать из "любых", чтобы показать пользователю хоть что-то. и они говорят: > :type +d [1..] [1..] :: [Integer]
а +d - это.. ?
:type <expr> show the type of <expr> :type +d <expr> show the type of <expr>, defaulting type variables
Если набрать :help, то будет дано такое описане: show the type of <expr>, defaulting type variables То есть буквально команда показывает тип с учётом выбора по умолчанию.
вы хотели спросить «это что?»?
Обсуждают сегодня