Understanding Haskell’s let Expression and IO Type

في البداية، يجب أن نفهم جيدًا كيف يتم استخدام تعبير let في هذا السياق. في الكود الذي قدمته، يتم استخدام let لتعريف متغير f الذي يحتوي على تعبير putStrLn "foo"، ومن ثم يتم استخدام هذا المتغير في تعبير آخر in 42. لنقم بتحليل ذلك.

أولاً، نلقي نظرة على نوع f، وهو يتم تعيينه بناءً على التعبير putStrLn "foo". تعتبر putStrLn وظيفة تقوم بطباعة سلسلة نصية إلى الإخراج القياسي (stdout) ولا تعيد قيمة. لذلك، يكون نوع f هو IO (). يشير IO () إلى أن التعبير يتعامل مع الإدخال والإخراج ولا يعيد قيمة نهائية.

السبب في عدم ظهور نص “foo” قبل الناتج 42 هو نوع التعبير f الذي يحتوي على putStrLn "foo". يجري تقييم putStrLn "foo" في وقت الركض، ولكن نظرًا لأن هذا التعبير يقوم بالطباعة ولا يعيد قيمة، فإن النص “foo” لا يظهر على الإخراج بشكل مباشر.

أما بخصوص السؤال الأخير حول عدم عمل :t f، فإن ذلك يرجع إلى نطاق المتغير f. فيما يتعلق بالبيئة التفاعلية في GHCi، فإن المتغيرات التي تم تعريفها باستخدام let في تعبير واحد ليست مرئية في تعبيرات أخرى. لذلك، عند محاولة استخدام :t f، يظهر خطأ “Not in scope: ‘f’” لأن f ليس معرفًا في السياق الحالي.

لحل هذه المشكلة، يمكنك استخدام let في نفس السياق الذي تحاول فيه استخدام :t f، مثل:

haskellCopy code
λ: let f = putStrLn "foo" in :t f

وبهذا، ستتمكن من الحصول على نوع f بنجاح.

لفهم أفضل حول كيفية عمل تعبير let في السياق الحالي ولماذا يحدث ما يحدث، يجب النظر في النظام النصي للغة هاسكيل (Haskell).

تعتبر Haskell لغة برمجة ذات نظام نصي صارم، وهذا يعني أن التعبيرات يتم تقييمها بشكل جاد وبترتيب محدد. عند استخدام let في هذا السياق، يتم تقييم التعبير الذي يتبع in بشكل مستقل ومن ثم يتم استخدام النتيجة في السياق الذي يلي in. في حالة الكود الذي قدمته، يتم تقييم putStrLn "foo" أولاً، ونتيجتها هي تنفيذ العملية الجانبية لطباعة “foo”، ولكن لا توجد قيمة تُرجع. ثم يتم استخدام النتيجة الفعلية لـ let (التي هي 42 في هذه الحالة) في السياق الرئيسي.

بمعنى آخر، عندما يتم تنفيذ let f = putStrLn "foo" in 42، يتم طباعة “foo” في الواقع، ولكن لا يتم عرض الناتج على الشاشة بشكل مباشر في GHCi. يظهر الناتج 42 بدون ظهور “foo”، لكن يتم تنفيذ العملية الجانبية (putStrLn "foo") عند تقييم let.

فيما يتعلق بسؤال لماذا :t f لا يعمل خارج نطاق let، يعود الأمر إلى نطاق المتغير. يتم تعريف f داخل نطاق let، ولا يكون مرئيًا في السياق الرئيسي للتفاعل في GHCi. لاستخدام :t f بنجاح، يجب تعريف f في نفس النطاق الذي يتم فيه استخدام :t f، وهذا يمكن أن يتم بشكل مباشر باستخدام let كما تم ذكره في الإجابة السابقة.