VoidCC
टैग सूची
codata
12
गर्मी
1
उत्तर
idris में स्ट्रीम का कोई फ़िल्टर फ़ंक्शन क्यों नहीं है?
सूची के लिए filter : (a -> Bool) -> List a -> List a है, लेकिन स्ट्रीम के लिए filter : (a -> Bool) -> Stream a -> Stream a नहीं है, क्यों? क्या समान नौकरियां करने के कुछ विकल्प हैं? इदरिस में
functional-programming
idris
codata
2017-04-24
नवीनतम प्रश्न
1.
स्क्रॉल इनव्यू व्यू रिफ रेसिंग
2.
आर- केवल अद्वितीय आईडी के साथ संचयी योग कैसे करें?
3.
टेन्सफोर्लो जावा मल्टी-जीपीयू अनुमान
4.
एंड्रॉयड: Firebase remoteConfig GetString() विधि default.xml
5.
वेबएपीके प्रारूप में पीडब्ल्यूए बनाने की आवश्यकता
6.
एक्सकोड 9 आईओएस 11 बॉरिंगएसएसएल SSL_ERROR_ZERO_RETURN
7.
jquery
8.
Django एक-से-एक रिश्ते के साथ एक से कई लोगों को चेन करने के लिए क्वेरीसेट निर्धारित नहीं कर सकता
9.
आखिरी शब्द क्या कर रहा है?
10.
क्रोम 63 फेंकता [डोम] इनपुट प्रकार पासवर्ड और गैर-अद्वितीय आईडी