Què vol dir ser funcional?

Taula de continguts:

Què vol dir ser funcional?
Què vol dir ser funcional?
Anonim

En matemàtiques, concretament en la teoria de categories, un functor és un mapeig entre categories. Els funcionals es van considerar per primera vegada a la topologia algebraica, on els objectes algebraics s'associen a espais topològics i els mapes entre aquests objectes algebraics s'associen a mapes continus entre espais.

Com es defineix un functor?

En programació funcional, un functor és un patró de disseny inspirat en la definició de la teoria de categories, que permet que un tipus genèric apliqui una funció a l'interior sense canviar l'estructura del tipus genèric. Aquesta idea està codificada a Haskell mitjançant la classe de tipus. Class Functor f on fmap:: (a -> b) -> f a -> f b.

Un functor és un morfisme?

Functor d'identitat: a la categoria C, escrit 1C o idC, assigna un objecte a si mateix i un morfisme a si mateix. El functor d'identitat és un endofunctor.

Què és un functor en lingüística?

Paraula de funció en lingüística. A la programació d'ordinadors: Functor (programació funcional) Objecte de funció utilitzat per passar punters de funció juntament amb informació d'estat. per a l'ús del terme en llenguatge Prolog, vegeu la sintaxi i la semàntica de Prolog.

La llista és un functor?

Segons els desenvolupadors de Haskell, tots els tipus com ara llista, mapa, arbre, etc. són la instància del Functor Haskell.

Recomanat:

Articles d'interès
Per què s'utilitzen privilegis d'esborrar a mysql?
Llegeix més

Per què s'utilitzen privilegis d'esborrar a mysql?

FLUSH PRIVILEGES és veralment necessari si modifiquem les taules de subvencions directament utilitzant com INSERT, UPDATE o DELETE, els canvis no tenen cap efecte en la comprovació de privilegis fins que reiniciem el servidor o li diem que es recarregui.

En la definició d'enfurismat?
Llegeix més

En la definició d'enfurismat?

: fer(algú) molt enfadat: fer (algú) furiós. És una paraula enfurismada? verb (utilitzat amb objecte), in·fu·ri·at·ed, in·fu·ri·at·ing. fer furiós; enfurismat. Arcaic. enfurismat. Quin és el sinònim d'enfurismat? En aquesta pàgina podeu descobrir 17 sinònims, antònims, expressions idiomàtiques i paraules relacionades per a enfurismat, com ara:

Axis Sally era culpable?
Llegeix més

Axis Sally era culpable?

La senyoreta Mildred E. Gillars, de 48 anys, l'"Axis Sally" de la ràdio nazi, va ser declarada culpable de traïció per un jurat del Tribunal de Districte ahir a les 16:28. -- 28 hores i 25 minuts després d'haver rebut el cas. El tribunal va declarar que l'acusada de cabells platejats només era culpable d'un dels vuit actes de traïció que se li van acusar.