Press "Enter" to skip to content

أساسيات لغة البرمجة هاسكل Haskell (مع شهادة)

0
تلجرام التعلم الحر

توصل بما يهمك عبر تلجرام.

تصنف لغة هاسكل Haskell ضمن البرمجة الوظيفية، و هي لغة تعتمد على مبادئ رياضية نظامية و رسمية، ظهرت لأول مرة سنة 1990. و تتميز بكونها سهلة الاستعمال و التطور و بكونها أيضا تنفذ و تطبق على آلات حديثة و متعددة. تتبنى هاسكل Haskell البنوك الاستثمارية و الشبكات الاجتماعية و غيرها. و في ما يلي دورة حول أساسيات هذه اللغة الشائعة مقدمة من طرف جامعة Glasgow على الإنترنيت.

أساسيات لغة البرمجة هاسكل Haskell (مع شهادة)

تقدم جامعة Glasgow دورة حول أساسيات هاسكل Haskell، هذه الجامعة هي رابع أقدم جامعة في العالم الناطق بالإنجليزية، و عضو في مجموعة Russell المرموقة من جامعات الأبحاث الرائدة في المملكة المتحدة. هدف هذه الدورة هو تعريفك بصنف من البرمجة الوظيفية السهلة و المرنة.

الأهداف و المكتسبات:

• تطوير برامج بسيطة تتضمن تقنيات هاسكل Haskell الأساسية، بما في ذلك المفاهيم الوظيفية.
• التعرف على أنواع البيانات الجبرية.
• تفسير بنيات البيانات و واجهات الوظائف.
• تطبيق الأساليب الرئيسية لإثبات خصائص البرامج الوظيفية.
• تطوير و تعديل و استكشاف التعليمات البرمجية (الأكواد) باستخدام أدوات منصة هاسكل Haskell القياسية.
• التمكن من تبرير سبب استخدام البرنامج لمعيار عام شائع (بما في ذلك IO و Maybe).
• التعرف على ال combinators لإنجاز عمليات مختلفة على اللوائح.

الفئة المستهدفة:

• هذه الدورة مخصصة لكل شخص له خبرة سابقة في لغة برمجية ما ك Java أو Python.
• لكل طالب في علوم الحاسوب.
• لكل مطور برمجيات يرغب في تعلم أسلوب برمجي جديد.
• لكل شخص مهتم بالمجال.

بعض وحدات الدورة:

• العمليات التي تشمل الأنواع الأساسية بما في ذلك الأعداد الصحيحة (integers) و characters و booleans.
• تقنيات هيكلة البرامج ذات الحجم غير التافه (non-trivial).
• الاختبار الآلي باستخدام أداة QuickCheck.
• هياكل البيانات اللانهائية والتقييم البطيئ.
• أقسام الفئات.
• مبادئ حساب لامبدا Lambda.

رابط الدورة

بالتوفيق للجميع، نحن رهن الإشارة إن احتجتم مساعدة ما. يكفي مراسلتنا عبر الصفحة الرسمية للموقع على الفيسبوك Education Libre أو ترك تعليقات. ويمكنكم متابعتنا عبر تطبيق Telegram لتتوصلوا بمستجدات موقع التعلم الحر باستمرار.

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *