http://nponeccop.livejournal.com/ (
nponeccop.livejournal.com
) wrote
in
lomeo
2012-12-01 10:57 pm (UTC)
no subject
Вот держите обещанную переделку на а ля карт:
http://hpaste.org/78604
Data.Functor.Fixedpoint находится в unification-fd, импорт можно заменить на ровно две строчки:
newtype Fix f = Fix { unFix :: f (Fix f) }
cata phi = phi . fmap self . unFix
(
52 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
no subject
http://hpaste.org/78604
Data.Functor.Fixedpoint находится в unification-fd, импорт можно заменить на ровно две строчки:
newtype Fix f = Fix { unFix :: f (Fix f) }
cata phi = phi . fmap self . unFix