2012-03-11 13 views
11

मैंने पोस्ट Creative uses of monads पोस्ट किया है, जो बहुत ही रोचक विचारों और संदर्भों में भीड़ है, इसलिए मुझे उत्सुकता मिली: तीरों के बारे में क्या? मैं मूलभूत या "मानक" उपयोगों (जैसे monads vs arrows या help understanding arrows in haskell) पर व्यक्तिगत राय या संदर्भों की तलाश नहीं कर रहा हूं, बल्कि स्मार्ट और/या गैर-तुच्छ अनुप्रयोगों (शायद शोध पत्रों में) के संदर्भों की एक सूची के लिए? । धन्यवाद।तीरों का क्रिएटिव उपयोग

+0

मैंने एक बार ऑडियो प्रसंस्करण के लिए तीर के उपयोग पर एक दिलचस्प पेपर पढ़ा, लेकिन मुझे अब यह नहीं मिल रहा है। – leftaroundabout

उत्तर

6

तीर सुरक्षा के लिए इस्तेमाल किया जा सकता है:

ली और Zdancewic (Encoding Information Flow in Haskell) द्वारा एक बहुत ही दिलचस्प कागज तीर का उपयोग हास्केल में सूचना प्रवाह एन्कोड करने के लिए। अर्थात। उनके प्रस्ताव से यह सुनिश्चित करना संभव हो जाता है कि वर्गीकृत जानकारी सही विशेषाधिकारों के बिना प्रक्रियाओं में लीक न हो।

त्सई एट। अल ली और ज़ेडेंसविक द्वारा काम पर बनाता है, और इसे एक बहु थ्रेडेड वातावरण (A Library for Secure Multi-threaded Information Flow in Haskell) तक बढ़ाता है। वे यह भी दिखाते हैं कि कुछ साइड-चैनल हमलों को विफल करने के लिए इसका उपयोग कैसे किया जा सकता है।

4

मैंने कभी लिखा है कि पहले हास्केल मॉड्यूल में से एक था जब भी I/O किया गया था "wavefunction पतन" के साथ क्वांटम-अनिवार्य तीर था। http://hackage.haskell.org/package/quantum-arrow

संबंधित मुद्दे