Taula de continguts
71 les relacions: Array associatiu (estructura de dades), Audrey Tang, Avaluació tardana, Característiques del llenguatge Haskell, Ciència computacional, Clean, CoffeeScript, Compilador Haskell de Glasgow, Comprovació de patrons, Computació paral·lela, Conjectura de Collatz, Csound, Currificació, Curry (llenguatge de programació), Desforestació (informàtica), Elm (llenguatge de programació), Entorn de treball per a aplicacions web, Estratègia d'avaluació, Fletxa (programació funcional), Format de coma flotant de precisió simple, Frege (llenguatge de programació), Funció d'Ackermann, Funció d'ordre superior, Functor, Functor aplicatiu, Hackató, Haskell (desambiguació), Haskell concurrent, Haskell Curry, Hugs, Hume (llenguatge de programació), Idris (llenguatge de programació), JavaScript, JSON Web Token, L4 (microkernel), Llenguatge de programació, Llenguatge de programació d'alt nivell, Llenguatge de programació probabilística, Llista de llenguatges de programació, Llista per comprensió, Logaritme, Màquina virtual Java, Mònada (programació funcional), ML, Notepad++, OCaml, OpenCL, OpenShift, Operació mòdul, Paradigma de programació, ... Ampliar l'índex (21 més) »
Array associatiu (estructura de dades)
En informàtica, un array associatiu o hash (a 2009 no existeix un terme normalitzat en català) és un tipus d'estructura de dades que conté elements indexats amb valors únics (no poden existir dos elements amb la mateixa clau índex dins del mateix array associatiu).
Veure Haskell і Array associatiu (estructura de dades)
Audrey Tang
Audrey Tang Feng (Taipei, Taiwan, 18 d'abril de 1981; de naixement Autrijus Tang Tsung-han) és una persona no-binària de Taiwan que es dedica al desenvolupament de programari lliure.
Veure Haskell і Audrey Tang
Avaluació tardana
En programació d'ordinadors, avaluació tardana (en anglès: Lazy evaluation) és la tècnica de retardar un càlcul fins que se'n requereixi el resultat.
Veure Haskell і Avaluació tardana
Característiques del llenguatge Haskell
Característiques del llenguatge de programació Haskell.
Veure Haskell і Característiques del llenguatge Haskell
Ciència computacional
La computació científica o ciència computacional és el camp d’estudi relacionat amb la construcció de models matemàtics i tècniques numèriques per resoldre problemes científics, de ciències socials i problemes d'enginyeria.
Veure Haskell і Ciència computacional
Clean
Clean és un llenguatge de programació funcional pur, de semàntica no estricta (avaluació tardana: les expressions s'avaluen només quan se'n demana el valor), desenvolupat a la universitat Radboud de Nimega, Holanda.
Veure Haskell і Clean
CoffeeScript
CoffeeScript és un llenguatge de programació que transcompila a JavaScript.
Veure Haskell і CoffeeScript
Compilador Haskell de Glasgow
ghc, ordre d'ordinador que respon a la sigla de "Glasgow Haskell Compiler", en català Compilador Haskell de Glasgow, és un compilador nadiu de codi lliure per al llenguatge de programació funcional Haskell, el qual va ser originalment desenvolupat a la universitat de Glasgow per Simon Peyton Jones i Simon Marlow.
Veure Haskell і Compilador Haskell de Glasgow
Comprovació de patrons
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 a partir de les operacions especificades en una expressió patró, obtenint-ne els components constitutius i assignant-los a les variables especificades al patró, cas de patrons d'expressions algebraiques o obtingudes com a resultat en cas d'expressions regulars en forma de llista de seccions delimitades per parèntesis.
Veure Haskell і Comprovació de patrons
Computació paral·lela
Supercomputadora de '''computació paral·lela''' Blue Gene/P d'IBM La computació paral·lela és una forma de computació en la qual molts càlculs es fan simultàniament, operant sobre el principi que sovint es poden dividir problemes grans en altres de més petits, els quals llavors es poden solucionar concurrentment ("en paral·lel").
Veure Haskell і Computació paral·lela
Conjectura de Collatz
òrbites de nombres petits sota el ''mapa de Collatz'', saltant els nombres parells. La conjectura de Collatz afirma que tots els camins eventualment porten cap a 1. La conjectura de Collatz és un dels problemes no resolts més famosos de les matemàtiques.
Veure Haskell і Conjectura de Collatz
Csound
Csound és un llenguatge de programació d'ordinador específic per a domini per a la programació d'àudio.
Veure Haskell і Csound
Currificació
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 a transformar una funció amb més d'un paràmetre en una composició de funcions que incorporen progressivament, d'un en un, els paràmetres de partida.
Veure Haskell і Currificació
Curry (llenguatge de programació)
Curry és un llenguatge experimental de programació en lògica funcional, basat en el llenguatge Haskell, que combina elements de llenguatge de programació funcional i programació lògica.
Veure Haskell і Curry (llenguatge de programació)
Desforestació (informàtica)
Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals.
Veure Haskell і Desforestació (informàtica)
Elm (llenguatge de programació)
Elm és un llenguatge de programació funcional i tipatge fort per crear interfícies d'usuari basades en navegadors web, generant estructures dinàmiques basades en JavaScript.
Veure Haskell і Elm (llenguatge de programació)
Entorn de treball per a aplicacions web
Un entorn de treball per a aplicacions web és una estructura de programari dissenyada per a donar suport al desenvolupament de llocs web dinàmics, aplicacions web i serveis web.
Veure Haskell і Entorn de treball per a aplicacions web
Estratègia d'avaluació
En un llenguatge de programació, una estratègia d'avaluació és un conjunt de regles per avaluar expressions.
Veure Haskell і Estratègia d'avaluació
Fletxa (programació funcional)
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 en l'encadenament de funcions amb efectes col·laterals.
Veure Haskell і Fletxa (programació funcional)
Format de coma flotant de precisió simple
Representació binària d'un nombre de coma flotant de 32 bits. El valor representat, 0,15625, ocupa 4 bytes de memòria: 00111110 00100000 00000000 00000000. El format de coma flotant de precisió simple (de vegades anomenat FP32 o float32) és un format de nombre d'ordinador, que sol ocupar 32 bits a la memòria de l'ordinador; representa un ampli rang dinàmic de valors numèrics utilitzant un punt radix flotant.
Veure Haskell і Format de coma flotant de precisió simple
Frege (llenguatge de programació)
Frege és un llenguatge de programació funcional, pur, d'avaluació tardana, de la família del llenguatge Haskell i influenciat pel Java.
Veure Haskell і Frege (llenguatge de programació)
Funció d'Ackermann
En teoria de la computació, la funció d'Ackermann és una funció recursiva que pren dos nombres naturals com arguments i retorna un únic nombre natural.
Veure Haskell і Funció d'Ackermann
Funció d'ordre superior
En matemàtica o informàtica, les funcions d'ordre superior són funcions que compleixen una de dues.
Veure Haskell і Funció d'ordre superior
Functor
A teoria de categories un functor o funtor és una funció d'una categoria a una altra que porta objectes a objectes i morfismes a morfismes de manera que la composició de morfismes i les identitats es preservin.
Veure Haskell і Functor
Functor aplicatiu
En programació funcional, un functor aplicatiu, en anglès applicative functor és una estructura algebraica que facilita la combinació de resultats d'una seqüència d'accions d'efectes laterals, sense la serialització temporal que requereixen les mònades, admetent paral·lelisme en la seva execució.
Veure Haskell і Functor aplicatiu
Hackató
Una hackató o marató de furoners (també conegut com a hackaton, hack day, hackfest o codefest) és un esdeveniment en el qual els programadors informàtics i altres persones involucrades en el desenvolupament de programari, inclòs dissenyadors gràfics, dissenyadors d'interfícies i gestors de projectes, col·laboren intensament en els projectes de programari.
Veure Haskell і Hackató
Haskell (desambiguació)
* Haskell, llenguatge de programació funcional estandarditzat.
Veure Haskell і Haskell (desambiguació)
Haskell concurrent
Haskell concurrent amplia Haskell98 amb concurrència explícita.
Veure Haskell і Haskell concurrent
Haskell Curry
va ser un matemàtic i lògic estatunidenc.
Veure Haskell і Haskell Curry
Hugs
Hugs ('''H'''askell User's Gofer System) és un intèrpret bytecode per al llenguatge funcional Haskell.
Veure Haskell і Hugs
Hume (llenguatge de programació)
Hume (Higher-order Unified Meta-Environment, ‘meta-entorn unificat d'ordre superior’) és un llenguatge de programació funcional i tipificació forta per a sistemes amb recursos limitats que incorpora elements per assegurar l'execució acotada en temps i espai.
Veure Haskell і Hume (llenguatge de programació)
Idris (llenguatge de programació)
Idris és un llenguatge de programació funcional amb tipus dependents de valors, desenvolupat a la Universitat escocesa de Saint Andrews sota la direcció d'Edwin Brady.
Veure Haskell і Idris (llenguatge de programació)
JavaScript
JavaScript és un llenguatge script basat en objectes implementat originàriament per Netscape Communications Corporation, i que va derivar en l'estàndard ECMAScript.
Veure Haskell і JavaScript
JSON Web Token
JSON Web Token (JWT) és un estàndard obert per l'intercanvi de testimonis d'autenticació (tokens) en arquitectures client-servidor.
Veure Haskell і JSON Web Token
L4 (microkernel)
L4 és una família de micronuclis de segona generació basada en els dissenys i implementacions originals de l'informàtic alemany Jochen Liedtke.
Veure Haskell і L4 (microkernel)
Llenguatge de programació
Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.
Veure Haskell і Llenguatge de programació
Llenguatge de programació d'alt nivell
Fig.1 Exemple de llenguatge d'alt nivell: java En computació, un llenguatge de programació d'alt nivell és un llenguatge de programació amb una alta abstracció dels detalls de maquinari de l'ordinador.
Veure Haskell і Llenguatge de programació d'alt nivell
Llenguatge de programació probabilística
Un llenguatge de programació probabilística (amb acrònim anglès PPL) és un llenguatge de programació dissenyat per a descriure models probabilístics i aleshores poder realitzar prediccions basades en aquests models.
Veure Haskell і Llenguatge de programació probabilística
Llista de llenguatges de programació
L'objectiu d'aquesta llista de llenguatges de programació és incloure tots els llenguatge de programació notables en l'existència, tant els d'ús actual i les històriques, per ordre alfabètic, a excepció dels dialectes de BASIC i llenguatges de programació esotèrics.
Veure Haskell і Llista de llenguatges de programació
Llista per comprensió
Una llista per comprensió (en l'original anglès list comprehension) és una construcció de programació que permet generar una llista a partir d'una funció definida parcialment, concretada en una expressió, especificant el subdomini de partida declarant-ne els valors compresos mitjançant una seqüència de rangs o generadors i filtres.
Veure Haskell і Llista per comprensió
Logaritme
mai l'interseca. Gràfiques de les funcions logarítmiques per a diverses bases ''b'': vermell en base ''e'', verd en base 10, i morat en base 1,7. La gràfica talla l'eix de les abscisses a ''x''.
Veure Haskell і Logaritme
Màquina virtual Java
Una màquina virtual Java (MVJ) és un conjunt de programes d'ordinador i estructures de dades que implementen un model específic de màquina virtual.
Veure Haskell і Màquina virtual Java
Mònada (programació funcional)
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), on la finalitat de les operacions és modelar la composició i la seqüencialitat de les computacions (accions amb efectes) mitjançant l'encadenament, separant la composició temporal, de l'execució, així com incorporar el resultat de cada operació sobre l'entorn.
Veure Haskell і Mònada (programació funcional)
ML
ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una família de llenguatges.
Veure Haskell і ML
Notepad++
El Notepad++ és un editor de codi font lliure i gratuït que suporta diversos llenguatges de programació i funciona sota l'entorn Microsoft Windows.
Veure Haskell і Notepad++
OCaml
OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.
Veure Haskell і OCaml
OpenCL
ncols; el nombre de files està implícit en el nombre d'elements de treball produïts pel programa amfitrió. Open Computing Language (OpenCL) és un framework per a programes d'escriptura que s'executa mitjançant plataformes heterogènies consistents en unitats centrals de processament (CPU), unitats de procés gràfic (GPUs), processadors de senyals digitals (DSP), FPGAs i altres processadors o acceleradors de hardware.
Veure Haskell і OpenCL
OpenShift
OpenShift és una família d'aplicacions informàtiques de contenidorització desenvolupades per RedHat.
Veure Haskell і OpenShift
Operació mòdul
verd) emprant diferents algorismes En informàtica, l'operació mòdul troba el residu de la divisió d'un nombre entre un altre (aquest residu també se sol anomenar mòdul).
Veure Haskell і Operació mòdul
Paradigma de programació
Un paradigma és una forma de representar i manipular el coneixement.
Veure Haskell і Paradigma de programació
Perl
Perl és un llenguatge de programació d'alt nivell, estable, interpretat i multiplataforma dissenyat per Larry Wall.
Veure Haskell і Perl
Poyen
Poyen és una població dels Estats Units a l'estat d'Arkansas.
Veure Haskell і Poyen
Processos comunicants seqüencials
Processos comunicants seqüencials, de sigles anglosaxones CSP (Communicating sequential processes), és un model de Programació d'ordinadors de sistemes concurrents basat en la comunicació entre processos.
Veure Haskell і Processos comunicants seqüencials
Programa informàtic
Un programa informàtic escrit en un estil orientat a objectes Un programa informàtic o programa d'ordinador és una seqüència d'instruccions, escrites per fer una tasca específica en una computadora.
Veure Haskell і Programa informàtic
Programació dinàmica
Dins de l'entorn de la informàtica, la programació dinàmica és un mètode per a reduir el temps d'execució d'un algorisme mitjançant la utilització de subproblemes superposats i subestructures òptimes, com es descriu a continuació.
Veure Haskell і Programació dinàmica
Programació funcional
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 dades mudables amb els seus canvis d'estat.
Veure Haskell і Programació funcional
Programació modular
La programació modular és una tècnica de disseny del programari que emfasitza separar la funcionalitat d'un programa a mòduls independents, intercanviables, tal que cadascun d'ells conté tot el necessari per a executar només un aspecte de la funcionalitat desitjada.
Veure Haskell і Programació modular
PureScript
PureScript és un llenguatge de programació funcional de codi obert basat en el llenguatge Haskell adaptat a un substrat JavaScript amb especificitats de Node.js, del qual pren els tipus bàsics, l'avaluació estricta per defecte, amb una sintaxi lleugerament diferent al Haskell estàndard, i unes classes numèriques amb pedigrí matemàtic (L'equivalent de Num del Haskell és Ring, denotant l'estructura d'anell, el de Fractional és Field, el nom anglosaxó per al Cos, l'equivalent de Integral és EuclideanRing, anell euclidià).
Veure Haskell і PureScript
Python
Python és un llenguatge de programació d'alt nivell i propòsit general molt utilitzat.
Veure Haskell і Python
Recollida de memòria brossa
En informàtica, la recollida de memòria brossa o recollida d'escombraries (de l'anglès, garbage collection) és un mecanisme implícit de gestió de memòria implementat en alguns compiladors i intèrprets de llenguatges de programació.
Veure Haskell і Recollida de memòria brossa
Redis
Redis és un projecte en xarxa de codi obert de base de dades accedida sobre memòria, basada en taules hash i amb persistència opcional.
Veure Haskell і Redis
Scala (llenguatge de programació)
Scala és un llenguatge de programació modern multi-paradigma dissenyat per a expressar patrons de programació generals d'una manera concisa, elegant i segura respecte als tipus.
Veure Haskell і Scala (llenguatge de programació)
Sobrecàrrega de l'operador
En programació d'ordinadors, la sobrecàrrega d'operadors, de vegades anomenada polimorfisme ad hoc d'operadors, és un cas específic de polimorfisme, on diferents operadors tenen diferents implementacions depenent dels seus arguments.
Veure Haskell і Sobrecàrrega de l'operador
Sumatori
El sumatori és l'addició d'un conjunt de nombres; el resultat és la seva suma o total.
Veure Haskell і Sumatori
SuperCollider
SuperCollider és un llenguatge de programació publicat originalment el 1996 per James McCartney per a la síntesi d'àudio en temps real i la composició algorítmica.
Veure Haskell і SuperCollider
TidalCycles
TidalCycles (també conegut com a "Tidal") és un entorn de codificació en viu dissenyat per a la improvisació musical i la composició.
Veure Haskell і TidalCycles
Tipus de dades algebraic
En matemàtiques discretes és usual introduir definicions d'estructures recursives donant els casos de definició i un axioma de clausura indicant que cap altra cosa forma part del definit.
Veure Haskell і Tipus de dades algebraic
Type class
Type class, (en català: classe de tipus) en ciència de la computació, és un sistema de tipus que suporta polimorfisme ad hoc.
Veure Haskell і Type class
Ur (llenguatge de programació)
Ur també anomenat Ur/Web és un llenguatge de programació, d'àmbit d'aplicació específic per desenvolupar aplicacions web, creat per Adam Chlipala a l'Institut Tecnològic de Massachusetts, que partint d'un únic programa, genera HTML amb codi client en JavaScript, codi nadiu per al servidor, i codi SQL per al sistema gestor de base de dades.
Veure Haskell і Ur (llenguatge de programació)
Xen
Xen és una màquina virtual de codi obert desenvolupada per la Universitat de Cambridge.
Veure Haskell і Xen
Yacc
Yacc és un programa informàtic per a generar analitzadors sintàctics.
Veure Haskell і Yacc
També conegut com Haskell (llenguatge de programació).