http://migmit.livejournal.com/ (
migmit.livejournal.com
) wrote
in
metaclass
2012-12-18 11:53 am (UTC)
no subject
> Расширьте мне data Bool = True | False на ещё один конструктор Uncertain. Библиотечный код не должен пострадать.
Я правильно понял, вы научились в C++ наследоваться от bool?
> Или расширьте data Point a = Point { x : a, y : a } на z : a.
Я что, обещал расширять типы, на расширение не рассчитанные?
> Каких типов в рантайме? WTF?
Ну блин, вы же видели мой пост в ЖЖ.
http://migmit.livejournal.com/32688.html
В рантайме могут создаваться данные различных типов, более того - неограниченного количества таковых.
(
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
Я правильно понял, вы научились в C++ наследоваться от bool?
> Или расширьте data Point a = Point { x : a, y : a } на z : a.
Я что, обещал расширять типы, на расширение не рассчитанные?
> Каких типов в рантайме? WTF?
Ну блин, вы же видели мой пост в ЖЖ. http://migmit.livejournal.com/32688.html
В рантайме могут создаваться данные различных типов, более того - неограниченного количества таковых.