http://kodt-rsdn.livejournal.com/ (
kodt-rsdn.livejournal.com
) wrote
in
deniok
2013-06-26 02:21 am (UTC)
no subject
А там нельзя налепить что-то с горой forall'ов?
Поскольку есть yy, то
y :: forall y1 . y1 -> y2
Поэтому и yy, и yz :: y2
ww
w :: forall w1 . w1 -> w2
ww :: w2
x xv v
x :: forall x1 . x1 -> v -> x3
Ну и так далее
(
14 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
Поскольку есть yy, то
y :: forall y1 . y1 -> y2
Поэтому и yy, и yz :: y2
ww
w :: forall w1 . w1 -> w2
ww :: w2
x xv v
x :: forall x1 . x1 -> v -> x3
Ну и так далее