Ką reiškia būti funkciniu?

Turinys:

Ką reiškia būti funkciniu?
Ką reiškia būti funkciniu?
Anonim

Matematikoje, ypač kategorijų teorijoje, funktorius yra kategorijų atvaizdavimas. Funktoriai pirmiausia buvo apsvarstyti algebrinėje topologijoje, kur algebriniai objektai susiejami su topologinėmis erdvėmis, o žemėlapiai tarp šių algebrinių objektų yra susieti su ištisiniais žemėlapiais tarp erdvių.

Kaip apibrėžti funkcionorių?

Funkciniame programavime funktorius yra dizaino modelis, įkvėptas kategorijų teorijos apibrėžimo, kuris leidžia bendrajam tipui pritaikyti funkciją viduje nekeičiant bendrojo tipo struktūros. Ši idėja yra užkoduota Haskell naudojant tipo klasę. klasė f, kur fmap:: (a -> b) -> f a -> f b.

Ar funktorius yra morfizmas?

Identity Funktorius: C kategorijoje, parašytas 1C arba idC, susieja objektą su savimi ir morfizmą su savimi. Tapatybės veiksnys yra endofunctor.

Kas yra kalbotyros funkcionorius?

Funkcinis žodis kalbotyroje. Kompiuterio programavimas: Funktorius (functional programming) Funkcinis objektas, naudojamas funkcijų rodyklėms perduoti kartu su būsenos informacija. Norėdami naudoti terminą Prolog kalba, žr. Prolog sintaksę ir semantiką.

Ar sąrašas yra funkcinis veiksnys?

Pasak Haskell kūrėjų, visi tipai, tokie kaip sąrašas, žemėlapis, medis ir kt., yra Haskell Functor pavyzdys.

Rekomenduojamas: