کتاب صوتی برنامه‌نویسی ایمن و مطمئن با زبان F*

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

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

عنوان دوره: دوره برنامه‌نویسی ایمن و مطمئن با زبان F*

موضوع کلی: علوم کامپیوتر

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

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

• 1. مقدمه‌ای بر برنامه‌نویسی سیستم‌ها و چالش‌های آن
• 2. معرفی زبان برنامه‌نویسی F* و فلسفه طراحی آن
• 3. نصب و راه‌اندازی محیط توسعه F*
• 4. آشنایی با نوع‌های داده‌ای پایه در F*
• 5. عملگرها و عبارات در F*
• 6. توابع و توابع بازگشتی در F*
• 7. سیستم نوع‌دهی F* و مزایای آن
• 8. اثبات‌کننده‌های نوع‌دهی در F* (Type Provers)
• 9. مدیریت حافظه در F* و جلوگیری از نشت حافظه
• 10. یادگیری اشاره‌گرها و عملیات مربوط به آن‌ها در F*
• 11. بررسی مفهوم مالکیت (Ownership) در F*
• 12. استفاده از قراردادها (Contracts) برای تضمین صحت کد
• 13. معرفی مفهوم اثبات رسمی (Formal Verification) در F*
• 14. نوشتن توابع ایمن برای دسترسی به حافظه
• 15. بررسی ویژگی‌های همزمانی (Concurrency) در F*
• 16. ایجاد و مدیریت threadها در F*
• 17. استفاده از قفل‌ها و mutexها در F* برای جلوگیری از شرایط مسابقه
• 18. نوشتن کد ایمن برای دسترسی به منابع مشترک
• 19. معرفی مفاهیم برنامه‌نویسی موازی در F*
• 20. آشنایی با کتابخانه‌های استاندارد F*
• 21. ساخت و استفاده از ماژول‌ها در F*
• 22. بررسی ساختارهای داده‌ای در F*
• 23. پیاده‌سازی لیست پیوندی در F*
• 24. پیاده‌سازی درخت جستجوی دودویی در F*
• 25. برنامه‌نویسی ورودی/خروجی در F*
• 26. کار با فایل‌ها در F*
• 27. آشنایی با شبکه‌سازی در F*
• 28. ایجاد یک سرور ساده با استفاده از F*
• 29. آشنایی با مفاهیم امنیت در برنامه‌نویسی سیستم‌ها
• 30. نوشتن کد ایمن در برابر حملات تزریق کد
• 31. بررسی تکنیک‌های رمزنگاری در F*
• 32. آشنایی با مفاهیم دیباگینگ در F*
• 33. استفاده از ابزارهای دیباگینگ F*
• 34. نوشتن تست‌های واحد برای کد F*
• 35. آشنایی با مفاهیم CI/CD در F*
• 36. استفاده از ابزارهای CI/CD برای F*
• 37. معرفی پروژه‌های متن‌باز F*
• 38. بررسی نمونه‌های کد پیشرفته در F*
• 39. بهینه‌سازی کد F* برای عملکرد بهتر
• 40. آشنایی با مفاهیم برنامه‌نویسی متا (Meta-programming) در F*
• 41. استفاده از ماکروها در F*
• 42. بررسی مفاهیم برنامه‌نویسی جنریک (Generic Programming) در F*
• 43. آشنایی با الگوهای طراحی در F*
• 44. پیاده‌سازی الگوهای طراحی رایج در F*
• 45. بررسی مفاهیم برنامه‌نویسی تابعی (Functional Programming) در F*
• 46. نوشتن کد تابعی در F*
• 47. آشنایی با مفاهیم برنامه‌نویسی شی‌گرا (Object-Oriented Programming) در F*
• 48. پیاده‌سازی کلاس‌ها و اشیاء در F*
• 49. بررسی مفاهیم وراثت و چندریختی در F*