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

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

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

عنوان دوره: دوره از Real World Haskell تا دنیای واقعی برنامه‌نویسی با Haskell

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

موضوع میانی: مبانی و اصول Haskell

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

• 1. موضوعات دوره آموزشی "از Real World Haskell تا دنیای واقعی برنامه‌نویسی با Haskell" به شرح زیر است:
• 2. مقدمه‌ای بر برنامه‌نویسی تابعی
• 3. چرا Haskell؟ مزایا و فلسفه
• 4. نصب GHC و محیط توسعه (Stack/Cabal)
• 5. اولین برنامه Haskell: "Hello, World!"
• 6. کار با GHCi: مفسر تعاملی Haskell
• 7. انواع داده بنیادی: Int, Integer, Float, Double, Bool, Char
• 8. تعریف توابع ساده: از ورودی تا خروجی
• 9. امضا (Type Signature) توابع: خوانایی و ایمنی
• 10. اعمال توابع و ترکیب آنها
• 11. لیست‌ها: ساختار داده اصلی Haskell
• 12. تاپل‌ها: مجموعه‌هایی از مقادیر
• 13. رشته‌ها در Haskell: لیست‌هایی از کاراکترها
• 14. تطبیق الگو (Pattern Matching): توابع قدرتمندتر
• 15. شرط‌ها و Guardها: if-then-else و guard
• 16. تعریف توابع بازگشتی: محاسبه فاکتوریل
• 17. بازگشت با لیست‌ها: پردازش عناصر لیست
• 18. توابع مرتبه بالاتر (Higher-Order Functions): توابع به عنوان آرگومان
• 19. `map`: اعمال تابع روی هر عنصر لیست
• 20. `filter`: انتخاب عناصر لیست بر اساس شرط
• 21. `foldl` و `foldr`: تجمیع عناصر لیست
• 22. توابع بی‌نام (Lambda Expressions): توابع کوچک درجا
• 23. Currying و اعمال جزئی (Partial Application)
• 24. کامپوزیت توابع (Function Composition)
• 25. مقدمه‌ای بر System F: چندریختی (Polymorphism)
• 26. Type Classes: رفتارهای مشترک بین انواع
• 27. Type Classes بنیادی: Eq, Ord, Show, Read
• 28. مشتق‌گیری (Deriving) خودکار Type Classes
• 29. ایجاد Type Class سفارشی
• 30. Data Types: تعریف انواع داده جدید
• 31. Product Types: ساختار Record
• 32. Sum Types: انتخاب‌های متفاوت (مثال Maybe)
• 33. `newtype`: تفاوت با `data` و کاربردها
• 34. Recursion با انواع داده دلخواه
• 35. Type Aliases: نام‌های مستعار برای انواع
• 36. Laziness و ارزیابی تأخیری: قدرت و چالش‌ها
• 37. لیست‌های بی‌نهایت: مثال‌های عملی
• 38. Data.Maybe: مدیریت مقادیر عدمی
• 39. Data.Either: مدیریت خطاها و دو حالت خروجی
• 40. مقدمه‌ای بر Monad: چرا به آنها نیاز داریم؟
• 41. Type Class Functor: نگاشت روی ساختارها
• 42. Type Class Applicative: اعمال توابع چند آرگومانی روی Functorها
• 43. Type Class Monad: دنباله‌سازی عملیات‌ها
• 44. Monad IO: تعامل با دنیای خارج
• 45. `do` Notation: سینتکس راحت‌تر برای Monadها
• 46. انجام ورودی/خروجی ساده: putStrLn, getLine
• 47. خواندن و نوشتن فایل‌ها (ساده)
• 48. Moduleها: سازماندهی کد
• 49. تعریف و Export کردن توابع و انواع
• 50. Import کردن Moduleها: qualified, hiding
• 51. خطاگیری و Debugging: ابزارها و تکنیک‌ها
• 52. مدیریت خطا با Exceptionها در IO
• 53. `error` و `undefined`: پرهیز از آنها
• 54. Data.List: توابع مفید برای کار با لیست‌ها
• 55. Data.Char: توابع برای کار با کاراکترها
• 56. Data.String: کار با رشته‌ها
• 57. Data.Tuple: توابع کمکی برای تاپل‌ها
• 58. Data.Bool: توابع منطقی
• 59. Data.Ord: مرتب‌سازی و مقایسه
• 60. Data.Function: توابع کاربردی
• 61. Lazy I/O: خواندن فایل‌های بزرگ
• 62. Monad `State`: مدیریت حالت در توابع خالص
• 63. Monad `Reader`: دسترسی به محیط مشترک
• 64. Monad `Writer`: ثبت گزارش (logging)
• 65. Monad Transformers: ترکیب Monadها
• 66. Control.Monad: توابع عمومی برای Monadها
• 67. Data Structures: Data.Map (نقشه‌ها)
• 68. Data Structures: Data.Set (مجموعه‌ها)
• 69. Data Structures: Data.Vector (آرایه‌های کارآمد)
• 70. Data Structures: Data.Sequence (دنباله‌ها)
• 71. Data.Array: آرایه‌های جهش‌پذیر و ثابت
• 72. ByteStrings: کارآمد برای داده‌های باینری
• 73. String در مقابل Text و ByteString
• 74. مدیریت زمان و تاریخ: Data.Time
• 75. FFI (Foreign Function Interface): اتصال به زبان C
• 76. FFI: فراخوانی توابع C از Haskell
• 77. FFI: فراخوانی توابع Haskell از C
• 78. Concurrency: مقدمه‌ای بر برنامه‌نویسی هم‌روند
• 79. `forkIO` و Lightweight Threads
• 80. MVars: همگام‌سازی و ارتباط بین Threadها
• 81. STM (Software Transactional Memory): مدیریت هم‌روند بدون قفل
• 82. Parallelism: اجرای موازی کد
• 83. GHC Profiler: شناسایی گلوگاه‌های کارایی
• 84. Strictness و Bang Patterns: بهینه‌سازی کارایی
• 85. Unboxing و کاربرد آن در کارایی
• 86. Template Haskell: برنامه‌نویسی متا
• 87. QuickCheck: تست‌های مبتنی بر ویژگی (Property-based Testing)
• 88. HUnit: تست واحد (Unit Testing)
• 89. Parsec: کتابخانه‌ای برای تجزیه (Parsing)
• 90. نوشتن یک Parser ساده با Parsec
• 91. کار با JSON و YAML (کتابخانه‌ها)
• 92. HTTP Client: درخواست‌های وب
• 93. Socket Programming: ایجاد یک سرور/کلاینت ساده
• 94. اتصال به پایگاه داده: مقدمه‌ای بر Persistent/HDBC
• 95. کار با پایگاه داده SQLite
• 96. Command Line Arguments: دریافت ورودی از خط فرمان
• 97. Environment Variables: خواندن متغیرهای محیطی
• 98. Building Tools: Stack و Cabal در پروژه‌های بزرگ
• 99. مستندسازی کد با Haddock
• 100. دیپلوی برنامه‌های Haskell