Chapter03

Contents

Description

Synopsis

Exercise 3.1

(a) (False || (True && False)) || True

:: Bool

(b) ((2 3) 4) == ((4 3) 2)

:: Bool

(c) ((7 - (5 / 4)) > 6) || (((2 ^ 5) - 1) == 31)

:: Bool

(d) 2 < 3 < 4

Not well formed: cannot operate on Bool with comparison operators.

(e) (2 < 3) || (3 < 4)

:: Bool

(f) 2 && 3 < 4

Not well formed: cannot operate on numeric types with logical && operator.

Exercise 3.2

f(x) = { 0, x ≤ 0; x, x > 0}

E(r) = { r, r ≤ 1; 1/r², r > 1}

Returns True if the input character is 'X' or 'Y' or else False.

>>> isXorY 'X'
True
>>> isXorY 'Y'
True
>>> isXorY 'Z'
False

Returns 100 if the person is checking bags and 0 if not. Implemented with if-then-else.

Returns 100 if the person is checking bags and 0 if not. Implemented with pattern matching on the input.

Returns True if the given integer is greater than 50 or else False

Double the score without going over 100

>>> :type bagFee False
bagFee False :: Int

>>> bagFee False
0

circleRadius = 3.5

cot x = 1 / tan x

fe epsilon = epsilon * tan (epsilon * pi / 2)

fo epsilon = -epsilon * cot (epsilon * pi / 2)

g nu epsilon = sqrt (nu ** 2 - epsilon ** 2)

How many functions with type Bool -> Bool are there?

There are 4 Bool -> Bool functions.

What would be good names for them?

alwaysFalse, alwaysTrue, identity, and not

How many functions have type Bool -> Bool -> Bool?

There are 16 Bool -> Bool -> Bool functions.

True || False && False