Не-е-е.. Я про другое - я одно время интересовался реверсированием функций, это мой интерес был вызван практической проблемой. Честно говоря, уже не помню какой, но усредняя, это что то вроде универсального лифтинга:
f :: a -> b -- преобразователь g :: b -> b -- трансформер
lift f g = f' . g . f where f' = reverse f
В этом смысле id как a -> a имеет мало смысла. Вот я и спросил, зачем в реверсивных функциях чистый id :-)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 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 :-)