[Haskell-beginners] A question regarding the syntax behind the parenthesis and type class.
David McBride
toad3k at gmail.com
Wed Apr 4 14:20:40 UTC 2018
Because you are not showing x or pi, you are showing (pi * x * x). And the
type of the (*) operator is (*) :: Num a => a -> a -> a. So if pi is
Floating => a, then x must also be the same type as pi, and thus must be
have the same Floating constraint.
Keep in mind that Floating is a Fractional, and Fractional is a Num, so you
know that if you have a Floating it is already an instance of Num, so you
don't have to worry about that constraint.
On Wed, Apr 4, 2018 at 10:08 AM, 清羽 <1625143974 at qq.com> wrote:
> this is the original question:
>
> 1.
>
> Write a function showAreaOfCircle which, given the radius of a circle,
> calculates the area of the circle,
>
> showAreaOfCircle 12.3 ⇒ "The area of a circle with radius 12.3cm is
> about 475.2915525615999 cm^2"
>
> Use the show function, as well as the predefined value pi :: Floating
> a => a to write showAreaOfCircle.
>
> the type signature works for this function is: showAreaOfCircle :: (Show
> a, Floating a) => a -> a -> String
>
> my question is : I don't quite understand the syntax behind the
> parenthesis and the type class Floating a. Since pi is not a function, and
> hence the entire function only takes one argument which belongs to the type
> class Show, why should i put a Floating a in the type signature in the
> first place?(i come up with this type signature because of the error
> message and the suggestion stated above) Thanks
>
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20180404/643206b5/attachment.html>
More information about the Beginners
mailing list