Re[4]: [Haskell] point-free - этюды - Декларативное программирование

Здравствуйте, nikov, Вы писали:

N>А функцию, которая работает только с конечными аргументами, можно написать гораздо короче.

Вот новый вариант.

vector :: Int -> [a] -> [[a]]
vector = replicateM

*Main> vector 2 "abcd"
["aa","ab","ac","ad","ba","bb","bc","bd","ca","cb","cc","cd","da","db","dc","dd"]

Пока не работает для бесконечных списков. Но зато как укоротил

... << RSDN@Home 1.2.0 alpha 4 rev. 1218>>

Здравствуйте, Буравчик, Вы писали:

N>>1) Написать функцию clone, которая повторяет каждый символ в строке (или в списке) заданное число раз. Например clone 2 "abc" должно дать "aabbcc".
Б>

clone xs = xs >>= replicate 2

Кажется, ты забыл принимать 2 в качестве параметра.
Я бы написал эту функцию

concatMap.replicate

N>>2) Написать функцию power, которая повторяет строку (или список) заданное число раз. Например power 2 "abc" должно дать "abcabc".
Б>

power n xs = concat $ replicate n xs

Это тоже самое, что

(concat.).replicate -- передаем 2 аргумента в replicate, а у результата вызываем concat

N>>3) Написать функцию fpower :: Int -> (a -> a) -> (a -> a), которая возводит функцию в указанную степень. Например fpower 3 (*2) должно вернуть функцию эквивалентную троекратному применению (*2), то есть (*2).(*2).(*2) или (*8).
Б>

fpower n fun = (!! n) . iterate fun

Очень хорошее решение.

N>>4) Написать функцию rotateLeft, которая производит циклическую перестановку элементов списка влево на указанное число позиций. Будет ли твой код работать, если список бесконечный? А если указанное число позиций больше, чем длина списка?
Б>

rotateLeft n xs = drop n xs ++ take n xs

Список не будет периодически прокручиваться при больших n.

Здравствуйте, nikov, Вы писали:

Ну и еще одна задачка:
6) Написать функцию tally :: Eq a => [a] -> [(a, Int)], которая подсчитает количество появлений каждого элемента в списке, одновременно удаляя дубликаты.

Здравствуйте, nikov, Вы писали:

N>Здравствуйте, nikov, Вы писали:

N>Ну и еще одна задачка:
N>6) Написать функцию tally :: Eq a => [a] -> [(a, Int)], которая подсчитает количество появлений каждого элемента в списке, одновременно удаляя дубликаты.

tally = uncurry (zipWith ($)) . (map (((head &&& length).) . filter . (==)) . nub &&& repeat)

Здравствуйте, VoidEx, Вы писали:

N>>6) Написать функцию tally :: Eq a => [a] -> [(a, Int)], которая подсчитает количество появлений каждого элемента в списке, одновременно удаляя дубликаты.

VE>

VE>tally = uncurry (zipWith ($)) . (map (((head &&& length).) . filter . (==)) . nub &&& repeat)
VE>

Мой вариант:

tally [] = []
tally (x:xs) = (x, 1 + length eqs) : tally neqs
  where (eqs, neqs) = partition (==x) xs

Здравствуйте, nikov, Вы писали:

N>6) Написать функцию tally :: Eq a => [a] -> [(a, Int)], которая подсчитает количество появлений каждого элемента в списке, одновременно удаляя дубликаты.

Я не понимаю, зачем использовать pointfree где попало?
Трудно читаем, трудно исправляем...

tally :: (Eq a) => [a] -> [(a, Int)]
tally xs = [ (key, length $ filter (==key) xs) | key <- nub xs ]

или более эффективно, но нужен Ord:

import qualified Data.Map as M

counts :: (Ord k) => [a] -> [(a, Int)]
counts xs = M.toList $ M.fromListWith (+) $ zip xs (repeat 1)

... << RSDN@Home 1.2.0 alpha 4 rev. 1218>>

Здравствуйте, nikov, Вы писали:

N>Мой вариант:
N>

N>tally [] = []
N>tally (x:xs) = (x, 1 + length eqs) : tally neqs
N>  where (eqs, neqs) = partition (==x) xs
N>

Мой вариант твоего варианта:

tally = map (head &&& length) . takeWhile (not . null) . unfoldr (Just . uncurry partition . ((==).head &&& id))

Здравствуйте, Буравчик, Вы писали:

Б>

Б>import qualified Data.Map as M

Б>counts :: (Ord k) => [a] -> [(a, Int)]
Б>counts xs = M.toList $ M.fromListWith (+) $ zip xs (repeat 1)
Б>

counts = map (head &&& length) . group . sort

Здравствуйте, VoidEx, Вы писали:

VE>

VE>counts = map (head &&& length) . group . sort
VE>

Ну разве это не прекрасно?

Здравствуйте, VoidEx, Вы писали:

VE>

VE>counts = map (head &&& length) . group . sort
VE>

Согласен, так покрасивше.
Но! Памяти жрет раза в два больше и работает значительно дольше

Как-то понадобилась такая функция. Первая версия была именно такая, только без стрелок. Потом заменил на Map, стало лучше.

Теперь исправлю на такое

counts = M.toList . M.fromListWith (+) . map (id &&& const 1)

... << RSDN@Home 1.2.0 alpha 4 rev. 1218>>

Здравствуйте, Буравчик, Вы писали:

Б>Теперь исправлю на такое

counts = M.toList . M.fromListWith (+) . map (id &&& const 1)

Кстати. Из такого counts легко получаем сортировку, работающую часто быстрее, чем в стандартной библиотеке.

sort xs = concat [ replicate cnt key | (key,cnt) <- counts xs]

или (кому как нравится)

sort xs = counts xs >>= uncurry (flip replicate)

А также замена nub. В стандартной библиотеке сложность O(n^2). Здесь O(n log n).

nub xs = map fst $ counts xs

или

nub = map fst . counts

Но еще быстрее будет через Set:

nub xs = S.toList $ S.fromList xs

или так

nub = S.toList . S.fromList

Интересно, почему не использовали такие реализации.

... << RSDN@Home 1.2.0 alpha 4 rev. 1218>>

Здравствуйте, Буравчик, Вы писали:

Б>Пока не работает для бесконечных списков. Но зато как укоротил

Не очень элегантно, но короче не получилось. Работает и с бесконечными списками.

vector = (f.).replicate
  where
    f ((x:xs):xss) = map (x:) (f xss) `interleave` f (xs:xss)
    f [] = [[]]
    f _ = []

    interleave [] = id
    interleave (x:xs) = (x:).flip interleave xs

Здравствуйте, deniok, Вы писали:

D>Это похоже на рождение нового стиля, nikov-style

Я вот подумал — нельзя ли припахать какой-нибудь изящные рукодельные инфиксные комбинаторы, чтобы вместо лямбды (\x y z -> f x g y h z) навалять (f `_x` g `_y` h `_z`)?

... << RSDN@Home 1.2.0 alpha 4 rev. 1237>>

Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, deniok, Вы писали:

D>>Это похоже на рождение нового стиля, nikov-style

К>Я вот подумал — нельзя ли припахать какой-нибудь изящные рукодельные инфиксные комбинаторы, чтобы вместо лямбды (\x y z -> f x g y h z) навалять (f `_x` g `_y` h `_z`)?

Боюсь сильно универсально не получится, из-за строгости типизации, но попробовать можно.

Здравствуйте, deniok, Вы писали:

К>>Я вот подумал — нельзя ли припахать какой-нибудь изящные рукодельные инфиксные комбинаторы
D>Боюсь сильно универсально не получится, из-за строгости типизации, но попробовать можно.

Нужно только подумать о базисе. Возможно, там будут нумерованные аналоги обоих комбинаторов — $ и . — что-нибудь типа %$, %$$, %$$$, %., %.., %...

Здравствуйте, Кодт, Вы писали:

К>Нужно только подумать о базисе. Возможно, там будут нумерованные аналоги обоих комбинаторов — $ и . — что-нибудь типа %$, %$$, %$$$, %., %.., %...

Второе рождение перла?

Здравствуйте, lomeo, Вы писали:

К>>Нужно только подумать о базисе. Возможно, там будут нумерованные аналоги обоих комбинаторов — $ и . — что-нибудь типа %$, %$$, %$$$, %., %.., %...

L>Второе рождение перла?

Типа того

... << RSDN@Home 1.2.0 alpha 4 rev. 1237>>

Здравствуйте, nikov, Вы писали:

N>Ну тогда еще тренировочные задачки

Спасибо, неплохо голову поломал.
N>1) Написать функцию clone, которая повторяет каждый символ в строке (или в списке) заданное число раз. Например clone 2 "abc" должно дать "aabbcc".
Нужно получить clone :: Int->[Char]->[Char]
Есть replicate :: Int->a->[a]. Допустим, что есть такая f что f.replicate = clone . Тогда f :: (a->[a])->[a]->[a] — так это же concatMap (тут нам поможет hoogle). Получаем ответ:

clone = concatMap . replicate

N>2) Написать функцию power, которая повторяет строку (или список) заданное число раз. Например power 2 "abc" должно дать "abcabc".
Тут хочется скомбинировать уже зарекомендовавшего себя replicate и concat. Опять нужно получить f :: (String->[String])->String->String, или ([Char]->[Char]])->[Char]->[Char]. Это уже можно переписать как ([a]->[a]])->([a]->[a]). То есть нужно сконструировать функцию, которая принимает функцию вида [a]->[a]] и выдает функицю вида [a]->[a] использую concat для катенации полученного массива. Тут можно догадаться что такая функция — это (concat .) В итоге получаем:

power = ((concat.) . replicate)

N>3) Написать функцию fpower :: Int -> (a -> a) -> (a -> a), которая возводит функцию в указанную степень. Например fpower 3 (*2) должно вернуть функцию эквивалентную троекратному применению (*2), то есть (*2).(*2).(*2) или (*8).
Можно заметить, что эта задача похожа на предыдущую. Запишем сигнатуру так: fpower :: Int -> f ->f, причем заметим, что у нас есть операция concatf :: [f] -> f (композиция функций, concatf = foldr1 (.)) В этом случае нужно просто заменить concat из предыдущей задачи на наш concatf, и получим:

fpower = ((foldr1 (.)).) . replicate

PS Последний пример явно показывает, что писать код проще чем его читать. Написать это я смог, а вот прочитать — думаю что не смог бы.

Здравствуйте, nikov, Вы писали:

N>1) Написать функцию clone, которая повторяет каждый символ в строке (или в списке) заданное число раз. Например clone 2 "abc" должно дать "aabbcc".

clone = (id >=>) . replicate

N>2) Написать функцию power, которая повторяет строку (или список) заданное число раз. Например power 2 "abc" должно дать "abcabc".

power = (join.) . replicate

fpower = (foldl (.) id.) . replicate

N>4) Написать функцию rotateLeft, которая производит циклическую перестановку элементов списка влево на указанное число позиций. Будет ли твой код работать, если список бесконечный? А если указанное число позиций больше, чем длина списка?
N>Попробуй написать в point-free style c использованием существующих комбинаторов.

rotateLeft = foldl (.) id . flip replicate (uncurry (++) . (tail &&& return . head))

Здравствуйте, nikov, Вы писали:

N>Здравствуйте, nikov, Вы писали:

5) Написать функцию vector :: Int -> [a] -> [ [a] ], чтобы vector n xs давало всевозможные списки длиной n, у которых каждый элемент независимо пробегает значения из списка xs (вариант посложнее: функция vector должна работать, даже если xs — бесконечный список).

vector = (sequence .) . replicate

N>Ну и еще одна задачка:
N>6) Написать функцию tally :: Eq a => [a] -> [(a, Int)], которая подсчитает количество появлений каждого элемента в списке, одновременно удаляя дубликаты.

tally :: Eq a => [a] -> [(Int, a)]
tally = uncurry ($) . (last . (uncurry ((. tally) . (:)) . ((length &&& head) *** id) . (uncurry span) . ((==) . head &&& id) :) . (uncurry takeWhile) . (const . null &&& const [const []]) &&& id)

	От:	Буравчик
	Дата:	18.10.09 09:59
	Оценка:	1 (1)

От:	nikov	http://www.linkedin.com/in/nikov
Дата:	18.10.09 14:25
Оценка:

От:	nikov	http://www.linkedin.com/in/nikov
Дата:	18.10.09 14:38
Оценка:

	От:	VoidEx
	Дата:	18.10.09 16:13
	Оценка:

От:	nikov	http://www.linkedin.com/in/nikov
Дата:	18.10.09 16:59
Оценка:

От:	Oksana Gimmel	http://oksana-gimmel.blogspot.com/
Дата:	21.10.09 14:30
Оценка:

От:	lomeo	http://lomeo.livejournal.com/
Дата:	23.10.09 10:07
Оценка:

	От:	Кодт
	Дата:	22.10.09 11:00
	Оценка:

	От:	deniok
	Дата:	22.10.09 18:40
	Оценка:

	От:	Кодт
	Дата:	22.10.09 20:42
	Оценка:

	От:	ettcat
	Дата:	25.10.09 08:32
	Оценка: