Taula de continguts
85 les relacions: Altivec, AMD, AMD64, Anell (matemàtiques), Aritat, ASCII, Axiomes de Peano, Blog, Bootstrapping, Codi obert, Coma flotant, Compilador Haskell de Glasgow, Cos (matemàtiques), Demostració per inducció, Desforestació (informàtica), Element absorbent, Elm (llenguatge de programació), Erlang, Expressió regular, Fletxa (programació funcional), Forma de Backus i Naur Ampliada, Fracció pròpia, Frege (llenguatge de programació), Funció hash, Functor, Göteborg, Glasgow, GPGPU, Haskell, Haskell concurrent, Hugs, Hyper Text Markup Language, Idempotència, Idris (llenguatge de programació), IEEE 754, Intel, Interfície de programació d'aplicacions, Java (llenguatge de programació), JavaScript, JSON, Linux, Llenguatge C, Llenguatge de marques, Llista per comprensió, LLVM, MacOS, Maquinari, Màquina virtual Java, Mònada (programació funcional), Melbourne, ... Ampliar l'índex (35 més) »
Altivec
Altivec és el conjunt d'instruccions SIMD (en anglès, Single Instruction Multiple Data) propietat de l'aliança AIM (Apple Computer, IBM i Motorola).
Veure Compilador Haskell de Glasgow і Altivec
AMD
Advanced Micro Devices, Inc. (AMD) és una empresa global que especialitza a dispositius de semiconductor de la fabricació van usar a tramitació d'ordinador.
Veure Compilador Haskell de Glasgow і AMD
AMD64
AMD64, inicialment coneguda com a x86-64, és una arquitectura basada en l'extensió del conjunt d'instruccions x86 per manejar adreces de 64 bits, realitzada per AMD.
Veure Compilador Haskell de Glasgow і AMD64
Anell (matemàtiques)
En matemàtiques, un anell és una estructura algebraica formada per un conjunt A d'elements on hi ha definides dues operacions binàries, que anomenarem suma (+) i producte (·) (tot i que no són necessàriament la suma i el producte de nombres reals habituals) i que compleixen les següents propietats:.
Veure Compilador Haskell de Glasgow і Anell (matemàtiques)
Aritat
En l'anàlisi matemàtica, l'aritat d'un operador matemàtic o d'una funció és el nombre d'arguments necessaris perquè aquest operador o funció es pugui calcular.
Veure Compilador Haskell de Glasgow і Aritat
ASCII
Hi ha 95 caràcters ASCII imprimibles, numerats del 32 al 126 ASCII (de l'anglès American Standard Code for Information Interchange) és un codi estàndard estatunidenc per a l'intercanvi d'informació.
Veure Compilador Haskell de Glasgow і ASCII
Axiomes de Peano
Els axiomes de Peano (o postulats de Peano) són un conjunt d'axiomes de segon ordre que defineixen de manera exacta la teoria dels nombres naturals.
Veure Compilador Haskell de Glasgow і Axiomes de Peano
Blog
Un blog (de l'anglès blog, abreviació de weblog: diari web) és un diari interactiu personal (dip) a Internet.
Veure Compilador Haskell de Glasgow і Blog
Bootstrapping
La paraula anglesa bootstrapping és generalment un terme utilitzat per descriure l'arrencada, o procés d'inici de qualsevol ordinador.
Veure Compilador Haskell de Glasgow і Bootstrapping
Codi obert
Logotip del '''codi obert'''. El codi obert, de vegades referit com a "codi font obert" (open source en anglès) és un enfocament per al disseny, el desenvolupament i la distribució que ofereix un accés pràctic al codi font del producte (béns i coneixements).
Veure Compilador Haskell de Glasgow і Codi obert
Coma flotant
Coma flotant o punt flotant és un mètode de representació aproximada de nombres reals que es pot adaptar a l'ordre de magnitud del valor a representar, usualment traslladant la coma decimal - mitjançant un exponent - cap a la posició de la primera xifra significativa del valor.
Veure Compilador Haskell de Glasgow і Coma flotant
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 Compilador Haskell de Glasgow і Compilador Haskell de Glasgow
Cos (matemàtiques)
nombres construïbles. En l'àlgebra abstracta, un cos és un sistema algebraic en què és possible efectuar la suma, resta, multiplicació i divisió (llevat de la divisió per 0), i en la qual se satisfan certes lleis.
Veure Compilador Haskell de Glasgow і Cos (matemàtiques)
Demostració per inducció
date.
Veure Compilador Haskell de Glasgow і Demostració per inducció
Desforestació (informàtica)
Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals.
Veure Compilador Haskell de Glasgow і Desforestació (informàtica)
Element absorbent
En àlgebra, un element absorbent és un tipus especial d'element d'un conjunt respecte d'una operació binària definida en el mateix.
Veure Compilador Haskell de Glasgow і Element absorbent
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 Compilador Haskell de Glasgow і Elm (llenguatge de programació)
Erlang
Erlang és un llenguatge de programació concurrent i un sistema d'execució (en anglès runtime) que inclou una màquina virtual (BEAM, acrònim de "Bogdan/Björn's Erlang Abstract Machine") i biblioteques (OTP: "Open Telephony Platform").
Veure Compilador Haskell de Glasgow і Erlang
Expressió regular
En informàtica, una expressió regular (o col·loquialment anomenades regexp, acrònim de l'anglès regular expression) és una representació, segons unes regles sintàctiques d'un llenguatge formal, d'una porció de text genèric a buscar dins d'un altre text, com per exemple uns caràcters, paraules o patrons de text concrets.
Veure Compilador Haskell de Glasgow і Expressió regular
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 Compilador Haskell de Glasgow і Fletxa (programació funcional)
Forma de Backus i Naur Ampliada
En informàtica la Forma de Backus i Naur Ampliada amb denominació anglosaxona Extended Backus-Naur Form o EBNF és una notació que té per finalitat descriure les regles sintàctiques dels llenguatges de programació.
Veure Compilador Haskell de Glasgow і Forma de Backus i Naur Ampliada
Fracció pròpia
Una fracció amb denominador positiu és pròpia quan el seu numerador és més gran o igual que zero i més petit que el denominador.
Veure Compilador Haskell de Glasgow і Fracció pròpia
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 Compilador Haskell de Glasgow і Frege (llenguatge de programació)
Funció hash
En una funció resum, qualsevol alteració de l'entrada provoca una sortida diferent La funció resum (hash function en anglès) és un algorisme o funció que converteix un o més elements d'entrada en un altre element.
Veure Compilador Haskell de Glasgow і Funció hash
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 Compilador Haskell de Glasgow і Functor
Göteborg
Götaplatsen Göteborg és la segona ciutat més gran de Suècia i la cinquena dels països nòrdics.
Veure Compilador Haskell de Glasgow і Göteborg
Glasgow
Glasgow (en gaèlic escocès: Glaschu, en escocès: Glesca) és una ciutat d'Escòcia, al Regne Unit.
Veure Compilador Haskell de Glasgow і Glasgow
GPGPU
General-purpose computing on graphics processing units (Computació de propòsit general sobre unitats de processament gràfic. GPGPU, també conegut com a GPGP o GP²) és la tècnica de fer servir GPUs per a fer computació en aplicacions tradicionalment tractades per la CPU.
Veure Compilador Haskell de Glasgow і GPGPU
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Veure Compilador Haskell de Glasgow і Haskell
Haskell concurrent
Haskell concurrent amplia Haskell98 amb concurrència explícita.
Veure Compilador Haskell de Glasgow і Haskell concurrent
Hugs
Hugs ('''H'''askell User's Gofer System) és un intèrpret bytecode per al llenguatge funcional Haskell.
Veure Compilador Haskell de Glasgow і Hugs
Hyper Text Markup Language
HTML (acrònim d’Hyper Text Markup Language, en català, "llenguatge de marcatge d'hipertext"), és un llenguatge de marcatge que deriva de l'SGML dissenyat per estructurar textos i relacionar-los en forma d'hipertext.
Veure Compilador Haskell de Glasgow і Hyper Text Markup Language
Idempotència
Idempotència en matemàtiques és una propietat d'alguns elements d'un conjunt respecte d'una operació, de mantenir la invariabilitat del resultat quan s'aplica l'operació repetidament.
Veure Compilador Haskell de Glasgow і Idempotència
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 Compilador Haskell de Glasgow і Idris (llenguatge de programació)
IEEE 754
L'estàndard de la IEEE per l'aritmètica en coma flotant (IEEE 754) és l'estàndard més àmpliament utilitzat per a les computacions del tipus esmentat, i és seguida per moltes de les implementacions de CPU i FPU.
Veure Compilador Haskell de Glasgow і IEEE 754
Intel
Intel Corporation (conegut com a Intel) és una multinacional nord-americana d'empreses i companyia de tecnologia amb seu a Santa Clara (Califòrnia), a Silicon Valley.
Veure Compilador Haskell de Glasgow і Intel
Interfície de programació d'aplicacions
Una interfície de programació d'aplicacions (en anglès Application Programming Interface, API) és una interfície que especifica com diferents components de programes informàtics haurien d'interaccionar.
Veure Compilador Haskell de Glasgow і Interfície de programació d'aplicacions
Java (llenguatge de programació)
Duke, la mascota del Java. Codi font d'un programa escrit amb el llenguatge de programació Java El Java és un llenguatge de programació dissenyat el 1990 per James Gosling amb altres companys de Sun Microsystems a partir del llenguatge C. Des del seu naixement fou pensat com un llenguatge orientat a objectes.
Veure Compilador Haskell de Glasgow і Java (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 Compilador Haskell de Glasgow і JavaScript
JSON
JSON (acrònim de JavaScript Object Notation) és un estàndard obert basat en text dissenyat per a intercanvi de dades llegible per humans.
Veure Compilador Haskell de Glasgow і JSON
Linux
Linux és una familia de sistemes operatius formats pel Nucli del sistema operatiu (kernel) Linux juntament amb les utilitats GNU, denominat de vegades GNU/Linux.
Veure Compilador Haskell de Glasgow і Linux
Llenguatge C
El llenguatge de programació C, llenguatge C o llenguatge de programació de sistemes, va ser creat per Dennis Ritchie i Ken Thompson als Laboratoris Bell d'AT&T, a principis de la dècada dels 70.
Veure Compilador Haskell de Glasgow і Llenguatge C
Llenguatge de marques
Un llenguatge de marques en informàtica és una manera de codificar un fitxer de text de manera que per mitjà de les marques, s'hi incorpora informació relativa a com s'ha de representar el text.
Veure Compilador Haskell de Glasgow і Llenguatge de marques
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 Compilador Haskell de Glasgow і Llista per comprensió
LLVM
LLVM és una infraestructura de compilació per millorar l'optimització de programes de diversos llenguatges de programació.
Veure Compilador Haskell de Glasgow і LLVM
MacOS
macOS, abans conegut com a OS X i inicialment com a Mac OS X, és una versió del sistema operatiu que utilitzen els ordinadors Macintosh, i que es basa en un nucli Unix.
Veure Compilador Haskell de Glasgow і MacOS
Maquinari
Ratolí El maquinari (en anglès hardware) d'un ordinador és el conjunt de les seves parts físiques.
Veure Compilador Haskell de Glasgow і Maquinari
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 Compilador Haskell de Glasgow і 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 Compilador Haskell de Glasgow і Mònada (programació funcional)
Melbourne
Mapa de l'àrea metropolitana de Melbourne Melbourne és una ciutat d'Austràlia, la segona ciutat del país en població, després de Sydney, amb aproximadament 3,6 milions d'habitants a l'àrea metropolitana.
Veure Compilador Haskell de Glasgow і Melbourne
Mercury
Mercury és un llenguatge de programació lògic-funcional dirigit a aplicacions del món real.
Veure Compilador Haskell de Glasgow і Mercury
Microsoft
Microsoft és una empresa multinacional d'informàtica que va ser fundada el 1975 als Estats Units, on encara hi té la seu principal.
Veure Compilador Haskell de Glasgow і Microsoft
Microsoft Windows
Microsoft Windows és una sèrie de sistemes operatius i interfícies gràfiques d'usuari produïts per Microsoft. L'empresa va introduir per primera vegada un entorn operatiu anomenat Windows el novembre de 1985 com un complement a MS-DOS, en resposta al creixent interès en les interfícies gràfiques d'usuari (GUI).
Veure Compilador Haskell de Glasgow і Microsoft Windows
ML Estàndard
LML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus.
Veure Compilador Haskell de Glasgow і ML Estàndard
MMX
MMX segons la taxonomia de Flynn és un repertori d'instruccions SIMD dissenyat per Intel, introduït el 1997 en la línia de microprocessadors Pentium, designat com "Pentium amb Tecnologia MMX".
Veure Compilador Haskell de Glasgow і MMX
Monoide
En matemàtiques, un monoide és una estructura algebraica consistent en un conjunt dotat d'una llei de composició interna associativa i d'un element neutre.
Veure Compilador Haskell de Glasgow і Monoide
Navegador web
Un navegador web o explorador web és un programa informàtic que permet a l'usuari recuperar i reproduir documents d'hipertext, generalment escrits en HTML, des de servidors web situats a qualsevol lloc del món.
Veure Compilador Haskell de Glasgow і Navegador web
Nombre enter
Els nombres enters són els que designen quantitats no fraccionables en parts més petites que la unitat.
Veure Compilador Haskell de Glasgow і Nombre enter
Nombre natural
Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.
Veure Compilador Haskell de Glasgow і Nombre natural
Nombre real
En matemàtiques, els nombres reals (\R) informalment es poden concebre com els nombres associats a longituds o qualsevol mena de magnitud física que se suposa que és contínua.
Veure Compilador Haskell de Glasgow і Nombre real
Nvidia
Nvidia és un de les majors fabricants de GPUs del mercat mundial, competint frec a frec amb AMD.
Veure Compilador Haskell de Glasgow і Nvidia
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 Compilador Haskell de Glasgow і OpenCL
Pentium 4
Pentium 4 és el successor de Pentium III i va significar un nou repte per Intel, que decideix redissenyar des de zero la seva arquitectura de microprocessador i optimitzar-la per treballar a les màximes freqüències amb un primer model a 1.3 GHz.
Veure Compilador Haskell de Glasgow і Pentium 4
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 Compilador Haskell de Glasgow і Processos comunicants seqüencials
Propietat distributiva
En matemàtiques, es diu que un operador \circ té la propietat distributiva sobre un operador \star, o que \circ és distributiu respecte de \star en un conjunt E si per a tots x, y, z de E, es tenen les propietats següents.
Veure Compilador Haskell de Glasgow і Propietat distributiva
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 Compilador Haskell de Glasgow і PureScript
Regne Unit
El Regne Unit (en anglès: The United Kingdom) oficialment, el Regne Unit de Gran Bretanya i Irlanda del Nord (en anglès: The United Kingdom of Great Britain and Northern Ireland) és un estat insular sobirà localitzat al nord-oest d'Europa.
Veure Compilador Haskell de Glasgow і Regne Unit
Sagnat
Text amb els paràgrafs '''sagnats''' El sagnat o la sagnia, l'alineació (indentació o indentadura cf. it., ang.) és, en tipografia, la introducció de diversos caràcters en blanc al començament d'una línia, és la marca d'un retorn de carro.
Veure Compilador Haskell de Glasgow і Sagnat
Semigrup
En matemàtiques, un semigrup és una estructura algebraica consistent en un conjunt dotat d'una llei de composició interna associativa.
Veure Compilador Haskell de Glasgow і Semigrup
SIMD
SIMD En informàtica, SIMD (Single Instruction, Multiple Data) és una tècnica emprada per aconseguir el paral·lelisme a nivell de dades, com en processador vectorial.
Veure Compilador Haskell de Glasgow і SIMD
Streaming SIMD Extensions
En informàtica, Streaming SIMD Extensions (SSE) és una extensió SIMD del repertori d'instruccions de l'arquitectura x86, dissenyada per Intel i introduïda el 1999 amb la seva sèrie de processadors Pentium III en resposta de 3DNow! d'AMD (que va debutar un any abans).
Veure Compilador Haskell de Glasgow і Streaming SIMD Extensions
Structured Query Language
SQL (Structured Query Language o Llenguatge d'interrogació estructurat) és un llenguatge estàndard de comunicació amb bases de dades relacionals.
Veure Compilador Haskell de Glasgow і Structured Query Language
Teorema
editor.
Veure Compilador Haskell de Glasgow і Teorema
Tipus abstracte de dades
En informàtica, un tipus abstracte de dades (TAD) és una especificació d'un conjunt de dades i d'un conjunt d'operacions que poden ser executades sobre el conjunt de dades.
Veure Compilador Haskell de Glasgow і Tipus abstracte de dades
Trie
Un '''trie''' representant les entrades "as", "pi", "pom", "por" i "poma". Un trie és un cas especial d'autòmat finit determinista (S, \Sigma, T, s, A), que serveix per a emmagatzemar un conjunt de cadenes E en el qual.
Veure Compilador Haskell de Glasgow і Trie
Unitat central de processament
Diagrama d'un processador i386 d'Intel La unitat central de processament o CPU (per l'acrònim en anglès de central processing unit), o simplement el processador o microprocessador, és el component de l'ordinador i d'altres dispositius programables, que interpreta les instruccions contingudes en els programes i processa les dades.
Veure Compilador Haskell de Glasgow і Unitat central de processament
Unitat de procés gràfic
'''GPU''' d'una nVidia Geforce 6600GT La Unitat de Procés Gràfic (en àngles: Graphic Processing Unit i amb acrònim: GPU) és un dispositiu dedicat a la generació de gràfics per a ordinadors personals, estacions de treballs o cònsoles de videojocs.
Veure Compilador Haskell de Glasgow і Unitat de procés gràfic
Universitat de Glasgow
Universitat de Glasgow La Universitat de Glasgow és una de les quatre més antigues universitats d'Escòcia.
Veure Compilador Haskell de Glasgow і Universitat de Glasgow
Universitat Tecnològica de Chalmers
La Universitat Tecnològica de Chalmers (en suec, Chalmers tekniska högskola; abreujat Chalmers) és una universitat privada sueca situada a Göteborg.
Veure Compilador Haskell de Glasgow і Universitat Tecnològica de Chalmers
Unix
UNIX (o Unix) és un sistema operatiu creat el 1969 a l'empresa AT&T Bell, amb la participació de Ken Thompson, Dennis Ritchie i Douglas McIlroy, entre altres.
Veure Compilador Haskell de Glasgow і Unix
UTF-8
UTF-8 (8-bit Unicode Transformation Format) és una normativa de codificació de caràcters, per Unicode.
Veure Compilador Haskell de Glasgow і UTF-8
Utrecht
Casa natal del Papa Adrià VI Utrecht és una ciutat del centre dels Països Baixos, capital de la província homònima.
Veure Compilador Haskell de Glasgow і Utrecht
Yacc
Yacc és un programa informàtic per a generar analitzadors sintàctics.
Veure Compilador Haskell de Glasgow і Yacc
York
York és una històrica ciutat fortalesa del nord de Yorkshire, Anglaterra, amb 198.000 habitants.
Veure Compilador Haskell de Glasgow і York
3DNow!
3DNow! és una marca registrada d'una extensió multimèdia creada per AMD per als seus processadors, començada amb K6-2 el 1998.
Veure Compilador Haskell de Glasgow і 3DNow!
També conegut com GHC, Glasgow Haskell Compiler.