कैसे करता है, तो एक सूची केवल #t

Question

मैं रैकेट और एमआईटी योजना में निम्न कोड के साथ कोशिश कर रहा था होता है की जाँच करने के लिए, मुझे आश्चर्य है कि संकलक फेंक गलती

(foldr and #t '(#t #t #f)) 

वहाँ किसी भी तरह से कम करने का उपयोग करने के/गुना रास्ता नहीं है यह जांचने के लिए कि क्या सूची में केवल सत्य या गलत है? मुझे पता है कि एक लैम्ब्डा नौकरी कर सकता है, लेकिन यह वास्तव में हमें आश्चर्य है कि यह वैध कोड क्यों नहीं है। मुझे याद है कि मैं इसे हास्केल में कर सकता हूं .....

टीआईए।

Answer 1

and एक मैक्रो है, इसलिए इसका कोई मूल्य नहीं है। विशेष रूप से, यह शॉर्ट-सर्किट मूल्यांकन, और इसका उपयोग करने के रूप में आपने कोई समझ नहीं लिया है। इसी कारण से, रैकेट में andmap है जिसका आप इस तरह के मामलों में उपयोग कर सकते हैं। (अन्य कार्यान्वयन विभिन्न नामों के तहत इसी तरह की सुविधा है - उदाहरण के लिए, srfi -1 every उपयोग करता है।)

Answer 2

इस छल में काम करता है:

(primitive-eval (cons 'and '(#t #f))) 

Answer 3

और एक मैक्रो है और एक समारोह के रूप में इस्तेमाल नहीं किया जा सकता। यह एक समारोह में रख:

(foldr (lambda (a b) (and a b)) #t '(#t #t #f))

Answer 4

एक बात है कि बंद हो सकता है कि रैकेट और योजना में, सही मूल्य #F के अलावा और कुछ हो रहा है। के बाद से अपने प्रश्न बूलियन्स के लिए पूछता है, निम्नलिखित अधिक भेदभाव हो जाएगा:

#lang racket 
(define (boolean-true? x) (eq? x #t)) 
(define (only-contains-#t? l) 
    (andmap boolean-true? l)) 

उदाहरण के लिए,

> (only-contains-#t? '()) 
#t 
> (only-contains-#t? '(#t #t #t)) 
#t 
> (only-contains-#t? '(#t #t true)) 
#f