?

Log in

No account? Create an account

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

May. 7th, 2013

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

Previous Entry Share Next Entry

Comments:

[User Picture]
From:xeno_by
Date:May 10th, 2013 06:24 am (UTC)
(Link)
А что значит "класс" в выражении "класс типов"? Это, наверное, из теории категорий, с которой я до сих пор почти не знаком?
(Reply) (Parent) (Thread)
From:ex_juan_gan
Date:May 10th, 2013 06:39 am (UTC)
(Link)
Это даже не из теории категорий, а из теории множеств скорее, вариант Гёделя-Бернайса, где есть классы, а есть вот множества.

Ну это если формально; неформально же - хм, класс - отдельная совокупность, объединённая каким-то признаком (в нашем случае - способностью к какому-нибудь набору операций).
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:May 10th, 2013 06:45 am (UTC)
(Link)
Теперь немного понятно. С этой точки зрения становится логичной нотация "def foo[T: Serializable](...) = ...". Жалко, это определение вообще никак не намекает на способ реализации.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:May 12th, 2013 11:17 am (UTC)
(Link)
Также см. продолжение обсуждения в гостях у juan_gandhi: http://ivan-gandhi.livejournal.com/2306816.html
(Reply) (Parent) (Thread)