एग्डा प्रोग्राम

Question

में कौन से मेटा अनसुलझा हैं, यह पता लगाने के लिए कि अनसुलझा मेटा क्या हो रहा है, यह जानने का सबसे अच्छा तरीका क्या है? हल करने योग्य सभी आसपास के वाइल्डकार्ड का विस्तार करके सभी अनसुलझा मेटा (और केवल अनसुलझा वाले) को छेद में बदलने का कोई तरीका है?

यदि कुछ और नहीं है, तो एक छेद में एक अनसुलझा मेटा को बदलकर अनसुलझा मेटा के बारे में संदेश दूर हो जाता है? क्योंकि तब मुझे लगता है कि जब तक संदेश दूर नहीं जाता है तब तक प्रत्येक वाइल्डकार्ड और हर अंतर्निहित तर्क को छेद में बदलने की कोशिश कर सकते हैं और फिर पता लगाएं कि कौन सी समस्याएं पैदा कर रहा है ...

Answer 1

एक दृष्टिकोण (जरूरी नहीं कि सबसे अच्छा) प्रतिस्थापित करना है स्पष्ट अंडरस्कोर से सभी निहित तर्क:

f {_} {_} {_} (x {_} {_} {_}) 

इस उत्तर AGDA मेलिंग सूची से है: https://lists.chalmers.se/pipermail/agda/2012/004123.html