امیررضا قادری
فهرست وب نوشت‌ها
-
تایپ هایی که به آن ایمان داریم!
مزایای استفاده از زبان‌های استاتیک تایپ
۱۳۹۶/۱۲/۱۵ -
دیتا تایپ‌های جبری (ADT)
تشریح مفهوم دیتا تایپ های جبری
۱۳۹۶/۱۱/۲۱ -
نبود قابلیت‌های مختلف در گولنگ: جنریک
نبود قابلیت‌های مختلف در گولنگ: جنریک و چگونگی پیاده‌سازی آن در گولنگ
۱۳۹۶/۰۴/۲۱ -
شیوه‌های مختلف پیاده سازی جنریک در زبان‌ها
نگاهی به شیوه‌های مختلف پیاده سازی جنریک در زبان های برنامه نویسی
۱۳۹۶/۰۴/۲۰ -
مفاهیم بنیادین تایپ سیستم ها
مرجع فارسی برای آشنایی با مفاهیم بنیادی تایپ سیستم ها
۱۳۹۶/۰۴/۱۵