فلش‌کارت‌های آموزشی Scala و Functional Programming: Monads, Functors, Applicatives

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

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

عنوان دوره: دوره Scala و Functional Programming: Monads, Functors, Applicatives

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

موضوع میانی: برنامه‌نویسی شیءگرا و کاربردی با Scala

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

• 1. مقدمه‌ای بر برنامه‌نویسی کاربردی در Scala
• 2. انواع داده و اموال در Scala
• 3. توابع مرتبه بالا و توابع بازگشتی
• 4. توابع خالص و عدم اثر جانبی
• 5. شفافیت ارجاعی و قابلیت استدلال
• 6. کلاس‌های نوع و نوع‌گذاری
• 7. انواع جبری داده (ADT)
• 8. Case Classes و Sealed Traits
• 9. الگویابی الگوریتمی (Pattern Matching)
• 10. Option و مدیریت ارزش خالی
• 11. Either و مدیریت خطا
• 12. مجموعه‌ها و عدم تغییرپذیری
• 13. عبارات for و for-comprehension
• 14. کارینگ و بخش‌گیری توابع
• 15. تابع‌های ترکیبی (Composition)
• 16. تعریف Functor و قوانین آن
• 17. Functor در عمل: map روی Option, List, Either
• 18. قوانین هویت و ترکیب Functor
• 19. کوواریانس و کانتراواریانس
• 20. Bifunctor و Invariant Functor
• 21. ترکیب Functors
• 22. تست قوانین Functor با ScalaCheck
• 23. تعریف Applicative و تفاوت با Functor
• 24. pure و ap در Applicative
• 25. Applicative برای Option, List, Either
• 26. Product و map2 در Applicative
• 27. اعتبارسنجی با Accumulation Error
• 28. قوانین Applicative
• 29. Applicative Parsing
• 30. مقایسه Applicative و Monad در اعتبارسنجی
• 31. تعریف Monad و تفاوت با Applicative
• 32. flatMap و unit در Monad
• 33. قوانین Monad: همنوایی چپ و حق
• 34. Monad برای Option, List, Either, Future
• 35. Desugaring for-comprehension به flatMap/map
• 36. Monad Transformers: OptionT, EitherT
• 37. ReaderT و StateT Monad Transformers
• 38. WriterT و استفاده از Logging
• 39. MonadError و MonadPlus
• 40. تزریق سینتکس (Syntax Enrichment)
• 41. آرایه‌های Kleisli
• 42. Free Monads
• 43. Coproducts و ترکیب Monadها
• 44. Monad Comprehensions
• 45. State Monad و مدیریت وضعیت
• 46. Reader Monad و وابستگی
• 47. Writer Monad و لاگ‌نویسی
• 48. IO Monad و اثرات جانبی
• 49. Tagless Final
• 50. Free Monads و Interpreters
• 51. Monad Stacks و مدیریت منابع
• 52. Concurrent Monads
• 53. مقدمه‌ای بر کتابخانه Cats
• 54. نوع Monad در کتابخانه Cats
• 55. نوع Functor و Applicative در Cats
• 56. مقایسه Cats و Scalaz
• 57. تست قوانین Monad با ScalaCheck
• 58. الگوهای طراحی با Monad
• 59. Monadic Error Handling در عمل
• 60. Monadic Parsing
• 61. Monadic Configuration و Dependency Injection
• 62. Resource Management با Monad
• 63. Monads در کد واقعی Scala
• 64. تست کد تابعی با Property-Based Testing
• 65. تست قوانین نوع‌ها با Discipline
• 66. Higher-Kinded Types
• 67. Kind Projector و نوع‌سازی پیشرفته
• 68. Type Lambda و بیان‌گرهای نوع
• 69. Variance و نوع‌گذاری توکاری
• 70. Context Bounds و Type Classes
• 71. Implicit Resolution و Type Class Derivation
• 72. Deriving Type Classes به‌صورت خودکار
• 73. Monoid و Semigroup در Functor
• 74. Foldable Traversable
• 75. Traverse و Sequence
• 76. Applicative و Foldable ترکیبی
• 77. Monad و Recursion Schemes
• 78. Cofree و Ana morphisms
• 79. Catamorphism و Hypermorphism
• 80. Lens و Optics در Functor
• 81. Profunctor و Strong/Wander
• 82. Comonad و Coapplicative
• 83. Semigroupal و Alternative
• 84. Monoidal Functors
• 85. Applicative Error Handling
• 86. MonadError در Cats
• 87. Concurrent Effects و MonadCancel
• 88. Resource و MonadResource
• 89. Test Framework و Laws
• 90. معماری برنامه با Monads
• 91. تبدیل Monadic و For-Yielding
• 92. Nested Monads و Flatten
• 93. Monad و Parallelism
• 94. Monad و Streaming
• 95. Eval و Lazy Monad
• 96. Id و Constant Functors
• 97. کاتز و مونوئیدها در Haskell/Scala