اپلیکیشن اندرویدی فلش‌کارت آموزشی آموزش Haskell برای برنامه‌نویسی تابعی

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره آموزش Haskell برای برنامه‌نویسی تابعی

موضوع کلی: برنامه نویسی

موضوع میانی: زبان‌های برنامه‌نویسی**

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر برنامه‌نویسی تابعی و Haskell
• 2. نصب و راه‌اندازی محیط توسعه Haskell (GHC و Cabal)
• 3. آشنایی با مفسر تعاملی GHCi
• 4. انواع داده‌های پایه: اعداد، کاراکترها و بولی‌ها
• 5. تعریف توابع و عملگرها در Haskell
• 6. لیست‌ها و عملیات پایه روی آن‌ها
• 7. تاپل‌ها و کاربردهای آن‌ها
• 8. رشته‌ها و توابع مرتبط
• 9. الگوی‌مatching (Pattern Matching) در توابع
• 10. نگهبان‌ها (Guards) در تعریف توابع
• 11. عبارات where و let
• 12. توابع چندریختی (Polymorphic Functions) و نوع‌های پارامتری
• 13. کلاس‌های نوع (Type Classes) مقدماتی: Eq, Ord, Show, Read
• 14. کلاس نوع Num و اعداد
• 15. توابع مرتبه بالاتر (Higher-Order Functions): map, filter
• 16. توابع مرتبه بالاتر: foldl, foldr و scan
• 17. توابع بی‌نام (Lambda Expressions)
• 18. کری کردن (Currying) و کاربرد جزئی توابع
• 19. ترکیب توابع (Function Composition)
• 20. تعریف نوع‌های داده‌ای جدید با data
• 21. نوع‌های جبری داده (Algebraic Data Types)
• 22. سینتکس Record در نوع‌های داده‌ای
• 23. نوع‌های بازگشتی (Recursive Data Types)
• 24. درختان دودویی به عنوان نوع داده بازگشتی
• 25. ایجاد نمونه از کلاس‌های نوع (Instance Declarations)
• 26. کلاس نوع Functor و کار با آن
• 27. کلاس نوع Applicative
• 28. کلاس نوع Monad و مفهوم موناد
• 29. موناد Maybe برای مدیریت خطا
• 30. موناد List و درک لیست (List Comprehensions)
• 31. موناد IO برای ورودی/خروجی
• 32. نوشتن و خواندن فایل‌ها
• 33. مدیریت خطا با Either
• 34. تاخیر در ارزیابی (Lazy Evaluation) و مزایای آن
• 35. لیست‌های بی‌نهایت و کاربرد آن‌ها
• 36. ماژول‌ها و ساختار کد
• 37. سیستم بسته‌بندی Cabal و Stack
• 38. آزمون‌نویسی با HUnit و QuickCheck
• 39. مقدمه‌ای بر زبان‌های خاص دامنه (DSL) در Haskell
• 40. موناد State برای مدیریت وضعیت
• 41. موناد Reader و Writer
• 42. ترکیب مونادها (Monad Transformers)
• 43. ایجاد موناد سفارشی
• 44. تایپ‌های الحاقی (Newtype) و کاربرد آن‌ها
• 45. فولدهای عمومی (Generalized Folds) با Foldable
• 46. تراورس کردن (Traversable)
• 47. زی‌ن‌ها (Zippers) روی ساختارهای داده
• 48. تجزیه‌گرها (Parsers) با Parsec یا Megaparsec
• 49. برنامه‌نویسی هم‌روند (Concurrent) پایه با Haskell
• 50. مقدمه‌ای بر کتابخانه‌های معروف: Aeson (JSON) و HTTP