?

Log in

No account? Create an account

Зачем нужны имплисит макросы? - Excelsior — LiveJournal

May. 7th, 2013

11:06 pm - Зачем нужны имплисит макросы?

Previous Entry Share Next Entry

Comments:

[User Picture]
From:akuklev
Date:May 9th, 2013 09:26 am (UTC)
(Link)
Мне кажется, у тайппровайдеров и индуктивных типов всё-тки совсем разные области применения. Если макротипы ограничить до тайппровайдеров*, то с индуктивными типами они полностью перестанут пересекаться.

Тогда и разница между туплом и вектором понятна: одно зависимо от рантайм-значения, другое чисто от компайл-тайм.

* т.е. запретить возвращаемым типам зависить от рантайм значений.

Upd: можно оставить зависимость в смысле PDT, пересечений с ITF всё ещё не будет.

Edited at 2013-05-09 09:33 am (UTC)
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:May 9th, 2013 09:43 am (UTC)
(Link)
А вот например такое уже даёт Clash с ITF:

(pseudocode)
type Wrap(x) = {val v = x}
(Reply) (Parent) (Thread)