Новый релиз macro paradise: теперь есть макро аннотации и можно использовать с 2.10

[xeno_by]

Всем привет! Сегодня хочу рассказать о том, что на днях выпустил новую версию macro paradise: http://scalamacros.org/news/2013/08/05/macro-paradise-2.0.0-snapshot.html. По ссылке есть детали, а здесь я просто вкратце остановлюсь на главных

Comments

[zhengxi]

супер, буду тоже ждать ближайших выходных :)

вопрос - какие фичи могут быть выкинуты или сильно измениться?
чтобы потом не было сюрпризом.

[xeno_by]

Квазицитаты уже в 2.11.0-M4, так что навряд ли их кто-то выкинет, а, соответственно, и я их трогать не буду. Макро аннотации это первая серьезная реализация, поэтому она может поменяться (но не думаю, что кардинально) в процессе обтачивания функциональности для написания предложения по добавлению их в язык. Также я планирую добавить http://docs.scala-lang.org/overviews/macros/implicits.html#fundep_materialization.

Вообще, я стараюсь не ломать безвозвратно уже существующие решения. Как, например, получилось с тайп макросами, которые в последний момент не приняли в язык. Пришлось потратить время для того, чтобы найти замену для подавляющего большинства сценариев их использования - имплисит макросы для программирования на уровне типов + макро аннотации для генерации публичного кода. Теперь мы видим имплисит макросы уже в 2.10.2, а аннотации в новом релизе парадайза.

[anton_y_k]

Главное, чтобы какие-то более-менее высокоуровневые методы сделали, а то писать AST-шки чуть ли не вручную очень напрягает, аналогично с обходом тагов класса (впрочем это уже больше обычного рефлекшина касается), где надо писать кучу циклов с патернматчингом для того, чтобы достучаться до какого-то метода или проперти.

[xeno_by]

В новом парадайзе для этого есть квазицитаты. А про reflection API, да, есть такое, есть и планы пофиксить.

[anton_y_k]

Отлично! А то, честно говоря, из-за чрезмерной низкоуровневости предыдущего API (и соответственно сложностью написания и отладки) мой опыт с макросами ограничился несколькими учебными приложениями.

[zhengxi]

Глупый вопрос - а где вот этот macro-paradise_2.10.2-2.0.0-SNAPSHOT.jar скачать?
Или хотя бы из какого репозитория скомпилять?

[zhengxi]

https://oss.sonatype.org/content/repositories/snapshots/org/scala-lang/plugins/macro-paradise_2.10.2/2.0.0-SNAPSHOT/

полчаса искал, блин
этот сайт еще и закрыт от индексирования поисковиками.

[zhengxi]

Хорощо работает.

Две недоработки только:

1. для конструкции ..${} часто бывает нужно явно указать тип выражения внутри скобок (List[Tree]), пример

2. не получается через квазицитату создать CaseDef, вроде q"case 1 => 2"

[xeno_by]

1) Есть для такого баг, да: https://issues.scala-lang.org/browse/SI-6840.
2) Попробуй cq"1 => 2".

[zhengxi]

у обычного, не списочного ${} этот баг тоже проявляется.

если там что-то вроде ${ if (cond) q"tree1" else q"tree2" }, то приходится писать ${ (if (cond) q"tree1" else q"tree2") : Tree }