http://xeno-by.livejournal.com/ (
xeno-by.livejournal.com
) wrote
in
metaclass
2012-11-06 11:13 am (UTC)
no subject
Касательно системы типов, мне кажется, подходит слово не "лучший", а "другой".
От тайп инференса пришлось отказаться (см. отличные примеры с обоснованием вот тут:
http://groups.google.com/group/scala-language/msg/c26eb3bd7aa58817
) ради смешивания ООП и ФП. В результате можно делать вот такие вещи:
https://www.precog.com/blog-precog-2/entry/existential-types-ftw
. Для меня неочевидно, что этот трейдофф проигрышный.
(
175 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://groups.google.com/group/scala-language/msg/c26eb3bd7aa58817) ради смешивания ООП и ФП. В результате можно делать вот такие вещи: https://www.precog.com/blog-precog-2/entry/existential-types-ftw. Для меня неочевидно, что этот трейдофф проигрышный.