http://lomeo.livejournal.com/ ([identity profile] lomeo.livejournal.com) wrote in [personal profile] deniok 2007-12-12 09:54 am (UTC)

А-ха!! :-))

Не-е-е.. Я про другое - я одно время интересовался реверсированием функций, это мой интерес был вызван практической проблемой. Честно говоря, уже не помню какой, но усредняя, это что то вроде универсального лифтинга:

f :: a -> b -- преобразователь
g :: b -> b -- трансформер

lift f g = f' . g . f where f' = reverse f

В этом смысле id как a -> a имеет мало смысла. Вот я и спросил, зачем в реверсивных функциях чистый id :-)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting