۴ - ۹تمرین‌های فصل

با توجه به تعریف بالا برای length، تایپ سیگنچرِش چی میشه؟ چندتا آرگومان (و با چه تایپی) می‌گیره؟ جواب نهاییِ این تابع از چه تایپی میشه؟

جواب بیانیه‌های زیر چی میشن؟

length [1, 2, 3, 4, 5]

length [(1, 2), (2, 3), (3, 4)]

length allAwesome

length (concat allAwesome)

یکی از این دو بیانیه‌ی زیر کار می‌کنه، ولی اون یکی خطا میده. با توجه به تایپ تابع length و اطلاعاتی که از تایپ‌های عددی داریم، بگین کدوم یکی و به چه دلیلی خطا میده.

(نکته: مثل تابع concat در فصل قبل، اینجا هم برای length تایپ Foldable t => t a رو – بجای [a] – می‌بینین. در واقع لیست فقط یکی از تایپ‌های ممکنه، ولی باز Foldable t رو لیست فرض کنید.)

Prelude> 6 / 3
-- و
Prelude> 6 / length [1, 2, 3]

چطور می‌تونین با استفاده از یه تابع/اوپراتورِ تقسیمِ دیگه، کد خرابِ بالا رو درست کنین؟

تایپ بیانیه‌ی 5 == 3 + 2 چیه؟ فکر می‌کنین جوابش چیه؟

تایپ و جواب کد زیر چیه؟

Prelude> let x = 5
Prelude> x + 3 == 5

بین کدهای زیر، کدوم‌ها کار می‌کنن؟ چرا کار می‌کنن/نمی‌کنن؟ اگه جواب دارن، به چه مقداری ساده میشن؟

Prelude> length allAwesome == 2
Prelude> length [1, 'a', 3, 'b']
Prelude> (8 == 8) && ('b' < 'a')
Prelude> (8 == 8) && 9

یک تابع بنویسین که بگه آیا string (یا لیست) ورودی واروخوانه هست یا نه. تابعِ از پیش تعریف شده‌ی reverse (م. به معنای معکوس) رو لازم دارین:

reverse :: [a] -> [a]
reverse "blah"
"halb"

isPalindrome :: (Eq a) => [a] -> Bool
isPalindrome x = undefined

با استفاده از if-then-else تابعی بنویسین که قدر مطلق یه عدد رو برگردونه.

myAbs :: Integer -> Integer
myAbs = undefined

با توابع fst و snd، توصیف تابع زیر رو بنویسین:

f :: (a, b) -> (c, d) -> ((b, d), (a, c))
f = undefined

اینجا تابعی می‌خوایم که یکی به طولِ آرگومان string ِش اضافه کنه، و نتیجه رو برگردونه.

x = (+)

F xs = w 'x' 1
     where w = length xs

این قراره تابع همانی،وid، باشه.

\X = x

نسخه‌ی سالمِ این تابع، با ورودیِ (1,2)، مقدار ۱ رو برمی‌گردونه.

f (a b) = A

کدوم یکی تایپِ show ِه؟

show a => a -> String

Show a -> a -> String

Show a => a -> String

کدوم یکی تایپِ (==) ِه؟

a -> a -> Bool

Eq a => a -> a -> Bool

Eq a -> a -> a -> Bool

Eq a => A -> Bool

کدوم یکی تایپِ fst ِه؟

(a, b) -> a

b -> a

(a, b) -> b

کدوم یکی تایپِ (+) ِه؟

(+) :: Num a -> a -> a -> Bool

(+) :: Num a => a -> a -> Bool

(+) :: num a => a -> a -> a

(+) :: Num a => a -> a -> a

(+) :: a -> a -> a