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
Bruno Souza -
Muhammad Bilal Azam -
Triết Giang -
Dmitry Romanoff -
Top comments (0)