Difference between revisions of "99 questions/Solutions/4"
< 99 questions | Solutions
Jump to navigation
Jump to search
(Their was a section for the length function in the prelude but it was missing so I took the function form the 2010 report and link to it.) |
m (Use headlines.) |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
(*) Find the number of elements of a list. |
(*) Find the number of elements of a list. |
||
+ | == The simple, recursive solution == |
||
⚫ | |||
<haskell> |
<haskell> |
||
myLength :: [a] -> Int |
myLength :: [a] -> Int |
||
myLength [] = 0 |
myLength [] = 0 |
||
myLength (_:xs) = 1 + myLength xs |
myLength (_:xs) = 1 + myLength xs |
||
⚫ | |||
⚫ | |||
+ | == Same, but using an "accumulator" == |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
where |
where |
||
myLength_acc [] n = n |
myLength_acc [] n = n |
||
Line 13: | Line 19: | ||
</haskell> |
</haskell> |
||
+ | == Using foldl/foldr == |
||
<haskell> |
<haskell> |
||
− | myLength |
+ | myLength :: [a] -> Int |
− | + | myLength1 = foldl (\n _ -> n + 1) 0 |
|
− | + | myLength2 = foldr (\_ n -> n + 1) 0 |
|
− | + | myLength3 = foldr (\_ -> (+1)) 0 |
|
− | + | myLength4 = foldr ((+) . (const 1)) 0 |
|
⚫ | |||
+ | myLength6 = foldl (const . (+1)) 0 |
||
</haskell> |
</haskell> |
||
+ | == Zipping with an infinite list == |
||
+ | We can also create an infinite list starting from 1. |
||
+ | Then we "zip" the two lists together and take the last element (which is a pair) from the result: |
||
<haskell> |
<haskell> |
||
− | myLength |
+ | myLength :: [a] -> Int |
− | + | myLength1 xs = snd $ last $ zip xs [1..] -- Just for fun |
|
− | + | myLength2 = snd . last . (flip zip [1..]) -- Because point-free is also fun |
|
+ | myLength3 = fst . last . zip [1..] -- same, but easier |
||
</haskell> |
</haskell> |
||
+ | == Mapping all elements to "1" == |
||
+ | We can also change each element into our list into a "1" and then add them all together. |
||
<haskell> |
<haskell> |
||
⚫ | |||
myLength = sum . map (\_->1) |
myLength = sum . map (\_->1) |
||
</haskell> |
</haskell> |
||
⚫ | |||
+ | [[Category:Programming exercise spoilers]] |
||
− | -- length returns the length of a finite list as an Int. |
||
⚫ | |||
− | length [] = 0 |
||
− | length (_:l) = 1 + length l |
||
− | |||
⚫ | |||
− | |||
− | A fancier one! :-) |
||
⚫ | |||
⚫ | |||
⚫ |
Latest revision as of 13:21, 15 May 2014
(*) Find the number of elements of a list.
The simple, recursive solution
This is similar to the length
from Prelude
:
myLength :: [a] -> Int
myLength [] = 0
myLength (_:xs) = 1 + myLength xs
The prelude for haskell 2010 can be found here.
Same, but using an "accumulator"
myLength :: [a] -> Int
myLength list = myLength_acc list 0
where
myLength_acc [] n = n
myLength_acc (_:xs) n = myLength_acc xs (n + 1)
Using foldl/foldr
myLength :: [a] -> Int
myLength1 = foldl (\n _ -> n + 1) 0
myLength2 = foldr (\_ n -> n + 1) 0
myLength3 = foldr (\_ -> (+1)) 0
myLength4 = foldr ((+) . (const 1)) 0
myLength5 = foldr (const (+1)) 0
myLength6 = foldl (const . (+1)) 0
Zipping with an infinite list
We can also create an infinite list starting from 1. Then we "zip" the two lists together and take the last element (which is a pair) from the result:
myLength :: [a] -> Int
myLength1 xs = snd $ last $ zip xs [1..] -- Just for fun
myLength2 = snd . last . (flip zip [1..]) -- Because point-free is also fun
myLength3 = fst . last . zip [1..] -- same, but easier
Mapping all elements to "1"
We can also change each element into our list into a "1" and then add them all together.
myLength :: [a] -> Int
myLength = sum . map (\_->1)