شكل خالي من النقاط مقابل النمط
-
26-09-2019 - |
سؤال
هل يمكنك التحويل
-- tupleUnfold :: forall a. ((forall b. a -> b)) -> a -> ((b))
tupleUnfold :: Int -> ExpQ
tupleUnfold n = do
xs <- forM [1 .. n] (const . newName $ "x")
y <- newName "y"
let y' = varE y
g (ps', es') x = (varP x : ps', appE (varE x) y' : es')
(ps, es) = foldl' g ([], []) xs
lamE [tupP ps, varP y] (tupE es)
إلى نمط PointFree مع الحفاظ على الوضوح (أعرف البرنامج "PointFree" ، ولكن هل تفضل عدم تشويش الرمز أكثر)؟
في كلتا الحالتين ، ما هي التغييرات التي يمكن إجراؤها لتحسين نمط الوظيفة ، أو جعل نيتها أكثر وضوحًا؟ تهدف الوظيفة إلى استخدامها على النحو التالي.
$(tupleUnfold 3) ((+ 1), (+ 2), (+ 3)) 2
-- (3, 4, 5)
ما هي بعض اتفاقيات التسمية الأفضل لاستخدامها (انظر متغيرات PS و PS و ES و ES)؟
المحلول
هذا ما حصلت عليه. الاحتياجات Control.Arrow (&&&)
و Control.Applicative (<$>)
.
tupleUnfold :: Int -> ExpQ
tupleUnfold n = do
y <- newName "y"
(ps,es) <- unzip . map (varP &&& (`appE` varE y) . varE)
<$> replicateM n (newName "x")
lamE [tupP ps, varP y] (tupE es)
لم أستطع أن تتخلى عنها أكثر من ذلك بكثير دون أن تجعلها غير مفهومة تمامًا.
تعديل في حين أن ليست نقطة خالية ، ها هي أوضح يمكنني أن أجعلها. الاحتياجات Data.Function (on)
tupleUnfold :: Int -> ExpQ
tupleUnfold n = do
y <- newName "y"
xs <- replicateM n (newName "x")
let exps = tupE $ zipWith appVars xs (repeat y)
pats = tupP $ map varP xs
lamE [pats, varP y] exps
where
appVars = appE `on` varE
نصائح أخرى
أكثر قليلاً غير مفهومة (حاول القراءة من اليمين إلى اليسار):
tupleUnfold n = do
y <- newName "y"
uncurry lamE . ((:[varP y]) . tupP *** tupE) . unzip .
map (varP &&& (`appE` varE y) . varE) <$> replicateM n (newName "x")
تعديل:
مزيج من الأسهم وتكوين الوظيفة للمعالجة
tupleUnfold n = do
y <- newName "y"
uncurry lamE . ((tupP >>> (:[varP y])) *** tupE) . unzip .
map (varP &&& (varE >>> (`appE` varE y))) <$> replicateM n (newName "x")
واستخدام معظمهم من الأسهم (اقرأ وظيفة المعالجة من اليسار إلى اليمين)
tupleUnfold n = do
y <- newName "y"
(map (varP &&& (varE >>> (`appE` varE y))) >>> unzip >>>
((tupP >>> (:[varP y])) *** tupE) >>> uncurry lamE) <$> replicateM n (newName "x")
لاحظ أن وظيفة السهم (>>>) يعادل يواجه (.)
أنا شخصياً أعتقد أنه من الواضح تمامًا بالفعل ، لكن ماذا عن هذا:
tupleUnfold :: Int -> ExpQ
tupleUnfold = mapM (const . newName $ "x") . enumFromTo 1 >=> \xs -> do
y <- newName "y"
let y' = varE y
g (ps', es') x = (varP x : ps', appE (varE x) y' : es')
f ps = lamE [tupP ps, varP y] . tupE
uncurry f $ foldl' g ([],[]) xs
مشغل تكوين Kleisli >=>
(من control.monad) مفيد لإنشاء وظائف أحادية pointfree.