маленькие радости

[thedeemon]

Есть в D штука, представляющая из себя существующий исключительно на фазе компиляции гетерогенный список, внутри которого могут быть типы и простые значения (всякие числа, строки, булевые..). Изначально возник для манипуляций параметрами шаблонов. Для него доступен набор привычных операций: map, filter, итерация, взятие слайса, обращение по индексу и т.п. И поскольку элементы такого списка могут быть разных типов, сделано так, что итерация по нему обычным foreach всегда раскрывается. Это, в частности, дает простой способ гарантированно анроллить циклы без копипасты. А в сочетании со вставкой кода через mixin() позволяет делать такое:

alias funNames = TypeTuple!("sin", "cos", "tan", "asin", "acos", "atan", "exp");
...
  switch(fn) {
    foreach(s; funNames) 
      mixin("case \"" ~s~ "\" : return new Real(" ~s~ "(x.asReal));\n");
    ...
  }

Что компилятор раскрывает в

  switch(fn) {
    case "sin" : return new Real(sin(x.asReal));
    case "cos" : return new Real(cos(x.asReal));
    case "tan" : return new Real(tan(x.asReal));
    case "asin" : return new Real(asin(x.asReal));
    ...

Мелочь, а приятно.

Comments

[swizard.livejournal.com]

Лисперы только ухмыльнулись в усы :)

[alll]

особенно приятно такой код читается видимо

[sober-space.livejournal.com]

+1

[theiced.livejournal.com]

какая эпичная анальщина. лисп-из-говна-и-палок.

[thedeemon.livejournal.com]

Ну хоть палки есть, в отличие от настоящих лиспов.

[juan-gandhi.livejournal.com]

Как раз чего мне не хватает в нашем интерпретаторе.
Приходится писать trait Function[A,B] {
def name: String; def apply(A):B
}

[thornik.livejournal.com]

Когда занимался Ди, понравилась его CTFE, но смутило то, что в коде мы никак не контролируем, что должно быть во время компиляции, а что в рантайме. Это до сих пор так? Могу я полностью доверять комилятору решать за меня?

PS
Вот этот ужас mixin("case \"" ~s~ "\" : return new Real(" стараюсь писать через back ticks:
mixin(`case "`~ s ~`": return....`

[thedeemon.livejournal.com]

Как не контролируем? Наоборот же, контроль полный и тотальный.