Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Instal·la
Accés més ràpid que el navegador!
 

OCaml

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

49 les relacions: AMD64, Android, Apple Inc, ASCII, Avaluació tardana, Byte, Ciliats, Codi obert, Codificació de caràcters, Compilador Haskell de Glasgow, Comprovació de patrons, Desforestació (informàtica), F Sharp, Glade, GTK, Haskell, Hipervisor, IEEE 754, Institut Nacional Estatunidenc d'Estàndards, Intel Atom, Interfície de programació d'aplicacions, IPad, IPhone, Java (llenguatge de programació), JavaScript, Linux, Llenguatge C, Llenguatge de programació, Memòria d'accés aleatori, Microsoft, Microsoft Windows, Miniaplicació, ML, ML Estàndard, Paradigma de programació, POSIX, Processos comunicants seqüencials, Programació orientada a objectes, Serialització, Sintaxi, Sistema operatiu de temps real, Ubuntu, Unicode, Unix, UTF-8, Vocabulari, Xen, 1996, 2011.

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.

Nou!!: OCaml і AMD64 · Veure més »

Android

Android és un conjunt de programari per a telèfons mòbils que inclou un sistema operatiu, programari intermediari i aplicacions.

Nou!!: OCaml і Android · Veure més »

Apple Inc

Apple, coneguda abans com a Apple Computer Inc., és una empresa multinacional estatunidenca que dissenya i fabrica productes electrònics de consum i programari per als seus productes, ofereix diferent serveis com (Una plataforma de videojocs per demanda), (Una plataforma de noticies digitals mitjançant subscripció), produeix pel·lícules amb el nom i també ofereix una targeta de crèdit anomenada.

Nou!!: OCaml і Apple Inc · Veure més »

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

Nou!!: OCaml і ASCII · Veure més »

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.

Nou!!: OCaml і Avaluació tardana · Veure més »

Byte

En informàtica, un byte (de símbol B) és un grup de bits, generalment 8 bits.

Nou!!: OCaml і Byte · Veure més »

Ciliats

Els ciliats o ciliòfors (Ciliata o Ciliophora) constitueixen un fílum del regne dels cromalveolats o dels protists, segons es classifiqui.

Nou!!: OCaml і Ciliats · Veure més »

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

Nou!!: OCaml і Codi obert · Veure més »

Codificació de caràcters

La codificació de caràcters és el mètode que permet convertir un caràcter d'un llenguatge natural (alfabet o sil·labari) en un símbol d'un altre sistema de representació, com un nombre o una seqüència de polsos elèctrics en un sistema electrònic, aplicant normes o regles de codificació.

Nou!!: OCaml і Codificació de caràcters · Veure més »

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.

Nou!!: OCaml і Compilador Haskell de Glasgow · Veure més »

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.

Nou!!: OCaml і Comprovació de patrons · Veure més »

Desforestació (informàtica)

Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals.

Nou!!: OCaml і Desforestació (informàtica) · Veure més »

F Sharp

F# o F Sostingut, en anglès F Sharp és un llenguatge de programació multi-paradigma però amb èmfasi en la programació funcional, per a l'entorn.NET de Microsoft basat inicialment en un subconjunt de OCaml amb el qual tenia a la versió 1.0 certa compatibilitat.

Nou!!: OCaml і F Sharp · Veure més »

Glade

Glade, en informàtica, és el nom d'un programari amb dues parts, un dissenyador d'interfícies gràfiques per al sistema gràfic GTK i una biblioteca de rutines per obtenir les definicions dels components de la interfície dissenyada.

Nou!!: OCaml і Glade · Veure més »

GTK

GTK (originalment GTK+, de l'anglès, Gimp ToolKit) és un conjunt de biblioteques multiplataforma per a crear interfícies gràfiques, sota programari lliure i de codi obert.

Nou!!: OCaml і GTK · Veure més »

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.

Nou!!: OCaml і Haskell · Veure més »

Hipervisor

Hipervisor (superlatiu de supervisor) en Informàtica, també anomenat monitor de màquines virtuals o en sigles angleses VMM, és un programari que explota la capacitat de virtualització de determinats ordinadors i facilita el funcionament simultani de diferents sistemes operatius en la mateixa màquina.

Nou!!: OCaml і Hipervisor · Veure més »

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.

Nou!!: OCaml і IEEE 754 · Veure més »

Institut Nacional Estatunidenc d'Estàndards

L'Institut Nacional Estatunidenc d'Estàndards (ANSI, per les seves sigles en anglès: American National Standards Institute) és una organització sense ànim de lucre que supervisa el desenvolupament d'estàndards per a productes, serveis, processos i sistemes als Estats Units.

Nou!!: OCaml і Institut Nacional Estatunidenc d'Estàndards · Veure més »

Intel Atom

Intel Atom és el nom d'una gamma de microprocessadors x86 i x86-64 fabricats per Intel, anteriorment anomenats Silverthorne i Diamondville, usant tecnologia de 45 nm CMOS i pensat per ser equipat en ultra-mobile PC, netbook, smart phone i altres equips de baix consum.

Nou!!: OCaml і Intel Atom · Veure més »

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.

Nou!!: OCaml і Interfície de programació d'aplicacions · Veure més »

IPad

Steve Jobs presentant l'iPad en el Centre per a les arts Yerba Buena LiPad és una tauleta tàctil desenvolupada per Apple Inc.

Nou!!: OCaml і IPad · Veure més »

IPhone

L'iPhone és una línia de telèfons intel·ligents dissenyats i comercialitzats per Apple Inc.

Nou!!: OCaml і IPhone · Veure més »

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.

Nou!!: OCaml і Java (llenguatge de programació) · Veure més »

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.

Nou!!: OCaml і JavaScript · Veure més »

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.

Nou!!: OCaml і Linux · Veure més »

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.

Nou!!: OCaml і Llenguatge C · Veure més »

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.

Nou!!: OCaml і Llenguatge de programació · Veure més »

Memòria d'accés aleatori

La memòria d'accés aleatori o RAM és un tipus de memòria informàtica, caracteritzat per un accés directe en qualsevol ordre en un temps constant, sense distinció de la posició on es trobi la informació ni de la posició de l'anterior lectura.

Nou!!: OCaml і Memòria d'accés aleatori · Veure més »

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.

Nou!!: OCaml і Microsoft · Veure més »

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

Nou!!: OCaml і Microsoft Windows · Veure més »

Miniaplicació

Una miniaplicació (applet en anglès) és un component de programari complet, creat per William Haswounk al 2006, organitzador del Programari Lliure Anual, fet per gent amb interessos informàtics gratuïts.

Nou!!: OCaml і Miniaplicació · Veure més »

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.

Nou!!: OCaml і ML · Veure més »

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.

Nou!!: OCaml і ML Estàndard · Veure més »

Paradigma de programació

Un paradigma és una forma de representar i manipular el coneixement.

Nou!!: OCaml і Paradigma de programació · Veure més »

POSIX

POSIX és l'acrònim de Portable Operating System Interface (la X prové d'UNIX com a símbol d'identitat de l'API) d'una família d'estàndards de crides al sistema operatiu definits per l'IEEE i especificades formalment a l'IEEE 1003 que busca generalitzar les interfícies dels sistemes operatius perquè una mateixa aplicació pugui ser executada en diferents plataformes.

Nou!!: OCaml і POSIX · Veure més »

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.

Nou!!: OCaml і Processos comunicants seqüencials · Veure més »

Programació orientada a objectes

La programació orientada a objectes o POO (OOP segons les seves sigles en anglès) és un paradigma de programació que intenta proporcionar un model de programació basat en objectes que contenen dades i procediments associats coneguts com a mètodes.

Nou!!: OCaml і Programació orientada a objectes · Veure més »

Serialització

En un context d'informàtica més modern, la serialització és el procés de guardar un objecte a un medi d'emmagatzematge (com pot ser un fitxer, o un buffer de memòria) amb la finalitat de transmetre'l a través d'una connexió en xarxa com una sèrie de bytes o en un format humanament més llegible com XML.

Nou!!: OCaml і Serialització · Veure més »

Sintaxi

La sintaxi (del grec σύνταξις, σύν: 'junts', τάξις: 'ordre') és la part de la gramàtica que estudia els mecanismes de generació de frases.

Nou!!: OCaml і Sintaxi · Veure més »

Sistema operatiu de temps real

Un sistema operatiu de temps real (RTOS) és un sistema operatiu (OS) que tracta de processar les dades tal com arriben de les aplicacions basades en temps real, per tant, sense retards en l'emmagatzematge.

Nou!!: OCaml і Sistema operatiu de temps real · Veure més »

Ubuntu

Ubuntu és un sistema operatiu de codi obert.

Nou!!: OCaml і Ubuntu · Veure més »

Unicode

logo d'Unicode. Unicode és un estàndard internacional de codificació de caràcters, per a suports informàtics.

Nou!!: OCaml і Unicode · Veure més »

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.

Nou!!: OCaml і Unix · Veure més »

UTF-8

UTF-8 (8-bit Unicode Transformation Format) és una normativa de codificació de caràcters, per Unicode.

Nou!!: OCaml і UTF-8 · Veure més »

Vocabulari

El vocabulari o lèxic és el conjunt de paraules d'un llenguatge, que pot ser artístic o també el d'una llengua o idioma.

Nou!!: OCaml і Vocabulari · Veure més »

Xen

Xen és una màquina virtual de codi obert desenvolupada per la Universitat de Cambridge.

Nou!!: OCaml і Xen · Veure més »

1996

1996 (MCMXCVI) fou un any de traspàs començat en dilluns segons el calendari gregorià.

Nou!!: OCaml і 1996 · Veure més »

2011

L'any 2011 fou un any normal començat en dissabte.

Nou!!: OCaml і 2011 · Veure més »

Redirigeix aquí:

Objective Caml, Ocaml.

SortintEntrant
Hey! Estem a Facebook ara! »