Resultats de la cerca
- En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les...26 Ko (2.510 paraules) - 19:01, 7 nov 2023
- El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió. Fou...2 Ko (211 paraules) - 09:19, 21 ago 2021
- En matemàtica o informàtica, les funcions d'ordre superior són funcions que compleixen una de dues: prendre una o més funcions com a entrada retornar una...879 octets (107 paraules) - 14:43, 2 maig 2023
- En programació funcional una mònada és un TAD sense tipus concrets, corresponent a una estructura algebraica d'un sol element (d'aquí el nom de mònada)...56 Ko (6.510 paraules) - 15:14, 28 juny 2023
- En tecnologies de la informació, l'encaix o comprovació de patrons (en anglès: pattern matching) és l'operació de comprovar si una dada pot ser descomposta...2 Ko (328 paraules) - 15:10, 25 des 2020
- En programació funcional una Fletxa s'utilitza en el llenguatge de programació Haskell i és un TAD que modela la precedència temporal de computacions basant-se...19 Ko (2.238 paraules) - 16:12, 7 abr 2024
- En tecnologies de la informació currificar és una tècnica, inventada per Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix...4 Ko (383 paraules) - 03:33, 10 des 2023
- En programació funcional, un functor aplicatiu, en anglès applicative functor és una estructura algebraica que facilita la combinació de resultats d'una...7 Ko (728 paraules) - 15:17, 6 abr 2024
- Una funció anònima és una funció o procediment que no està lligat a cap identificador. S'utilitza en llenguatges de programació que admeten funcions d'ordre...475 octets (52 paraules) - 19:32, 6 juny 2022
- En càlcul lambda, un terme està en forma normal beta si no és possible fer cap reducció beta. Un terme està en forma normal beta-eta si no són possibles...4 Ko (655 paraules) - 08:57, 8 abr 2022
- Una transformació de grafs, o reescriptura de grafs, és una tècnica per crear algorístmicament un nou graf a partir d'un altre graf donat. Té nombroses...14 Ko (1.657 paraules) - 10:33, 8 feb 2024
- TidalCycles (també conegut com a "Tidal") és un entorn de codificació en viu dissenyat per a la improvisació musical i la composició. En particular, és...3 Ko (256 paraules) - 05:55, 1 jul 2023