در ریاضیات، به‌ویژه تئوری مقوله‌ها، تابع یک نگاشت بین دسته‌ها است. تابع ها برای اولین بار در توپولوژی جبری در نظر گرفته شدند، جایی که اشیاء جبری به فضاهای توپولوژیکی مرتبط می شوند، و نقشه های بین این اشیاء جبری به نقشه های پیوسته بین فضاها مرتبط می شوند.
چگونه یک تابع را تعریف می کنید؟
در برنامه نویسی تابعی، تابع یک الگوی طراحی است که از تعریف نظریه دسته الهام گرفته شده است، که به یک نوع عمومی اجازه می دهد تا یک تابع را در داخل بدون تغییر ساختار نوع عمومی اعمال کند.. این ایده در Haskell با استفاده از کلاس نوع کدگذاری شده است. class Functor f که در آن fmap:: (a -> b) -> f a -> f b.
آیا تابع یک مورفیسم است؟
عملکرد هویت: در دسته C، نوشته شده با 1C یا idC، یک شی را به خودش و یک مورفیسم را برای خودش ترسیم می کند. تابع هویت یک endofunctor است.
کارکرد در زبانشناسی چیست؟
کارکرد واژه در زبانشناسی. در برنامه نویسی کامپیوتر: تابع (برنامه نویسی عملکردی) شی تابعی که برای ارسال نشانگرهای تابع به همراه اطلاعات وضعیت استفاده می شود. برای استفاده از این اصطلاح در زبان Prolog، به نحو و معناشناسی Prolog مراجعه کنید.
آیا لیست یک تابع است؟
طبق گفته توسعه دهندگان Haskell، همه انواع مانند List، Map، Tree و غیره نمونه هایی از Haskell Functor هستند.
