मैं पॉलीमोर्फिज्म को डेटा संरचना में कैसे दबा सकता हूं?

Question

एक recent question मुझे कैसे एक

[ReifiedLens s t a b] 

में एक

forall f . Functor f => [LensLike f s t a b] 

कन्वर्ट करने के लिए एक आसान तरीका यह वास्तव में धीरे-धीरे ऐसा करने के लिए, !! के साथ इस सूची में अनुक्रमण द्वारा नहीं है आश्चर्य करने के लिए नेतृत्व, लेकिन यह काफी अविश्वसनीय है अक्षम। ऐसा लगता है कि reflection में उपयोग किए गए एक की तरह एक चाल खींचने के लिए पर्याप्त पैरामीट्रिकिटी होनी चाहिए, लेकिन मुझे कुछ भी पता नहीं लग रहा है। क्या यह कुशलतापूर्वक ऐसा करना संभव है?

Answer 1

परीक्षण टिप्पणी में मेरा विचार है, तो आप वास्तव में यह लिख सकते हैं सीधे ALens के माध्यम से गुजर द्वारा:

convert :: (forall f. Functor f => [LensLike f s t a b]) -> [ReifiedLens s t a b] 
convert ls = [Lens (cloneLens l) | l <- ls] 

ALensPretext functor पर आधारित है:

type ALens s t a b = LensLike (Pretext (->) a b) s t a b 

newtype Pretext p a b t = Pretext { runPretext :: forall f. Functor f => p a (f b) -> f t } 

यह एक का उपयोग कर की अनुमति देता है कम से कम लेंस उपयोग के लिए, उन सभी का प्रतिनिधित्व करने के लिए एकल Functor।

मैं अभी भी सोच रहा हूं कि एक ऐसी विधि है जो आम तौर पर लेंस के लिए काम करती है।