ar
جامعة حكومية, تصفح الفرص المماثلة
تسمح لغات البرمجة الوظيفية المكتوبة بالتطوير السريع لبرامج قوية. يستكشف هذا المساق بعض الميزات اللغوية الأكثر تقدماً في Haskell ، وهي لغة برمجة وظيفية حديثة ، إلى جانب بعض من خلفيتها النظرية. تهدف الدورة إلى تعليم ليس فقط بعض ميزات Haskell الأحدث ، مثل GADTs أو عائلات الكتابة ، ولكن أيضًا النظرية الأساسية. إلى جانب المحاضرات ، هناك العديد من جلسات المختبر الخاضعة للإشراف لمساعدتك في الوصول إلى المواد المغطاة في الفصل الدراسي
نتوقع أن يكون لدى الطلاب معرفة أساسية مع Haskell بالفعل. يجب أن تكون قادرًا على كتابة الوظائف العودية على أنواع البيانات الجبرية ، مثل القوائم والأشجار. يوجد قدر كبير من المواد المتاحة عبر الإنترنت والتي تغطي هذه المواد مجانًا.
انطلاقًا من هذه الأساسيات ، نهدف إلى تغطية العديد من الموضوعات المتقدمة ، بما في ذلك الموناديات والمرشدين المتقدمين و GADTs وحساب التفاضل والتكامل lambda التفاضلي والتكامل والبرمجة العامة. نحن نهدف كل يوم إلى تغطية مجموعة متنوعة من المواضيع في المحاضرات ، حيث نجمع بين نصائح البرمجة العملية والأسس النظرية. تتيح جلسات المختبر اليومية التي تتم الإشراف عليها للطلاب الفرصة لممارسة المواد ومناقشة مشكلاتهم مع خبراء Haskell لدينا.
مدير الدورة
الدكتور ووتر شويسترا
التكاليف
رسوم الدورة
1500.00
رسوم السكن
200.00
السكن من خلال مدرسة أوتريخت الصيفية
نقدم خصم 1000 يورو للطلاب والموظفين في أي جامعة ، بشرط أن يقدموا دليلاً خفيف الوزن على انتمائهم.
المنح الدراسية
نحاول بنشاط إبقاء المدرسة في متناول الأقليات الممثلة. إذا كنت بحاجة إلى مزيد من المساعدة المالية لدعم طلبك ، فيرجى الاتصال بالمنظمين مباشرةً.
عملية التطبيق
يرجى إعلامنا إذا كنت ترغب في التقدم للحصول على خصم إضافي للطلاب والمحاضرين المرتبطين بجامعة. للحصول على هذا الخصم ، نطلب منك تقديم بعض الأدلة الخفيفة - مثل كتابتنا من عنوان بريد إلكتروني للجامعة - لإثبات انتمائك.
اختر البلد الذي توّد السفر إليه للدراسة مجانا أو العمل أو التطوع