Крутим список кратко и бесточечно

[deniok]

Циклическую ротацию списка влево

> rotate 3 [1..10]
[4,5,6,7,8,9,10,1,2,3]

легко определить, используя take и drop:

> let rotate n xs = drop n xs ++ take n xs

Если напустить на это дело pointfree, он даст безумное:

rotate = ap (ap . ((++) .) . drop) take

Можете ли вы написать полностью бесточечную реализацию rotate, сцепив take и drop ровно одной стандартной библиотечной функцией?

Comments

[voidex.livejournal.com]

rotate = (uncurry (flip (++)) .) . splitAt

[deni-ok.livejournal.com]

Это симпатично, но тут пять библиотечных функций, а (.) еще и использована 2 раза. А можно уложиться в три.

[helvegr.livejournal.com]

drop `mappend` take

[deni-ok.livejournal.com]

Ага. Классный инстанс моноида, еще и примененный сам к себе.

[vshabanov.livejournal.com]

Прикольно, век живи -- век учись.

[lomeo.livejournal.com]

Охренеть!

[sassa-nf.livejournal.com]

Вообще-то, если бы у нас был встроенный instance (Applicative f, Applicative g) => Applicative (Compose f g), то было бы достаточно кратко: liftA2 (++) drop take

[deni-ok.livejournal.com]

Это все равно 4 библиотечных функции. А без встроенных и того больше:

getCompose (liftA2 (++) (Compose drop) (Compose take))

[sassa-nf.livejournal.com]

в смысле? если бы была встроенная type-level композиция (как в Агде), то было бы на всего одну функцию больше. Вместо mappend было бы liftA2 (++).

[deni-ok.livejournal.com]

Да, все так, я и не возражаю, просто занимаюсь начетничеством.

[lomeo.livejournal.com]

rotate = liftM2 (liftM2 (++)) drop take
ну или liftA2

[rumataestor.livejournal.com]

А что такого хорошего в point-free, чтобы изымать из кода документирующие смысл идентификаторы параметров?

[deni-ok.livejournal.com]

Мы можем смотреть на вычисления с разных сторон. Если есть действительно компактная point-free реализация, то это намекает на то, что смысл данного вычисления удобно выражать в терминах проявившегося интерфейса.