2024 Автор: Elizabeth Oswald | [email protected]. Последнее изменение: 2024-01-13 00:11
В математике, особенно в теории категорий, функтор - это отображение между категориями. Функторы впервые были рассмотрены в алгебраической топологии, где алгебраические объекты связаны с топологическими пространствами, а отображения между этими алгебраическими объектами связаны с непрерывными отображениями между пространствами.
Как определить функтор?
В функциональном программировании функтор - это шаблон проектирования, вдохновленный определением из теории категорий, который позволяет универсальному типу применять функцию внутри без изменения структуры универсального типа. Эта идея закодирована в Haskell с использованием класса типов. class Functor f где fmap:: (a -> b) -> f a -> f b.
Является ли функтор морфизмом?
Тождественный функтор: в категории C, записанный 1C или idC, отображает объект в себя и морфизм в себя. Тождественный функтор - это эндофунктор.
Что такое функтор в лингвистике?
Функциональное слово в языкознании. В компьютерном программировании: Functor (функциональное программирование) Функциональный объект, используемый для передачи указателей функций вместе с информацией о состоянии. использование этого термина в языке Пролог см. в разделе Синтаксис и семантика Пролога.
Является ли список функтором?
Согласно разработчикам Haskell, все типы, такие как список, карта, дерево и т. д., являются экземплярами функтора Haskell.
Рекомендуемые:
Что значит быть свергнутым?
Свидетельство под присягой по закону Соединенных Штатов или экспертиза для раскрытия информации по законодательству Канады включает получение под присягой внесудебных устных показаний свидетеля, которые могут быть сведены к письменной стенограмме для позднее использовать в суде или в целях раскрытия информации.
Что значит быть невидимым?
Невидимость - это состояние объекта, которого нельзя увидеть. Объект в этом состоянии называется невидимым. Феномен изучается физикой и перцептивной психологией. Что значит быть невидимым? Нелегко заметить или обнаружить; незаметный.
Что значит быть электрочувствительным?
Только некоторые из симптомов, с которыми сталкиваются люди, которые говорят, что страдают от «электрочувствительности». Электросенситивы, которые в основном ставят себе диагноз, говорят, что электромагнитные поля от мобильных телефонов, wi-fi и других современных технологий делают их серьезно больными.
Что значит быть прагматичным?
В лингвистике и смежных областях прагматика - это изучение того, как контекст влияет на смысл. Прагматика охватывает такие явления, как импликатура, речевые акты, релевантность и разговор. Что значит быть прагматичным человеком? Прагматичный человек больше озабочен фактами, чем тем, что могло бы или должно быть.
Что значит быть назначенным?
Быть назначенным означает получить задание или работу. Если вас назначили разносчиком пончиков на неделе, это означает, что вам поручили разносить угощения для всех. Вас могут назначить на небольшую должность или на большое повышение, как, например, когда учитель физкультуры в школе неожиданно назначается директором.