-
Давайте познакомимся
Всем привет! Меня зовут Женя или Ксено. Здесь я буду постить свои новые идеи, рассуждения о программировании, события и факты, преломленные через призму моего восприятия. Не знаю даже, чего больше хочу - поделиться своими идеями во славу Мирового Разума, или заодно еще и получить фидбэк, но по ходу дела разберемся ( Read more... ) -
scala.meta: новая платформа для метапрограммирования Скалы
scala.reflect - наш публичный API, появившийся в Скале версии 2.10 - оказался весьма полезным на практике. Благодаря макросам, основанным на новом API, стало возможным реализовать такие библиотеки как async (DSL для упрощения работы с асинхронностью), pickling (статически генерируемые сериализаторы с отличным перфомансом), scala-blitz (ускорялка ( Read more... ) -
Макросы vs шаблоны
Продолжая дискуссию про метапрограммирование в D: http://thedeemon.livejournal.com/68456.htmlRead more... ) -
Обсуждение метапрограммирования в D
Читаем вот тут: http://thedeemon.livejournal.com/68456.html. Спасибо уважаемому thedeemon за подробные ответы! -
Эмуляция ключевого слова static из D на макросах
Очень порадовал комментарий некоего схемиста [1] к посту про compile-time function execution в D.
Если вкратце, в D перед объявлением переменной можно написать ключевое слово static (например, static int r1000 = euler1(1000)) и это приведет к тому, что компилятор попытается посчитать правую часть объявления во время компиляции ( Read more... ) -
Метапрограммирование в Агде и немного философии
На днях просмотрел паперу Dependent Type Providers [1] и магистерскую диссертацию Reflection in Agda [2], которые используют средства рефлекшена, предоставляемые Агдой, для метапрограммирования ( Read more... ) -
Зачем компилятор должен поддерживать гигиену?
Затем, чтобы синтаксический сахар в вот таких ситуациях
case class C(x: D)
↓
object C {
def apply(x: D) = new C(x)
}Не приводил к казусам вроде:
case class C(x: D)
object C { type D = Double }
↓
object C {
type D = Double
def apply(x: D) = new C(x)
}Как говорится, science. It works. Низкотехнологичные решения в таких ситуациях вынуждены ( Read more... ) -
Новый релиз macro paradise: теперь есть макро аннотации и можно использовать с 2.10
Всем привет! Сегодня хочу рассказать о том, что на днях выпустил новую версию macro paradise: http://scalamacros.org/news/2013/08/05/macro-paradise-2.0.0-snapshot.html. По ссылке есть детали, а здесь я просто вкратце остановлюсь на главных ( Read more... ) -
Для чего полезны макросы?
Интересно ваше мнение по поводу моего недавнего выступления на Scalapeño 2013: http://scalamacros.org/paperstalks/2013-07-17-WhatAreMacrosGoodFor.pdfRead more... ) -
Новые трюки в мире макросов
1) Структурные типы без издержек на рефлексию: http://meta.plasm.us/posts/2013/07/12/vampire-methods-for-structural-types/
2) Тайп провайдеры на деф-макросах: macros, scala