اپلیکیشن اندرویدی فلش‌کارت آموزشی Template Haskell از صفر تا صد: متابرنامه‌نویسی در هسکل ۹۸

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

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

عنوان دوره: دوره Template Haskell از صفر تا صد: متابرنامه‌نویسی در هسکل ۹۸

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

موضوع میانی: متابرنامه‌نویسی و Template Haskell

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

• 1. مقدمه‌ای بر هسکل ۹۸ و ویژگی‌های زبان
• 2. نصب و راه‌اندازی GHC و ابزارهای توسعه
• 3. مفاهیم پایه متابرنامه‌نویسی
• 4. تفاوت Template Haskell با سایر روش‌های متابرنامه‌نویسی
• 5. سینتکس و ساختار کد Template Haskell
• 6. Quotation: expression، pattern، type، declaration
• 7. Splices: نحوه‌ی درج کد در زمان کامپایل
• 8. کار با Q monad و توابع کمکی
• 9. تولید توابع ساده با Template Haskell
• 10. تولید انواع داده (Data Types) به صورت خودکار
• 11. Deriving instances به کمک Template Haskell
• 12. ساخت Lensها به صورت خودکار
• 13. کار با Type Families در Template Haskell
• 14. مدیریت نام‌گذاری و scoping در spliceها
• 15. استفاده از reify برای بررسی اطلاعات نوع در زمان کامپایل
• 16. تولید کد برای Serialization (JSON، Binary)
• 17. ساخت DSLهای داخلی با Template Haskell
• 18. بهینه‌سازی کد تولیدشده: inline، specialization
• 19. عیب‌یابی و دیباگ کردن spliceها
• 20. مدیریت خطاهای کامپایل ناشی از Template Haskell
• 21. تست واحد کد تولیدشده با QuickCheck
• 22. مقایسه Template Haskell با Generics و DerivingVia
• 23. کاربرد در کتابخانه‌های معروف (lens، aeson، servant)
• 24. نوشتن افزونه‌های GHC با Template Haskell
• 25. امنیت و محدودیت‌های Template Haskell
• 26. کار با QuasiQuoters برای زبان‌های تعبیه‌شده
• 27. تولید کد برای پردازش موازی و Concurrency
• 28. استفاده از Template Haskell در پروژه‌های واقعی
• 29. مدیریت وابستگی‌ها و نسخه‌بندی در پروژه‌های TH
• 30. بهترین شیوه‌ها و الگوهای طراحی در Template Haskell
• 31. مقدمه بر Typed Template Haskell (Typed splices)
• 32. تفاوت Typed و Untyped splices
• 33. کار با Typed quotes و splices
• 34. تبدیل کد Untyped به Typed
• 35. استفاده از Typed Template Haskell برای ایمنی نوع
• 36. مثال‌های پیشرفته: تولید ماشین‌های حالت (State Machines)
• 37. تولید کد برای پارسینگ (Parsers) به کمک TH
• 38. کار با Template Haskell در وجود GADTs
• 39. تولید Instanceهای Typeclassهای پیچیده
• 40. بهینه‌سازی حافظه و عملکرد کد TH
• 41. استفاده از Template Haskell برای Generics Programming
• 42. ترکیب Template Haskell با CPP و پیش‌پردازنده
• 43. مدیریت Template Haskell در پروژه‌های Multi-package
• 44. تست و CI/CD برای کدهای TH
• 45. مستندسازی کد تولیدشده با Haddock
• 46. محدودیت‌های Haskell 98 بر Template Haskell
• 47. مهاجرت از Haskell 98 به GHC2021 و تأثیر بر TH
• 48. مطالعه موردی: کتابخانه aeson و TH
• 49. مطالعه موردی: کتابخانه lens و TH
• 50. مطالعه موردی: servant و تولید APIها
• 51. نوشتن QuasiQuoter سفارشی برای SQL
• 52. تولید کد برای GraphQL Schema
• 53. کار با Template Haskell در وجود Linear Types
• 54. استفاده از TH برای تولید Benchmarkها
• 55. الگوهای Anti-pattern در Template Haskell و اجتناب از آن‌ها
• 56. مقایسه با MetaOCaml و سایر زبان‌های متابرنامه‌نویسی
• 57. آینده Template Haskell: پیشنهادات GHC
• 58. جمع‌بندی و مسیرهای یادگیری بیشتر