Sign-In
Cart
Manuale completo di OCaml: Programmazione funzionale, imperativa e a oggetti dai fondamenti alle applicazioni
Paperback
Series: Programmazione, Book 47
Please select the version of book you would like to purchase.
ISBN13: 9798185980040
Publisher: Independently Published
Published: Jul 7 2026
Pages: 178
Weight: 0.70
Height: 0.38 Width: 7.00 Depth: 10.00
Language: Italian
Publisher: Independently Published
Published: Jul 7 2026
Pages: 178
Weight: 0.70
Height: 0.38 Width: 7.00 Depth: 10.00
Language: Italian
Il manuale italiano di OCaml che aspettavate: completo, verificato, moderno.
OCaml è il linguaggio con cui si scrivono compilatori, sistemi di trading finanziario e strumenti di verifica formale: un sistema di tipi tra i più espressivi in circolazione, prestazioni da codice nativo e, con OCaml 5, il parallelismo multicore. Questo manuale vi accompagna dai primi passi nel toplevel fino a un progetto completo con collaudi automatici, documentazione generata e pacchetto pronto per la pubblicazione.
OCaml è il linguaggio con cui si scrivono compilatori, sistemi di trading finanziario e strumenti di verifica formale: un sistema di tipi tra i più espressivi in circolazione, prestazioni da codice nativo e, con OCaml 5, il parallelismo multicore. Questo manuale vi accompagna dai primi passi nel toplevel fino a un progetto completo con collaudi automatici, documentazione generata e pacchetto pronto per la pubblicazione.
Un percorso graduale in cinque parti:
- Fondamenti - installazione con opam e dune, valori, tipi, espressioni, funzioni, currying, ricorsione di coda
- Strutture dati e pattern matching - tuple, record, liste, tipi varianti, alberi, option e result
- Astrazione e modularità - moduli, signature, tipi astratti, funtori, Map e Set, moduli di prima classe
- Oggetti, errori e interazione - il sistema a oggetti strutturale, eccezioni, operatori let*, Printf, file e sistema
- Il linguaggio moderno - domini, mutex e atomiche di OCaml 5, l'ecosistema, un progetto finale completo con dune, alcotest e qcheck
Ogni capitolo segue la stessa struttura collaudata:
- teoria spiegata con gradualità e con esempi sempre eseguibili nel toplevel
- box di note, avvertenze e suggerimenti pratici
- una sezione Con l'IA con tre prompt calibrati per usare gli assistenti basati sull'intelligenza artificiale come compagni di studio, e una riflessione onesta sui loro limiti con OCaml
- tre esercizi svolti e commentati passo per passo
- cinque esercizi proposti, con le 70 soluzioni complete raccolte in appendice
Tutto il codice è stato verificato: ogni esempio, ogni esercizio e ogni soluzione sono stati eseguiti e controllati con il compilatore, inclusi i capitoli sul parallelismo compilati con OCaml 5. Niente pseudocodice, niente frammenti che dovrebbero funzionare: sessioni reali, con l'output autentico del toplevel.
Sei appendici di riferimento:
- installazione e configurazione dell'ambiente su Linux, macOS e Windows
- riferimento sintattico essenziale, per la consultazione rapida
- guida ragionata alla libreria standard, modulo per modulo
- glossario dei termini tecnici
- risorse per continuare: libri, comunità , esercizi in rete
- le soluzioni complete di tutti gli esercizi proposti
A chi si rivolge: a chi programma in Python, Java, C# o JavaScript e vuole scoprire la programmazione funzionale tipizzata; a studenti universitari di corsi su linguaggi e paradigmi; a chi ha incontrato F#, Rust o Scala e vuole risalire alla fonte delle loro idee migliori; a chiunque voglia capire perché chi prova OCaml non torna più indietro.
Non serve alcuna esperienza precedente con la programmazione funzionale: solo la curiosità di scoprire un modo diverso - e sorprendentemente solido - di costruire programmi. Il compilatore diventerà il vostro correttore di bozze: quando il codice compila, molto spesso è anche giusto.
Che cosa saprete fare alla fine: leggere e scrivere firme di tipo come una seconda lingua; modellare un dominio con record e varianti in modo che gli stati impossibili siano irrappresentabili; progettare interfacce con signature e tipi astratti che proteggono gli invarianti; scegliere con criterio fra eccezioni ed errori come valori; scrivere codice parallelo corretto con domini, mutex e atomiche; impostare un progetto professionale con dune, collaudi automatici e documentazione generata dai commenti.
Aprite il toplevel: la prima espressione vi aspetta.
- Fondamenti - installazione con opam e dune, valori, tipi, espressioni, funzioni, currying, ricorsione di coda
- Strutture dati e pattern matching - tuple, record, liste, tipi varianti, alberi, option e result
- Astrazione e modularità - moduli, signature, tipi astratti, funtori, Map e Set, moduli di prima classe
- Oggetti, errori e interazione - il sistema a oggetti strutturale, eccezioni, operatori let*, Printf, file e sistema
- Il linguaggio moderno - domini, mutex e atomiche di OCaml 5, l'ecosistema, un progetto finale completo con dune, alcotest e qcheck
Ogni capitolo segue la stessa struttura collaudata:
- teoria spiegata con gradualità e con esempi sempre eseguibili nel toplevel
- box di note, avvertenze e suggerimenti pratici
- una sezione Con l'IA con tre prompt calibrati per usare gli assistenti basati sull'intelligenza artificiale come compagni di studio, e una riflessione onesta sui loro limiti con OCaml
- tre esercizi svolti e commentati passo per passo
- cinque esercizi proposti, con le 70 soluzioni complete raccolte in appendice
Tutto il codice è stato verificato: ogni esempio, ogni esercizio e ogni soluzione sono stati eseguiti e controllati con il compilatore, inclusi i capitoli sul parallelismo compilati con OCaml 5. Niente pseudocodice, niente frammenti che dovrebbero funzionare: sessioni reali, con l'output autentico del toplevel.
Sei appendici di riferimento:
- installazione e configurazione dell'ambiente su Linux, macOS e Windows
- riferimento sintattico essenziale, per la consultazione rapida
- guida ragionata alla libreria standard, modulo per modulo
- glossario dei termini tecnici
- risorse per continuare: libri, comunità , esercizi in rete
- le soluzioni complete di tutti gli esercizi proposti
A chi si rivolge: a chi programma in Python, Java, C# o JavaScript e vuole scoprire la programmazione funzionale tipizzata; a studenti universitari di corsi su linguaggi e paradigmi; a chi ha incontrato F#, Rust o Scala e vuole risalire alla fonte delle loro idee migliori; a chiunque voglia capire perché chi prova OCaml non torna più indietro.
Non serve alcuna esperienza precedente con la programmazione funzionale: solo la curiosità di scoprire un modo diverso - e sorprendentemente solido - di costruire programmi. Il compilatore diventerà il vostro correttore di bozze: quando il codice compila, molto spesso è anche giusto.
Che cosa saprete fare alla fine: leggere e scrivere firme di tipo come una seconda lingua; modellare un dominio con record e varianti in modo che gli stati impossibili siano irrappresentabili; progettare interfacce con signature e tipi astratti che proteggono gli invarianti; scegliere con criterio fra eccezioni ed errori come valori; scrivere codice parallelo corretto con domini, mutex e atomiche; impostare un progetto professionale con dune, collaudi automatici e documentazione generata dai commenti.
Aprite il toplevel: la prima espressione vi aspetta.
Also from
Scaramuzzino, Roberto
Manuale completo di R: Dai fondamenti alla programmazione statistica e all'analisi dei dati
Scaramuzzino, Roberto
Paperback
$22.37
Prontuario Comandi Ltspice: Guida rapida a direttive, sorgenti, componenti e funzioni matematiche per la simulazione di circuiti elettronici
Scaramuzzino, Roberto
Paperback
$19.96
Manuale completo di SQL Server e T-SQL: Dai fondamenti del database relazionale alla programmazione T-SQL avanzata
Scaramuzzino, Roberto
Paperback
$19.46
Manuale completo di Elm: Dai fondamenti alla Elm Architecture per applicazioni web senza eccezioni a runtime
Scaramuzzino, Roberto
Paperback
$25.66
Manuale completo di Objective-C: Dai fondamenti del C al modello a oggetti e a Foundation, su macOS e con GNUstep
Scaramuzzino, Roberto
Paperback
$20.70
Manuale completo di SCALA: Dai fondamenti alla programmazione funzionale e a oggetti
Scaramuzzino, Roberto
Paperback
$22.24
Manuale completo di Bash e Scripting di Shell: Dai primi comandi all'automazione professionale del sistema
Scaramuzzino, Roberto
Paperback
$22.37
Manuale completo di Groovy: Dai fondamenti alla metaprogrammazione sulla JVM, con Spock, Gradle e l'IA
Scaramuzzino, Roberto
Paperback
$20.40
Manuale Completo Di Kotlin: Dai fondamenti al codice idiomatico per JVM, Android e multipiattaforma
Scaramuzzino, Roberto
Paperback
$21.44
Manuale completo di F#: Dal pensiero funzionale alle applicazioni .NET di produzione
Scaramuzzino, Roberto
Paperback
$25.55
Manuale completo di COBOL: Dai fondamenti al mainframe: il linguaggio che fa funzionare il mondo
Scaramuzzino, Roberto
Paperback
$22.03
Le Scritture di Assestamento e la Chiusura dei Conti: Ratei - Risconti - Ammortamenti - Svalutazioni - Chiusura dei conti
Scaramuzzino, Roberto
Paperback
$13.19
Manuale completo di GO: Dai fondamenti alla concorrenza, ai generics e alla programmazione di rete moderna
Scaramuzzino, Roberto
Paperback
$20.03
Manuale completo di SWIFT: Dai fondamenti alla programmazione sicura, espressiva e concorrente
Scaramuzzino, Roberto
Paperback
$23.76
Manuale Completo Di Ruby: Dai fondamenti alla programmazione professionale con Ruby 4
Scaramuzzino, Roberto
Paperback
$23.64
Manuale completo di HTML/CSS: Dai fondamenti al web moderno: struttura, stile e layout
Scaramuzzino, Roberto
Paperback
$20.87
Manuale Completo Di C#: Dai fondamenti alla programmazione moderna con .NET
Scaramuzzino, Roberto
Paperback
$25.30
Manuale completo di GDScript e Godot: Dalle basi del linguaggio allo sviluppo di videogiochi completi con Godot Engine
Scaramuzzino, Roberto
Paperback
$22.98
Manuale completo di Haskell: Pensare per funzioni: dai fondamenti alla programmazione funzionale pura
Scaramuzzino, Roberto
Paperback
$22.63
Manuale completo di Clojure: Dai fondamenti della programmazione funzionale al REPL, alle macro, alla JVM e a ClojureScript
Scaramuzzino, Roberto
Paperback
$20.63
MANUALE COMPLETO DI LISP e SCHEME: Dalle s-expression alle macro: programmare con i due grandi dialetti del Lisp
Scaramuzzino, Roberto
Paperback
$20.83
Manuale completo di Assembly: Dai fondamenti dell'architettura x86-64 alla programmazione di sistema su Linux
Scaramuzzino, Roberto
Paperback
$21.17
Manuale Completo Di Dart E Flutter: Dai fondamenti del linguaggio alla creazione di app multipiattaforma
Scaramuzzino, Roberto
Paperback
$22.70
Manuale completo di VBA: Automazione di Office con macro e programmazione applicata
Scaramuzzino, Roberto
Paperback
$22.93
Manuale completo di Nim: Dai fondamenti alla metaprogrammazione: guida pratica con esercizi svolti e IA
Scaramuzzino, Roberto
Paperback
$20.41
Manuale completo di Solidity: Dai fondamenti dell'EVM agli smart contract sicuri in produzione
Scaramuzzino, Roberto
Paperback
$29.63
Civil Society Elites in the Italian Third Sector: A Comparative Perspective
Santilli, Cecilia
Scaramuzzino, Roberto
Hardcover
$44.99
Manuale completo di ADA: Dai fondamenti alla programmazione concorrente: tipi, pacchetti, generici, tasking e contratti con Ada 2022
Scaramuzzino, Roberto
Paperback
$22.09
Manuale completo di VHDL e Verilog: Dai fondamenti della logica digitale alla progettazione e verifica di sistemi digitali su FPGA
Scaramuzzino, Roberto
Paperback
$44.16
Manuale completo di D: Dai fondamenti alla programmazione di sistema produttiva
Scaramuzzino, Roberto
Paperback
$34.50
Manuale completo di programmazione JavaScript: Dalle basi al codice di produzione, con l'IA come compagna di studio
Scaramuzzino, Roberto
Paperback
$22.97
Alessandria: La città nata contro l'Impero, tra fortezze, rivoluzioni e industria
Scaramuzzino, Roberto
Paperback
$20.48
Manuale completo di Lua: Dai fondamenti al linguaggio che vive dentro ogni cosa
Scaramuzzino, Roberto
Paperback
$37.92
Also in
Gifts & Stationery General
Go-To Notebook with Mohawk Paper, Midnight Blue Blank: (Blank Notebooks, Simple Notebook, Blue Notebook)
Chronicle Books
Other
$14.99
This Earthly Globe: A Venetian Geographer and the Quest to Map the World
Andrea Di Robilant
Paperback
$10.99
Where to Find It in the Bible: The Ultimate Resource for Quick-And-Easy Biblical Reference
Anderson, Ken
Paperback
$18.99
Flow Hive's Book of Bees and Beekeeping: Protect, Enjoy, Harvest
Anderson, Cedar
Anderson, Stuart
Hardcover
$26.59
The Official Pumpkin Spice Café Cookbook: 60 Delicious Dream Harbor Recipes
Thomas, Heather
Gilmore, Laurie
Hardcover
$20.90
Brain Games - Sticker by Number: Snoopy (Officially Licensed Peanuts Product)
New Seasons
Brain Games
Publications International Ltd
Paperback
$11.98
The Investor's Odyssey: Resisting the Sirens and Playing the Long Game
Mayer, Christopher W.
Hardcover
$23.70
Bear Hugs Notecards: (Cute Notecards, Notecards for Friends, Artistic Notecards with Envelopes)
Chronicle Books
Other
$16.95
Brain Games - Sticker by Number: Flowers & Nature Stained Glass (28 Images to Sticker)
New Seasons
Publications International Ltd
Brain Games
Paperback
$16.98
Once Upon a Cookbook: A Treasury of Recipes Inspired by Timeless Children's Books
Taylor, Bryton
Hardcover
$22.49
3-Color Botanical Cyanotype Kit: Beginner-Friendly Solar Printing Kit for DIY Nature Art
Rafferty, Sarah Bourne
Hardcover
$23.74
Learning Japanese Hiragana and Katakana: A Workbook for Self-Study
Henshall, Kenneth G.
Takagaki, Tetsuo
Paperback
$13.25
Brain Games - Sticker by Number - Vintage: Animals (28 Images to Sticker)
Brain Games
Publications International Ltd
New Seasons
Paperback
$16.98
Brain Games - Sticker by Number: Gilded Gardens (24 Images to Sticker): Includes 2 Foil Sticker Sheets to Complete Each Image!
Brain Games
Publications International Ltd
New Seasons
Paperback
$19.98
Book Club Bar: Literary-Inspired Drink Recipes for Your Next Great Read
Neary, Erin
Esten, Nat
Hardcover
$22.50
Rebecca Yarros's Fourth Wing: I Survived Threshing Stickers - Sticker Set of 4
Out of Print
Paperback
$12.00
Brain Games - Sticker by Number: Be Calm (28 Images to Sticker)
New Seasons
Brain Games
Publications International Ltd
Paperback
$16.98
Tesla & The Cabbage Patch Kids: Exploring the lost Empire of Tartaria and the Reset of 1776
Anderson, Guy Peter
Paperback
$23.99
After Dinner Amusements: Truth or Dare for Couples: 50 Questions and Challenges
Chronicle Books
Other
$8.95
The Three Books of Enoch, Plus the Enoch Portions of the Book of Jasher
Ben Elisha, Ishmael
Paperback
$13.14
Brain Games - Sticker by Number: Cozy Capybaras: Includes a Foil Sticker Sheet to Complete Each Image!
Brain Games
Publications International Ltd
New Seasons
Paperback
$11.98
Brain Games - Sticker by Number: Enchanted Wonders (36 Images to Sticker): Includes Foil Stickers!
Brain Games
Publications International Ltd
New Seasons
Paperback
$22.98
The World of Agatha Christie: And Then There Were None a 1000-Piece Jigsaw Puzzle: Illustrated by Ruby Ash
Agatha Christie Ltd, Agatha Christie
Other
$23.99
Brain Games - Search and Sticker: Animals (for Kids Ages 3-6)
Little Grasshopper Books
Publications International Ltd
Paperback
$9.48
Brain Games - Sticker by Number: Whimsical World (24 Images to Sticker): Includes 2 Foil Sticker Sheets to Complete Each Image!
New Seasons
Brain Games
Publications International Ltd
Paperback
$19.98
Brain Games - To Go - 3-In-1: Word Search, Sudoku, Crosswords
Publications International Ltd
Brain Games
Paperback
$9.48