Định nghĩa của thuật ngữ "thay thế" trong Đặc tả Ngôn ngữ Scala là gì?

Question

Trong Thông số ngôn ngữ Scala (phiên bản 2.9 - 11 tháng 6 năm 2014), trong phần về các kiểu tồn tại, thuật ngữ "thay thế" được sử dụng, tuy nhiên, ý nghĩa của sự thay thế dường như không được xác định trong Đặc tả ngôn ngữ Scala.

Ai đó có thể giải thích sự thay thế có ý nghĩa gì trong ngữ cảnh này?

Điều đó có nghĩa là một biến kiểu trong một biểu thức kiểu được thay thế bằng một kiểu biến thể hoặc kiểu biến kiểu hoặc kiểu hàm cụ thể khác?

Nếu sự thay thế có nghĩa là loại bê tông, thì loại bê tông nào được xem xét? Những cái nằm trong phạm vi như một cái tên đơn giản?

Điều gì sẽ là định nghĩa có ý nghĩa cho khái niệm "thay thế" trong ngữ cảnh này?

Điều gì đang được thay thế bằng cái gì?

Answer 1

Nó đề cập đến khái niệm thay thế lambda-calculus. Từ một quan điểm thực tế, nó là một sự thay thế của các biến miễn phí với những giới hạn. Đối với một định nghĩa chính thức hơn, bạn có thể xem lý thuyết về phép tính lambda.