Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Compilador Haskell de Glasgow

Índex 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.

Taula de continguts

  1. 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

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.

, Mercury, Microsoft, Microsoft Windows, ML Estàndard, MMX, Monoide, Navegador web, Nombre enter, Nombre natural, Nombre real, Nvidia, OpenCL, Pentium 4, Processos comunicants seqüencials, Propietat distributiva, PureScript, Regne Unit, Sagnat, Semigrup, SIMD, Streaming SIMD Extensions, Structured Query Language, Teorema, Tipus abstracte de dades, Trie, Unitat central de processament, Unitat de procés gràfic, Universitat de Glasgow, Universitat Tecnològica de Chalmers, Unix, UTF-8, Utrecht, Yacc, York, 3DNow!.