О выводе типов

@9Символов · Регистрация: 25.03.2012

Author24 — интернет-сервис помощи студентам

Вот интересно, а почему GHC в первом случае vAbs1 вывел тип обобщённо, а во втором случае vAbs2 частно.

Вот код, о котором я говорю:

Haskell

1 2	vAbs1 a = (sqrt . sum . map (^2)) a vAbs2 = sqrt . sum . map (^2)

И в интерпретаторе:

*Main> :t vAbs1
vAbs1 :: Floating c => [c] -> c
*Main> :t vAbs2
vAbs2 :: [Double] -> Double

Нет, конечно-же можно и тип указать и переменные, но это такой кайфолом...
Быть может есть какая-то опция, которая заставит его вывести тип более обобщённо, или это как с обычными типами данных: определил, и конкретный (частный) тип сразу выведен?

Не по теме:

Функция возвращает модуль вектора, реализованного через список, если это интересно.

@calabi-yau · 14.10.2012, 20:52

Сообщение от 9Символов

Вот интересно, а почему GHC в первом случае vAbs1 вывел тип обобщённо, а во втором случае vAbs2 частно.

monomorphism restriction, если не ошибаюсь.

Нет, конечно-же можно и тип указать и переменные, но это такой кайфолом...
Быть может есть какая-то опция, которая заставит его вывести тип более обобщённо, или это как с обычными типами данных: определил, и конкретный (частный) тип сразу выведен?

Не по теме:

Функция возвращает модуль вектора, реализованного через список, если это интересно.

юзать флаг NoMonomorphismRestriction:

Haskell

Prelude> let f x = x + 1
Prelude> let g = (+ 1)
Prelude> :t f
f :: Num a => a -> a
Prelude> :t g
g :: Integer -> Integer
Prelude>
Prelude> :set -XNoMonomorphismRestriction
Prelude>
Prelude> let f x = x + 1
Prelude> let g = (+ 1)
Prelude> :t f
f :: Num a => a -> a
Prelude> :t g
g :: Num a => a -> a

@9Символов · 15.10.2012, 08:46 **[ТС]**

Спасибо, а есть ли возможность указать этот флаг в файлике исходного кода? Чтоб при его загрузке прям сразу устанавливалось это.

Добавлено через 46 минут
Есть такой способ!

В начале файла исп.

Haskell

1	{-# OPTIONS_GHC -XNoMonomorphismRestriction #-}

@Nameless One · 15.10.2012, 11:01

Прагма {-# LANGUAGE NoMonomorphismRestriction #-} как-то правильней

@9Символов · 15.10.2012, 13:23 **[ТС]**

А есть ли разница, кроме того, что "моя" для GHCi?

@Nameless One · 15.10.2012, 13:29

9Символов, прагма LANGUAGE предназначена именно для указания расширений языка, в то время как OPTIONS_GHC — для установки произвольной опции (а это может быть не только опция вида -Xextension) для компилятора GHC, что менее портабельно. Можно подробней почитать здесь

@Nameless One 5828 / 3479 / 358 Регистрация: 08.02.2010 Сообщений: 7,448
	15.10.2012, 11:01	4
	Прагма {-# LANGUAGE NoMonomorphismRestriction #-} как-то правильней 0

@9Символов 7 / 7 / 0 Регистрация: 25.03.2012 Сообщений: 72
	15.10.2012, 13:23 [ТС]	5
	А есть ли разница, кроме того, что "моя" для GHCi? 0

@Nameless One 5828 / 3479 / 358 Регистрация: 08.02.2010 Сообщений: 7,448
	15.10.2012, 13:29	6
	9Символов, прагма LANGUAGE предназначена именно для указания расширений языка, в то время как OPTIONS_GHC — для установки произвольной опции (а это может быть не только опция вида -Xextension) для компилятора GHC, что менее портабельно. Можно подробней почитать здесь 1

О выводе типов

Решение