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:

Įdomios straipsniai
Kada pasirodė žodis renege?
Skaityti daugiau

Kada pasirodė žodis renege?

„Renege“pirmą kartą pasirodė anglų kalba XVI amžiaus viduryje (su dabar archajiška reikšme „neigti, išsižadėti, apleisti arba apleisti“), tačiau tik XVIII amžiaus pabaigoje jis įgijo savo šiuolaikinę prasmę, kaip sakoma Oksfordo anglų kalbos žodyne:

Ar aktorė ini edo turi vaiką?
Skaityti daugiau

Ar aktorė ini edo turi vaiką?

Internautai dažnai ieško „Ini Edo“vaikų internete. Tačiau aktorė dar neturi vaikų. Kiek metų yra Nolivudo aktorei Ini Edo? Kiek metų Ini Edo? 2021 m. „Ini Edo“amžius yra 39 metai. Ji gimė 1982 m. balandžio 23 d. Akwa Ibom valstijoje, pietinėje Nigerijos dalyje.

Kaip gaminamas laetrilas?
Skaityti daugiau

Kaip gaminamas laetrilas?

Laetrilas yra sintetinamas iš amigdalino hidrolizės būdu. Įprastas komercinis š altinis yra abrikosų kauliukai (Prunus armeniaca). Pavadinimas kilęs iš atskirų žodžių „laevorotatory“ir „mandelonitrile“. Kur gaunamas laetrilas? Jis siejamas su rimtu nepageidaujamu poveikiu.