Compile-time reflection in D

[thedeemon]

Хорошее выступление с недавно прошедшей конференции:

Watch on YouTube

Компайл-тайм интроспекция + компайл-тайм кодогенерация = big win. Я правильно понимаю, что в Rust (а также С++, Go, Swift) ничего подобного нет и не предвидится?

Comments

[stepancheg.livejournal.com]

Давай я попробую сказать другими словами, что ты описал.

Нужно что-то типа частичной специализации traits. Есть trait Aaa. Есть дефолтная реализация, которая подходит для любого типа. И пользователь, если хочет, может определить для некоторого своего типа реализацию Aaa.

Тогда, когда мы итерирерируемся по полям некоторой структуры, для каждого поля существует какая-нибудь реализация trait Aaa, поэтому с каждым полем можно сделать что-то полезное, и тайпчекинг этого кода можно делать до инстанциации с кокретными типами.

Правильно?

[some41.livejournal.com]

Не совсем -- не обязательно, чтобы работало для всех типов. Основная идея в том, что 1) есть trait, для которого компилятор может вывести impl сам, по некоторому шаблону 2) шаблон представлен в виде одного или нескольких generic методов. За счет того, что методы generic, мы получаем типы полей. (В презентации про Скалу по ссылке от xeno_by шаблон сделан макросом, но это просто ручная compile-time специализация.) Эти методы в основном или вызываются рекурсивно для компонент, либо вызывают методы для примитивных типов. Если можно делать частичную специализацию с ручными реализациями, то это получается само собой.

Для примера, если этот trait называется Foo, то видя fn foo<T: Foo>(x: T) компилятор знает, что ему нужен impl Foo для данного типа. Он попробует его сгенерировать. Если получилось -- OK, если нет -- ошибка. В остальном как с обычными traits.