V = 1 :: Double f :: Num a => a

Question

-> a
f x = x
Правильно ли понял, что в f v, не v обобщается до Num, а f специализируется до Double a => a -> a?

0

25.12.2018

15 просмотров

Double -> Double там получается

0

25.12.2018

вы какими-нибудь языками с "дженериками" пользовались? (спрашиваю, чтоб понять с чего объяснять)

0

25.12.2018

A64m AL256m qn<cores> I0 · Accepted Answer

не бывает Double a =>

0

25.12.2018