If I have f :: Num a => a
this means that I can use f
wherever I need any numeric type. So, all of f :: Int
, f :: Double
must type check.
In your case, we can't have 1.0 :: Int
for the same reason we can'tâĤ
If I have f :: Num a => a
this means that I can use f
wherever I need any numeric type. So, all of f :: Int
, f :: Double
must type check.
In your case, we can't have 1.0 :: Int
for the same reason we can'tâĤ
For further actions, you may consider blocking this person and/or reporting abuse
The Giving Tree -
Hari Sapna Nair -
babita kumari -
Mike Tyson of the Cloud -
Top comments (0)