استقرایی

💡 این روش نوشتن توابع بازگشتی/ اثبات‌های استقرایی، طبیعی تر از اعمال اصل‌های استقرایی خام است. در آگدا، تطابق الگوی وابسته تایپ شده، از اصول ابتدایی زبان است. زبان اصلی فاقد اصول استقرا/بازگشت است که تطابق الگو به آن ترجمه می‌شود.

💡 عقاید مختلفی دربارهٔ این دو نوع دانش وجود دارد و رابطه بین آن‌ها یکی از قدیمی‌ترین مسایل فلسفه مدرن است. به اصطلاحات مرتبط قیاسی/استقرایی، گزاره تحلیلی-گزاره ترکیبی، وجوب/امکان رجوع کنید.

💡 روش علمی براساس استدلال استنتاجی و استقرایی انجام می‌شود. استقرا به معنای رسیدن از جزء به کل است و با استفاده از معلومات جزئی و داده‌های تجربی، حکم کلی استخراج می‌شود. استنتاج نیز به معنای رسیدن از کل به جزء است و براساس نظریه‌های موجود فرضیه‌ها ساخته می‌شوند و با آزمون فرضیه‌ها، نتایج تحقیق روشن می‌شود. استدلال استنتاجی و استقرایی در تجزیه و تحلیل داده‌ها و در روش علمی نقش مهمی دارند.

💡 این روش نوشتن توابع بازگشتی/ اثبات‌های استقرایی طبیعی تر از اعمال اصول استقرایی خام است. در آگدا، تطابق الگوی وابسته تایپ شده، از اصول ابتدایی زبان است. زبان اصلی فاقد اصول استقرا/بازگشت است که تطابق الگو به آن ترجمه می‌شود.

💡 استفاده از انواع داده‌های استقرایی، راه اصلی تعریف انواع داده‌ها در آگدا است که مانند انواع داده‌های جبری در زبان‌های برنامه‌نویسی غیر وابسته به تایپ است.