http://deni-ok.livejournal.com/ (
deni-ok.livejournal.com
) wrote
in
deniok
2007-10-29 11:49 am (UTC)
no subject
Сироту всякий обидеть норовит :)
А flip лезет из очень простых соображений. Сравним
f(g(x y z)) = (.###) f g x y z
f (g x) (h y) = op??? f g h x y
В первом случае последовательность аргументов сохраняется. Во втором - нет.
Но (.) не умеет переставлять аргументы:
(.) a b c = a (b c)
Значит нужен ещё какой-то комбинатор, кроме B. Вроде так.
(
21 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
А flip лезет из очень простых соображений. Сравним
f(g(x y z)) = (.###) f g x y z
f (g x) (h y) = op??? f g h x y
В первом случае последовательность аргументов сохраняется. Во втором - нет.
Но (.) не умеет переставлять аргументы:
(.) a b c = a (b c)
Значит нужен ещё какой-то комбинатор, кроме B. Вроде так.