Cara mengkompilasi dekorator - C ++, Python dan implementasinya sendiri. Bagian 2

Dekorator adalah salah satu fitur paling umum dari Python. Ini adalah alat yang hanya bisa ada sepenuhnya dalam bahasa yang diketik dan ditafsirkan secara dinamis. Di bagian pertama artikel, teman sayaPenyihir136 menunjukkan bagaimana menerapkan di C ++ versi yang paling mendekati ke dekorator versi standar (Python).

Saya akan memberi tahu Anda tentang bagaimana saya memutuskan untuk mencoba menerapkan dekorator dalam bahasa pemrograman yang dikompilasi , yang akhirnya saya tulis sendiri kompiler Haskell kecil berdasarkan LLVM .

Daftar Isi

1. Bagaimana dekorator bekerja dengan Python
2. Haskell dan LLVM - Compiler Asli
3. Jadi bagaimana Anda menyusun dekorator?

Bagaimana dekorator bekerja dengan Python

Sebelum menyelam ke dalam algoritma kompilasi dekorator, mari kita bicara tentang implementasi dekorator dalam python, dan mengapa itu tidak dapat direproduksi dalam bentuk yang sama dalam bahasa yang dikompilasi. Saya langsung mencatat bahwa dalam artikel ini, python dipahami sebagai CPython. Semua bagian kompartemen engine hanya merujuk padanya.

, , , , — , .

Python, - , :

decorator, func, old. new — old

def decorator(func):
    def new(*args, **kwargs):
        print('Hey!')
        return func(*args, **kwargs)
    return new

@decorator
def old():
    pass

# old()  "Hey!" -   old    new

— , -, — , .

1. —

. decorator , :

name = input('  ')

def first(func):
    ...  #  

def second (func):
    ...  #  

if name == 'first':
    decorator = first
elif name == 'second':
    decorator = second
else:
    decorator = lambda f: f   #    

@decorator 
def old():
    pass

, old . (, C++) , (- ), . Python — , , , " ", .

, , old void-, , — , , , .

, Python, : .

2. Python

def decorator(func):
    def two_args(x, y):
        ...
    return two_args

@decorator
def one_arg(x):
    ...

, . one_arg , ( ) — , , , (, "" ). , ? " " . , , decorator -, .

, , , — . , .

— — func? , , — , . func A, A. void* func, , .

— func , — Witcher136 . , (. C++ ).

. :

• — ?
• — ?
• , , ( )

, Python — . , — Python — .

— " ", , , . , .

.

Haskell LLVM —

Haskell, , LLVM . Haskell llvm-hs, LLVM. Parsec, , - ( , , Parsec — parser combinators).

, Grit, ( , , ) — . .

Grit — expression-oriented ()

Grit, , if-else, , — , .

int main() = {
    int i = 0;
    i = i + if(someFunction() > 0) {
        1;
    }
    else {
        0;
    };
};

, i 1, someFunction , , 0 .

return

, ( ) .

, — , Grit, — , . returns, — , ; .

, , "" — "", — , .

int simple(int x) = {
    /* 
          
        x   y
    */
    int y = someOtherFunction();
    x + y;
};

/*
   ,    ,    .
      ,   
*/
int incr(int x) = x + 1;

int main() returns statusCode {
    /*
             returns
         ,  
           .
         "" 
         ,     
    */
    int statusCode = 0;
    int result = someFunction();
    if (someFunction < 0) {
        statusCode = 1;
    };
};

Auto — Grit

Grit auto, , ( ) .

— , . — — , — ..

, , returns.

auto half (int x) = x / 2;   //   incr    float

(expression-oriented), return ( — ) — Grit. , .

, , .

— ?

?

, , — runtime compile-time, .

, , , — , .

-, Grit — , ( AST, abstract syntax tree), . -, , .

, :

@auto flatten = {
    auto result = @target;
    if (result < 0) {
        0;
    }
    else {
         result;
    };
};

, , 0, 0, .

@auto flatten — flatten @auto — , (@ — , , ).

. , — , , , .

— @target. , . ( ), , , , ( ).

, AST @target, . , , — . , .

@auto lockFunction = {
    mutex.lock();
    @target
};

@auto optional = if (checkCondition()) {
    @target;
}
else {
    someDefaultValue;
};

Grit :

@auto flatten = {
    auto result = @target;
    if (result < 0) {
        0;
    }
    else {
         result;
    };
};

@flatten
int incr(int x) = x+1;

flatten , .

"" , - :

Decorator "flatten" auto {
  BinaryOp = (Def auto "result") (DecoratorTarget)
  If (BinaryOp < (Var "result") (Int 0)) {
    Int 0
  }
  else {
    Var "result"
  }
}
Function "incr" int ; args [Def int "x"] ; modifiers [Decorator "flatten"] ; returns Nothing {
  BinaryOp + (Var "x") (Int 1)
}

, — Decorator, incr , Decorator "flatten". DecoratorTarget — incr.

, — . , , , "" — , .

, :

Function (int -> int) incr ["x"] {
  BinaryOp i= (Def int "result") (
    Block int {
      BinaryOp i+ (Var int "x") (int 1)
    }
  )
  If int (BinaryOp b< (Var int "result") (int 0)) {
    int 0
  }
  else {
    Var int "result"
  }
}

:

• — AST, .
• incr — , flatten, DecoratorTarget Block {...} — " ", . , , — int "result". BinaryOp i= int-, result auto — , , .

, , , . Python, , , Grit.

, — , , :

@auto lockF(mutex M) {
    M.lock();
    @target;
};

@lockF()
int someFunction(...)

— mutex M, "", (, , Python — ).

, @args, , " " . , @args.length — , @args.1 — . - , - — .

, Haskell , , , , . , ( , ), - .

, stack

PS Itu pengalaman yang sangat menarik dan tidak biasa bagi saya - saya harap Anda juga bisa belajar sesuatu yang berguna dari cerita ini. Jika Anda memerlukan artikel terpisah tentang menulis kompiler Haskell berbasis LLVM - tulis di komentar.

Saya akan mencoba menjawab pertanyaan apa pun di komentar, atau dalam telegram - @ nu11_pointer_exception