OCaml

OCaml è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML. È sviluppato e distribuito come software open source dalla INRIA.

Indice

42 relazioni: AMD64, Architettura MIPS, Bytecode, C (linguaggio di programmazione), CAML, Classe (informatica), Compilatore, Debugger, DEC Alpha, Ereditarietà multipla, Fortran, Garbage collection, Gestione delle eccezioni, Hello world, IA-32, IA-64, Institut national de recherche en informatique et en automatique, Linguaggio di programmazione, Linguaggio macchina, Linking, Macintosh, Microsoft Windows, ML (linguaggio di programmazione), MLDonkey, Multipiattaforma, Open source, PA-RISC, Pattern matching, Peer-to-peer, Polimorfismo (informatica), Porting, PowerPC, Preprocessore, Profiler - Intuizioni mortali, Programmazione funzionale, Programmazione imperativa, Programmazione orientata agli oggetti, Run-time, SPARC, Standard ML, StrongARM, Unix.
Compilatori liberi
Linguaggi di programmazione funzionali
Linguaggi di programmazione orientati agli oggetti
ML
Software con licenza GNU LGPL

AMD64

AMD64, altresì chiamata x86-64, è un'estensione a 64 bit del set di istruzioni x86, che è comune a tutti i processori desktop Intel e AMD più altre marche minori.

Vedere OCaml e AMD64

In elettronica e informatica larchitettura MIPS (acronimo dell'inglese microprocessor without interlocked pipeline stages) è un'architettura informatica per microprocessori RISC sviluppata dalla MIPS Computer Systems Inc. (oggi MIPS Technologies Inc.). Il disegno dell'architettura e del set di istruzioni è semplice e lineare, spesso utilizzato come caso di studio nei corsi universitari indirizzati allo studio delle architetture dei processori; tale architettura ha influenzato le architetture di molti altri processori RISC tra i quali si segnala la famiglia DEC Alpha: è stata utilizzata ad es.

Vedere OCaml e Architettura MIPS

Bytecode

In informatica, il bytecode è un linguaggio intermedio più astratto tra il linguaggio macchina e il linguaggio di programmazione, usato per descrivere le operazioni che costituiscono un programma.

Vedere OCaml e Bytecode

C (linguaggio di programmazione)

C (AFI) è un linguaggio di programmazione ad uso generale di natura imperativa e procedurale creato da Dennis Ritchie negli anni '70. Tutt'oggi influente, è largamente adoperato nei sistemi operativi, nei driver e nelle pile di protocolli, mentre è in diminuzione il suo uso nelle applicazioni.

Vedere OCaml e C (linguaggio di programmazione)

CAML

CAML (Categorical Abstract Machine Language) è una versione del linguaggio di programmazione ML sviluppata in Francia presso l'INRIA e l'École Normale Supérieure (ENS).

Vedere OCaml e CAML

Classe (informatica)

Una classe, nella programmazione orientata agli oggetti, è un costrutto di un linguaggio di programmazione usato come modello per creare oggetti.

Vedere OCaml e Classe (informatica)

Compilatore

Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto): il processo di traduzione si chiama compilazione mentre l'attività inversa - ovvero passare dal codice oggetto al codice sorgente - è chiamata decompilazione ed è effettuata per mezzo di un decompilatore.

Vedere OCaml e Compilatore

Debugger

Un debugger in informatica è un programma/software specificatamente progettato per l'analisi e l'eliminazione dei bug (debugging), ovvero errori di programmazione interni al codice di altri programmi.

Vedere OCaml e Debugger

DEC Alpha

DEC Alpha (conosciuto anche come Alpha AXP) è un'architettura di processori di tipo RISC sviluppata e prodotta dalla Digital Equipment Corp (DEC).

Vedere OCaml e DEC Alpha

Ereditarietà multipla

Alcuni linguaggi di programmazione permettono di utilizzare lereditarietà multipla, in cui una classe può ereditare funzionalità e caratteristiche da più di una classe base.

Vedere OCaml e Ereditarietà multipla

Fortran

Fortran (fino alla versione 90 FORTRAN) è un linguaggio di programmazione, compilato e imperativo, particolarmente adatto per il calcolo numerico e la scienza computazionale.

Vedere OCaml e Fortran

Garbage collection

In informatica per garbage collection (GC) si intende una modalità automatica di gestione della memoria, mediante la quale un sistema operativo, o un compilatore e un modulo di run-time liberano porzioni di memoria non più utilizzate dalle applicazioni.

Vedere OCaml e Garbage collection

Gestione delle eccezioni

In informatica la gestione delle eccezioni è un costrutto dei linguaggi di programmazione o un meccanismo dell'hardware del computer progettato per gestire errori a runtime o altri problemi (eccezioni) che avvengono durante l'esecuzione di un programma su un computer.

Vedere OCaml e Gestione delle eccezioni

Hello world

In informatica Hello world! (in italiano "Ciao mondo!") è un semplice programma dimostrativo, frequentemente utilizzato nella didattica di base, che produce come risultato - output - la scritta "Hello world!" o altre varianti, sfruttando i cosiddetti canali standard (standard output).

Vedere OCaml e Hello world

IA-32

Con IA-32 (Intel Architecture 32 bit), a volte i386, si definisce l'architettura o l'instruction set dei microprocessori prodotti da Intel, AMD e altre compagnie minori per il mercato desktop a partire dal 1985, e che è presente nella grandissima maggioranza dei personal computer esistenti al mondo.

Vedere OCaml e IA-32

IA-64

In informatica, IA-64 (Intel Architecture-64) è un'architettura a 64 bit sviluppata durante una cooperazione tra Intel e Hewlett-Packard e implementata da processori come Itanium e Itanium 2.

Vedere OCaml e IA-64

Institut national de recherche en informatique et en automatique

LInstitut national de recherche en informatique et en automatique (INRIA, Istituto nazionale per la ricerca nell'informatica e nell'automazione) è un istituto nazionale francese per la ricerca, focalizzato sull'informatica, la teoria dell'automazione e la matematica applicata.

Vedere OCaml e Institut national de recherche en informatique et en automatique

Linguaggio di programmazione

Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.

Vedere OCaml e Linguaggio di programmazione

Linguaggio macchina

Il linguaggio macchina (o codice macchina), in informatica, indica il linguaggio in cui sono scritti i programmi eseguibili per computer: può venire classificato come linguaggio di programmazione, sebbene quest'ultima espressione sia più spesso riservata per indicare i linguaggi di alto livello con cui si scrivono programmi non direttamente eseguibili, ma che richiedono una traduzione in linguaggio macchina, per es.

Vedere OCaml e Linguaggio macchina

Linking

Il linking, in informatica, è il procedimento di integrazione dei vari moduli a cui un programma fa riferimento (i quali possono essere sottoprogrammi o librerie), per creare una singola unità eseguibile.

Vedere OCaml e Linking

Macintosh

Macintosh (abbreviato come Mac) è una famiglia di computer prodotti dalla Apple Inc. commercializzati a partire dal 1984 e facenti uso del sistema operativo macOS.

Vedere OCaml e Macintosh

Microsoft Windows

Microsoft Windows (comunemente indicato come Windows) è una famiglia di ambienti operativi e sistemi operativi prodotta da Microsoft Corporation dal 1985, orientato a personal computer, workstation, server e smartphone; prende il nome dall'interfaccia di programmazione di un'applicazione a finestre (che si chiamano "windows" in lingua inglese), detta File Explorer.

Vedere OCaml e Microsoft Windows

ML (linguaggio di programmazione)

ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.

Vedere OCaml e ML (linguaggio di programmazione)

MLDonkey

MLDonkey è un client open source per il filesharing peer to peer che supporta molte reti P2P. Originariamente era un client GNU/Linux del protocollo eDonkey, ora gira su molte versioni di Unix, su macOS, su Microsoft Windows e supporta molti protocolli P2P.

Vedere OCaml e MLDonkey

Multipiattaforma

Il termine multipiattaforma in informatica può essere riferito ad un linguaggio di programmazione, ad un'applicazione software o ad un dispositivo hardware che funziona su più di un sistema o appunto, piattaforma (es. Unix/Linux, Windows e Macintosh).

Vedere OCaml e Multipiattaforma

Open source

Con open source (in italiano sorgente aperta), in informatica, si indica un software distribuito, generalmente in via gratuita, sotto i termini di una licenza open source, che ne concede lo studio, l'utilizzo, la modifica e la redistribuzione.

Vedere OCaml e Open source

PA-RISC

PA-RISC è un'architettura di microprocessori sviluppata dalla Hewlett-Packard Systems & VLSI Technology Operation. Come indicato dal nome il processore implementa un'architettura RISC (Reduced Instruction Set Computing), le lettere PA indicano invece Precision Architecture.

Vedere OCaml e PA-RISC

Pattern matching

In informatica, il pattern matching è l'azione di controllo della presenza di un certo motivo (pattern) all'interno di un oggetto composito.

Vedere OCaml e Pattern matching

Peer-to-peer

Peer-to-peer (espressione della lingua inglese, abbreviato anche P2P ovvero rete paritaria/paritetica) nelle telecomunicazioni indica un modello di architettura logica di rete informatica in cui i nodi non sono gerarchizzati unicamente sotto forma di client o server fissi ('clienti' e 'serventi'), ma anche sotto forma di nodi equivalenti o 'paritari' (peer), potendo fungere al contempo da client e server verso gli altri nodi terminali (host) della rete.

Vedere OCaml e Peer-to-peer

Polimorfismo (informatica)

In informatica, il termine polimorfismo (dal greco πολυμορφος composto dai termini πολυ molto e μορφή forma quindi "avere molte forme") viene usato in senso generico per riferirsi a espressioni che possono rappresentare valori di diversi tipi (dette espressioni polimorfiche).

Vedere OCaml e Polimorfismo (informatica)

Porting

Il porting (termine inglese), in informatica, è un processo di trasposizione, a volte anche con modifiche, di un componente software, volto a consentirne l'uso in una piattaforma diversa da quella originale.

Vedere OCaml e Porting

PowerPC

PowerPC (dove PC sta per di Performance Computing) è un'architettura di microprocessori RISC creata nel 1991 dall'alleanza Apple-IBM-Motorola (conosciuta come AIM).

Vedere OCaml e PowerPC

Preprocessore

In informatica, un preprocessore o precompilatore è un programma (o una porzione di programma) che effettua sostituzioni testuali sul codice sorgente di un programma, ovvero la precompilazione.

Vedere OCaml e Preprocessore

Profiler - Intuizioni mortali

Profiler - Intuizioni mortali (Profiler) è una serie televisiva andata in onda sulla rete statunitense NBC dal 1996 al 2000. In Italia è stata trasmessa da Rai 2 (2000), LA7 (2002) e dal canale satellitare Fox Crime, l'unico ad averla trasmessa per intera (2004-2006).

Vedere OCaml e Profiler - Intuizioni mortali

Programmazione funzionale

In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.

Vedere OCaml e Programmazione funzionale

Programmazione imperativa

In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un insieme di istruzioni (dette anche direttive o comandi), ciascuna delle quali può essere pensata come un "ordine" che viene impartito alla macchina virtuale del linguaggio di programmazione utilizzato.

Vedere OCaml e Programmazione imperativa

Programmazione orientata agli oggetti

In informatica, la programmazione orientata agli oggetti (in acronimo OOP), a volte chiamata semplicemente programmazione ad oggetti, è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.

Vedere OCaml e Programmazione orientata agli oggetti

Run-time

Nella programmazione il tempo di esecuzione o runtime è il periodo in cui un programma viene eseguito. Tradizionalmente, questa contrapposizione era soprattutto intesa rispetto al tempo di compilazione (compile-time), relativa alla stesura e traduzione del programma sorgente; in questa accezione, spesso si usano anche gli aggettivi dinamico e statico per riferirsi rispettivamente al run-time e al compile-time.

Vedere OCaml e Run-time

SPARC

In elettronica e informatica SPARC (Scalable Processor ARChitecture) è un'architettura per microprocessore big-endian RISC. L'architettura, originariamente progettata nel 1985 da Sun Microsystems, è anche diventata un trademark registrato da SPARC International, Inc., un'organizzazione nata nel 1989 per promuovere SPARC e per provvedere a rilasciare attestati e test di conformità per processori che si vogliono fregiare di tale titolo.

Vedere OCaml e SPARC

Standard ML

In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dal ML. Il linguaggio ML originale era una serie di metalinguaggi ideati da Robin Milner (e dai suoi studenti) all'Università di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers).

Vedere OCaml e Standard ML

StrongARM

Lo StrongARM è una famiglia di microprocessori sviluppati da Digital Equipment Corporation (DEC). Gli StrongARM sono dei processori basati sull'architettura ARM sviluppata dalla Advanced RISC Machines ma migliorati per offrire prestazioni superiori.

Vedere OCaml e StrongARM

Unix

Unix (ufficialmente registrato come UNIX) è un sistema operativo proprietario e portabile per computer. Originariamente sviluppato da un gruppo di ricerca presso i laboratori AT&T e Bell Laboratories, il team includeva luminari come Ken Thompson e Dennis Ritchie.

Vedere OCaml e Unix

Vedi anche

Compilatori liberi

Linguaggi di programmazione funzionali

Linguaggi di programmazione orientati agli oggetti

ML

Software con licenza GNU LGPL

Conosciuto come Caml Light, O'Caml, Objective CAML.

Unionpedia è una mappa concettuale o rete semantica organizzata come un'enciclopedia o un dizionario. Esso fornisce una breve definizione di ogni concetto e le sue relazioni.

Si tratta di una mappa mentale in linea gigante che serve come base per gli schemi concettuali, immagini o sintesi sinaptica. E 'gratuito - liberi, liberi di usare e ogni elemento o documento può essere scaricato. E 'uno strumento, risorsa o di riferimento per lo studio, la ricerca, l'istruzione, la formazione o istruzione che gli insegnanti possono utilizzare, insegnanti, professori, educatori, alunni e studenti; o la scuola per il mondo accademico, a scuola, primaria, secondaria, di mezzo, università, laurea tecnica, college, università, laurea, master o dottorati; per documenti, relazioni, documenti, progetti, idee, documentazione, riassunti, sondaggi o tesi. Ecco la definizione, spiegazione, descrizione, o il significato di ogni significativo su cui avete bisogno di informazioni, e una lista o un elenco di concetti correlati come appare un glossario. Disponibile in italiano, inglese, spagnolo, portoghese, giapponese, cinese, francese, tedesco, polacco, olandese, russo, arabo, hindi, svedese, ucraino, ungherese, catalano, ceco, ebraico, danese, finlandese, indonesiano, norvegese, rumeno, turco, vietnamita, coreano, tailandese, greco, bulgaro, croato, slovacca, lituano, filippina, lettone, estone e sloveno. Altre lingue presto.

Le informazioni si basano su articoli di Wikipedia e altri progetti Wikimedia, e sono disponibili sotto la Licenza Creative Commons Attribuzione-Condividi allo stesso modo.

Unionpedia non è supportata o affiliata alla Wikimedia Foundation.

Google Play, Android e il logo di Google Play sono marchi di Google Inc.

Politica sulla riservatezza

In altre lingue