تسمية وظيفة "نقية" في التحكم. العمل [مغلق

Question

لماذا يتم تسمية وظيفة رفع قيمة pure في السيطرة. applicative؟

Answer 1

افكر في pure كصفة.

foo <*> pure 4 = foo تطبيق على أ نقي القيمة 4.

(أما بالضبط السبب لماذا يسمى pure, ، ربما فقط ماكبرايد وباترسون سيعرفان.)

Answer 2

إنه يشبه قليلا fromInteger. حجتها هي دائمًا قيمة أو وظيفة خالصة سيتم رفعها إلى المسلح. ربما كان ينبغي أن يكون fromPure لكنك تعرف كيف يحب الناس هاسيل تقصير الأسماء (على سبيل المثال fst و snd بدلاً من first و second...).