Z>        t.Define(<[decl:
Z>            public $(propertyName : dyn) : BLToolkit.Data.Linq.Table[$(typeFullName : dyn)]
Z>            {
Z>              get { this.GetTable.[$(typeFullName : dyn)](); }
Z>            }
Z>        ]>);
Z>

def full_name_to_expr(name : string) {
    match(NString.Split(name, ".")) {
        | [] => <[ () ]>
        | n :: [] => <[ $(n : dyn) ]>
        | n :: ns => ns.FoldLeft(<[ $(n : dyn) ]>, (n, acc) => <[ $acc.$(n : dyn) ]>)
    }
}

Z>Спасибо, помогло Еще вопрос, как создать из строки PExpr.Literal?

def str = "test";
<[ someMethod($(str : string)); ]>

typeBuilder.t_extends = список_PExpr_описывающий_базовый_тип_и_реализуемые_интерфейсы;

match (typeBuilder.Ast)
{
  | Class     as t => t.t_extends = xxx
  | Interface as t => t.t_extends = xxx
  | Variant   as t => t.t_extends = xxx
  | _              => () // для остальных типов ничего не делаем
}

    addcolumn (Id to someTable)
    {
      PrimaryKey = true;
      Type = ColumnType.Integer();
    }

public variant ColumnType
{
  | Integer
  | String { len : int }
  | Float
}

namespace MigrationSytaxMacro
{
  public macro AddColumnMacro(name, tableName, body)
  syntax ("addcolumn", "(", name, "to", tableName, ")", body)
  {
    def name      = name.ToString();
    def tableName = tableName.ToString();

    <[ 
        // usesite - позволяет преодалеть гигееничность макросов и использовать цвета имен из контекста применения
        mutable $("PrimaryKey" : usesite) = false; 
        mutable $("Type" : usesite)       = ColumnType.String(-1); // начальные значения определяют тип переменных!
        
        $body; // тело

        // чтобы квази-цитаты не пересикались с $ в $-строках, вводим переменные...
        // их имена гигиеничны (не могут пересечься с аналогичными из пользовательского кода).
        def name        = $(name : string);
        def tableName   = $(tableName : string);
        def primaryKey  = $("PrimaryKey" : usesite);
        def ty          = $("Type" : usesite);
        
        System.Console.WriteLine($"PrimaryKey=$primaryKey Type=$ty name=$(name : string) tableName=$tableName");
     ]>
  }
}

        public Persons : BLToolkit.Data.Linq.Table[ Nemerle.MVC.Models.Person ]
        {
            get { this.GetTable.[Nemerle.MVC.Models.Person]();}
        }

      foreach (modelType in modelTypes)
      {
        def typeName = modelType.Name;
        def propertyName = $"$(typeName)s";
        def typeFullName = modelType.FullName;
        def propType = $"BLToolkit.Data.Linq.Table[ $typeFullName ]";
        
        t.Define(<[decl:
            public $(propertyName : dyn) : $(propType : dyn)
            {
              get { this.GetTable.[$(typeFullName : dyn)](); }
            }
        ]>);
      }

        t.Define(<[decl:
            public $(propertyName : dyn) : BLToolkit.Data.Linq.Table[$(typeFullName : dyn)]
            {
              get { this.GetTable.[$(typeFullName : dyn)](); }
            }
        ]>);

def str = "test";
<[ someMethod(str); ]>

Z>Жаль А добавить пользовательские аттрибуты классу на который он сам применяется как атрибут?

typeBuilder.GetModifiers().AddCustomAttribute(PExpr_описывающий_вызов_атрибута)

[DatabaseManager]
class Db : DbManager {};

CreateTable("Test", t : TableActions => { // типы указаны для читабельности
  t.Add(c : ColumnActions => {
    c.Name = "Id";
    c.PrimaryKey = true;
    c.Type = ColumnType.Integer;
  })
})

CreateTable("Test", t => {
  t.Integer("Id", new(PrimaryKey = true));
})

create Test 
{
  Id : Integer, PrimaryKey;
}

create Test, t =>
{
  t.Integer("Id", new(PrimaryKey = true));
}