МС>>Да, спасибо, это оно самое. МС>>Попытался расписать типизацию на бумажке — чуть мозг не свернул
L>На самом деле ничего страшного здесь нет. Просто никогда так не пиши
А по-моему всё предельно понятно. Почему бы так не написать? Мне тоже сразу придумался именно этот код.
Здравствуйте, Мишень-сан, Вы писали:
МС>Ну для меня этот код пока что слабочитабелен. Haskell я начал изучать несколько дней назад.
Ну тогда еще тренировочные задачки
1) Написать функцию clone, которая повторяет каждый символ в строке (или в списке) заданное число раз. Например clone 2 "abc" должно дать "aabbcc".
2) Написать функцию power, которая повторяет строку (или список) заданное число раз. Например power 2 "abc" должно дать "abcabc".
3) Написать функцию fpower :: Int -> (a -> a) -> (a -> a), которая возводит функцию в указанную степень. Например fpower 3 (*2) должно вернуть функцию эквивалентную троекратному применению (*2), то есть (*2).(*2).(*2) или (*8).
4) Написать функцию rotateLeft, которая производит циклическую перестановку элементов списка влево на указанное число позиций. Будет ли твой код работать, если список бесконечный? А если указанное число позиций больше, чем длина списка?
Попробуй написать в point-free style c использованием существующих комбинаторов.
Здравствуйте, nikov, Вы писали:
N>Ну тогда еще тренировочные задачки N>3) Написать функцию fpower :: Int -> (a -> a) -> (a -> a), которая возводит функцию в указанную степень. Например fpower 3 (*2) должно вернуть функцию эквивалентную троекратному применению (*2), то есть (*2).(*2).(*2) или (*8).
Спасибо, nikov! Отлично голову поломал
Можно ли короче и более читабельно на F#?
Здравствуйте, nikov, Вы писали:
N>А по-моему всё предельно понятно. Почему бы так не написать? Мне тоже сразу придумался именно этот код.
Для тебя. Мне сложнее, смотри.
(map . (,))
Функция двух аргументов — композиция — функция двух аргументов. Да, понятно, т.к. использовал очень часто. Но не предельно, т.е. не интуитивно.
Поэтому стараюсь писать map (\x -> (i,x)), а так как количество вложенности лямбд превышает один уровень, то именую и выношу в where. Конечная запись кажется гораздо понятнее
go i = map $ (,) i
Всё это, разумеется, IMHO. Вот ещё одно IMHO: (,) мне кажется безобразным в этом случае. Когда появится сечение (i,) будет намного симпатичнее. А пока я пишу так:
Здравствуйте, Пельмешко, Вы писали:
П>Здравствуйте, nikov, Вы писали:
N>>Ну тогда еще тренировочные задачки N>>3) Написать функцию fpower :: Int -> (a -> a) -> (a -> a), которая возводит функцию в указанную степень. Например fpower 3 (*2) должно вернуть функцию эквивалентную троекратному применению (*2), то есть (*2).(*2).(*2) или (*8).
П>Спасибо, nikov! Отлично голову поломал П>Можно ли короче и более читабельно на F#? П>
Здравствуйте, deniok, Вы писали:
D>Активное использование point-free плюс конструкции D>
D>-- для f :: a -> b
D>(f .) :: (c -> a) -> c -> b
D>(. f) :: (b -> c) -> a -> c
D>
Для меня эти конструкции имеют довольно ясный интуитивный смысл:
(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g
(f.).g это добавление преобразования f над результатом функции g с двумя аргументами
Здравствуйте, nikov, Вы писали:
N>(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g N>(f.).g это добавление преобразования f над результатом функции g с двумя аргументами
Узнаю азбуку Морзе!
Я бы в этом случае, скорее, воспользовался стрелками.
Просто я однажды объяснил себе, что такое (f.).g.
Если бы тип a -> a был моноидом, то возведение в степень было бы тривиально: размножить нужное число раз и выполнить mconcat. Но т.к. replicate принимает два аргумента, то это не просто mconcat.replicate, а (mconcat.).replicate. Но на самом деле функцию еще надо завернуть в Endo, а результат развернуть. Отсюда (appEndo.).(mconcat.).(.Endo).replicate
Здравствуйте, nikov, Вы писали:
N>(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g N>(f.).g это добавление преобразования f над результатом функции g с двумя аргументами
Кстати, отсюда следует интересный вывод, что (f.) и (.h) коммутируют, то есть (f.).(.h) = (.h).(f.)
Здравствуйте, nikov, Вы писали:
N>Для меня эти конструкции имеют довольно ясный интуитивный смысл:
N>(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g N>(f.).g это добавление преобразования f над результатом функции g с двумя аргументами
Вчера голову всю изломал чтобы сформулировать этот смысл, а всё так просто...
Эх, в ocaml страшнее выглядит:
Здравствуйте, nikov, Вы писали:
N>Ну тогда еще тренировочные задачки
Вот еще интересная задачка:
5) Написать функцию vector :: Int -> [a] -> [ [a] ], чтобы vector n xs давало всевозможные списки длиной n, у которых каждый элемент независимо пробегает значения из списка xs (вариант посложнее: функция vector должна работать, даже если xs — бесконечный список).
Здравствуйте, nikov, Вы писали:
N>чтобы vector n xs давало всевозможные списки длиной n, у которых каждый элемент независимо пробегает значения из списка xs
Другими словами, получить все строки длиной n в алфавите xs. Наверное, было бы лучше назвать функцию strings.
Здравствуйте, nikov, Вы писали:
N>Здравствуйте, nikov, Вы писали:
N>>(.f).g это добавление преобразования f над вторым аргументом перед передачей его в функцию g N>>(f.).g это добавление преобразования f над результатом функции g с двумя аргументами
N>Кстати, отсюда следует интересный вывод, что (f.) и (.h) коммутируют, то есть (f.).(.h) = (.h).(f.)
И оба сводятся к тройной композиции с дыркой посередине \ g -> f . g . h
f (g (h x)) = (f . (g . h)) x = ((f .) ((. h) g)) x = ((f .) . (. h)) g x
f (g (h x)) = ((f . g) . h) x = ((. h) ((f .) g)) x = ((. h) . (f .)) g x
Для меня этот код тоже малочитаемый Поэтому решил задачки по-своему. Покритикуйте...
N>1) Написать функцию clone, которая повторяет каждый символ в строке (или в списке) заданное число раз. Например clone 2 "abc" должно дать "aabbcc".
clone xs = xs >>= replicate 2
N>2) Написать функцию power, которая повторяет строку (или список) заданное число раз. Например power 2 "abc" должно дать "abcabc".
power n xs = concat $ replicate n xs
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, которая производит циклическую перестановку элементов списка влево на указанное число позиций. Будет ли твой код работать, если список бесконечный? А если указанное число позиций больше, чем длина списка?
Здравствуйте, nikov, Вы писали:
N>5) Написать функцию vector :: Int -> [a] -> [ [a] ], чтобы vector n xs давало всевозможные списки длиной n, у которых каждый элемент независимо пробегает значения из списка xs (вариант посложнее: функция vector должна работать, даже если xs — бесконечный список).