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

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.

Taula de continguts

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

  2. Llenguatge de programació ML
  3. Llenguatges de programació funcional
  4. Llenguatges de programació orientats a objectes

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 OCaml і AMD64

Android

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

Veure OCaml і Android

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.

Veure OCaml і Apple Inc

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 OCaml і ASCII

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 OCaml і Avaluació tardana

Byte

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

Veure OCaml і Byte

Ciliats

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

Veure OCaml і Ciliats

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 OCaml і Codi obert

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

Veure OCaml і Codificació de caràcters

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 OCaml і 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 OCaml і Comprovació de patrons

Desforestació (informàtica)

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

Veure OCaml і Desforestació (informàtica)

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.

Veure OCaml і F Sharp

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.

Veure OCaml і Glade

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.

Veure OCaml і GTK

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 OCaml і Haskell

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.

Veure OCaml і Hipervisor

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 OCaml і IEEE 754

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.

Veure OCaml і Institut Nacional Estatunidenc d'Estàndards

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.

Veure OCaml і Intel Atom

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 OCaml і Interfície de programació d'aplicacions

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.

Veure OCaml і IPad

IPhone

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

Veure OCaml і IPhone

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 OCaml і 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 OCaml і JavaScript

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 OCaml і 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 OCaml і Llenguatge C

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 OCaml і Llenguatge de programació

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.

Veure OCaml і Memòria d'accés aleatori

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 OCaml і 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 OCaml і Microsoft Windows

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.

Veure OCaml і Miniaplicació

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 OCaml і ML

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 OCaml і ML Estàndard

Paradigma de programació

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

Veure OCaml і Paradigma de programació

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.

Veure OCaml і POSIX

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 OCaml і Processos comunicants seqüencials

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.

Veure OCaml і Programació orientada a objectes

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.

Veure OCaml і Serialització

Sintaxi

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

Veure OCaml і Sintaxi

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.

Veure OCaml і Sistema operatiu de temps real

Ubuntu

Ubuntu és un sistema operatiu de codi obert.

Veure OCaml і Ubuntu

Unicode

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

Veure OCaml і Unicode

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 OCaml і Unix

UTF-8

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

Veure OCaml і UTF-8

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.

Veure OCaml і Vocabulari

Xen

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

Veure OCaml і Xen

1996

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

Veure OCaml і 1996

2011

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

Veure OCaml і 2011

Vegeu també

Llenguatge de programació ML

Llenguatges de programació funcional

Llenguatges de programació orientats a objectes

També conegut com Objective Caml.