Привет из 80х годов прошлого века

[metaclass]

Вспомнил один срач на тему однопроходных компиляторов, где Steve Yegge критиковал Clojure за то, что в ней объявления видны не во всем модуле, а только ниже объявления. (Ну, за исключением declare которые что-то вроде forward-объявлений).
Сижу приделываю новую фичу к кодогенератору на F# - и таки внезапно оказывается, что это не только в Clojure, но так же и F#, и, что самое печальное, - в долбаном SQL, который я генерирую.
Сижу вот, сортирую объекты из которых генерируется SQL по зависимостям.

А как с этим дела обстоят в Scala?
Я тут подумываю, что надо бы провести сравнение F# и Scala на моих задачах, все равно уже полная работа JVM и жаб, так может, выводилка типов в Scala для меня окажется более приемлемой, чем дикий ад в F# (теперь я понимаю, почему его thesz критикует). Ну и макросы в скале xeno_by прикрутил вроде уже.
Хотя единственное, что мне приходит в голову на тему приличного использования макросов - это при их выполнении долбится в БД или модель этой БД и генерировать код.

Comments

[prote-je-moi.livejournal.com]

пуся, да адахни ты уже. иди лучше посмотри, какие я ботиночки купила клёви.

[golikov konstantine (from livejournal.com)]

> это при их выполнении долбится в БД или модель этой БД и генерировать код.
знакомься, http://slick.typesafe.com/

[max630.livejournal.com]

в ocaml то же самое

[max630.livejournal.com]

и даже в хаскеле (!!!), если TH в топлевеле использовать

[xeno-by.livejournal.com]

В скале форвард декларации работают в топ левеле и на уровне мемберов класса, но обычно не канают внутри тел методов. Я не знаю спеки на этот счет, но из-за этого пришлось один метод переписать в локальный объект (пример слинкую как приеду домой).

Если надо генерировать классы или методы из макросов, да еще так, чтобы их было видно снаружи, надо ждать января 2013 года. Пока что это не поддерживается по техническим причинам, но в январе у нас дедлайн по тайп макросам, поэтому технические причины к тому времени будут пофикшены. Тогда же скорее всего в транк приземлятся и макро аннотации.

[xeno-by.livejournal.com]

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

[xeno-by.livejournal.com]

А да не знаю как с этим в шарпе, но у нас тайп инференс требует вручную написанные сигнатуры для методов.

[gds.livejournal.com]

"ниже объявления" -- полезно для rebinding'а и для композиционируемости исходников.

[jdevelop.livejournal.com]

нате

[nivanych.livejournal.com]

Не в тему, но должно понравиться.
Привет из 50-х годов прошлого века —
http://nag.ru/articles/article/22460/telekomiks-pyatidesyatyie.html