der Lambda-Ausdruck — Meaning: biểu thức lambda — BlauBerry
Lambda-Ausdruckder
[ˈlambdaʔaʊ̯sˌdʁʊk]NounPlural: Lambda-Ausdrücke
Definitions
1
biểu thức lambda- một cấu trúc cú pháp dùng làm cách viết rút gọn của một hàm ủy quyền.
ein syntaktisches Konstrukt, was eine Kurzschreibweise eines Delegates ist.
„Die Frage, ob zwei Lambda-Ausdrücke (s. u.) äquivalent sind, kann im Allgemeinen nicht algorithmisch entschieden werden.“
“Câu hỏi liệu hai biểu thức lambda (xem bên dưới) có tương đương hay không nói chung không thể được quyết định bằng thuật toán.”
„Die abstrahierte Variable muss nicht notwendigerweise im Term vorkommen, z. B. λx.2. Dieser λ-Ausdruck bezeichnet dann die Funktion, die jedes x auf 2 abbildet.“
“Biến được trừu tượng hóa không nhất thiết phải xuất hiện trong hạng thức, ví dụ λx.2. Khi đó biểu thức λ này biểu thị hàm ánh xạ mọi x thành 2.”