Մաթեմատիկայում, մասնավորապես կատեգորիաների տեսության մեջ, ֆունկտորը կատեգորիաների միջև քարտեզագրումն է: Ֆունկտորներն առաջին անգամ դիտարկվել են հանրահաշվական տոպոլոգիայում, որտեղ հանրահաշվական առարկաները կապված են տոպոլոգիական տարածությունների հետ, իսկ այդ հանրահաշվական օբյեկտների միջև քարտեզները կապված են տարածությունների միջև շարունակական քարտեզների հետ:
Ինչպե՞ս եք սահմանում ֆունկցիան:
Ֆունկցիոնալ ծրագրավորման մեջ ֆունկտորը դիզայնի օրինաչափություն է, որը ներշնչված է կատեգորիայի տեսության սահմանումից, որը թույլ է տալիս ընդհանուր տիպին կիրառել ֆունկցիա ներսում՝ առանց փոխելու ընդհանուր տիպի կառուցվածքը. Այս գաղափարը կոդավորված է Haskell-ում՝ օգտագործելով type class: դաս Ֆունկտոր f որտեղ fmap:: (a -> b) -> f a -> f b.
Ֆունկտորը մորֆիզմ է:
Ինքնության գործակից. C կատեգորիայում, գրված է 1C կամ idC, քարտեզագրում է առարկան ինքն իրեն, իսկ մորֆիզմը՝ ինքն իրեն: Նույնականացման ֆունկցիոնալը endofunctor է:
Ի՞նչ է ֆունկտորը լեզվաբանության մեջ:
Ֆունկցիոնալ բառ լեզվաբանության մեջ. Համակարգչային ծրագրավորման մեջ. Functor (functional Programming) Ֆունկցիոնալ օբյեկտ, որն օգտագործվում է ֆունկցիայի ցուցիչները վիճակի տեղեկատվության հետ միասին փոխանցելու համար: Prolog լեզվում տերմինի օգտագործման համար տե՛ս Prolog-ի շարահյուսություն և իմաստաբանություն:
Արդյո՞ք ցուցակը ֆունկցիոներ է:
Ըստ Haskell-ի մշակողների, բոլոր տեսակները, ինչպիսիք են Ցուցակը, Քարտեզը, Ծառը և այլն, Haskell Functor-ի օրինակն են:
