Tại sao tôi không thể xác định "hoặc chức năng" trong lược đồ?

Question

Tôi đã tìm thấy câu hỏi này về các chức năng đặc biệt "hoặc" trong chương trình:

Joe Hacker tuyên bố ầm ĩ mà không có lý do hoặc trong Đề án cần phải được đặc biệt - nó chỉ có thể được xác định bởi các lập trình viên, như thế này:

(define (or x y) 
    (if x 
     #t 
     y)) 

Joe có đúng không?

Tôi không thể hiểu tại sao không nên làm điều đó.

Có thể một số chuyên gia về chương trình vui lòng giải thích nếu công trình này hoạt động và nếu không: tại sao không?

Answer 1

Đó là vì phiên bản or đánh giá tất cả đối số của nó (vì đó là hàm), trong khi Lược đồ tiêu chuẩn or (không phải là hàm nhưng cú pháp đặc biệt) thì không. Hãy thử chạy (or #t (exit)) tại REPL của Đề án và sau đó thử cùng chức năng or của bạn.

Hành vi của tiêu chuẩn or đôi khi được gọi là short-circuited: nó chỉ đánh giá những đối số cần thiết. Điều này rất phổ biến đối với toán tử boolean nhị phân (or và and) trên các ngôn ngữ lập trình. Thực tế là ortrông giống như một cuộc gọi chức năng là một tính năng của cú pháp Đề án/Lisp, nhưng có vẻ lừa dối.

Answer 2

Cho dù nó hoạt động hay không phụ thuộc vào những gì bạn muốn nó làm. Nó chắc chắn hoạt động theo nghĩa là đối với hai giá trị boolean đã cho, nó sẽ trả về kết quả mong đợi. Tuy nhiên nó sẽ không có chức năng tương đương với thông thường or vì nó không ngắn mạch, tức là định nghĩa của bạn (or #t (/ 0 0)) sẽ gây ra lỗi vì bạn đang chia 0 cho 0 trong khi sử dụng thường xuyên or nó sẽ chỉ trả lại #t và không cố gắng để đánh giá (/ 0 0) ở tất cả.