Programmazione con i tipi

Recensioni dei lettori

Il libro fornisce un'introduzione completa e accessibile ai sistemi di tipi utilizzando TypeScript, rendendo i concetti complessi più digeribili per i programmatori. Copre un'ampia gamma di argomenti, dai tipi di base ai concetti di programmazione avanzati, rivolgendosi principalmente agli sviluppatori di medio livello, pur offrendo spunti per un pubblico più ampio.

⬤ Scritto in un inglese semplice, che lo rende accessibile ai programmatori di tutti i giorni.
⬤ Copre un'ampia gamma di concetti di programmazione, tra cui OOP, programmazione funzionale e strutture dati.
⬤ Include utili diagrammi, schemi ed esempi di codice.
⬤ Stile coinvolgente e digeribile, in particolare per la teoria dei tipi applicata.
⬤ Offre spunti preziosi per gli sviluppatori di medio livello che vogliono migliorare le proprie competenze.

⬤ Sconsigliato a chi non ha familiarità con la programmazione JavaScript, poiché TypeScript è un superset di JavaScript.
⬤ Alcune sezioni possono richiedere più letture per una piena comprensione.
⬤ Sebbene TypeScript sia generalmente un vantaggio, la sua sintassi di annotazione dei tipi può essere ingombrante e difficile da leggere.
⬤ Non si tratta di una guida per principianti all'apprendimento di TypeScript; piuttosto, si concentra sui concetti di programmazione in un contesto di tipi statici.

(basato su 4 recensioni dei lettori)

Titolo originale:

Programming with Types

Contenuto del libro:

Sommario.

Programmare con i tipi insegna a progettare software sicuro, resistente e corretto, facile da mantenere e da capire, sfruttando la potenza dei sistemi di tipi forti. Progettato per fornire tecniche pratiche e immediatamente utili agli sviluppatori che lavorano, questo tutorial scritto in modo chiaro introduce all'uso dei sistemi di tipi per supportare le attività di programmazione quotidiane.

L'acquisto del libro stampato include un eBook gratuito nei formati PDF, Kindle e ePub di Manning Publications.

Informazioni sulla tecnologia.

I bug più comuni derivano spesso da una mancata corrispondenza dei tipi di dati. Grazie alla denominazione precisa e al controllo dei dati ammessi in un calcolo, un sistema di tipi forte può eliminare intere classi di errori e garantire l'integrità dei dati in tutta l'applicazione. In qualità di sviluppatore, l'uso sapiente dei tipi nella pratica quotidiana porta a un codice migliore e fa risparmiare tempo per rintracciare errori complicati legati ai dati.

Informazioni sul libro.

Programmare con i tipi insegna le tecniche basate sui tipi per scrivere software sicuro, corretto, facile da mantenere e praticamente autodocumentante. Pensato per gli sviluppatori che lavorano, questo tutorial scritto in modo chiaro si concentra sui vantaggi pratici dei sistemi di tipi per le attività di programmazione quotidiane. Seguendo esempi reali codificati in TypeScript, si sviluppano le proprie competenze a partire dai tipi primitivi fino a concetti più avanzati come i funtori e le monadi.

Cosa contiene.

Costruire strutture di dati con tipi primitivi, array e riferimenti.

Come i tipi influenzano le funzioni, l'ereditarietà e la composizione.

Programmazione orientata agli oggetti con i tipi.

Applicazione dei generici e dei tipi di tipo superiore.

Informazioni sul lettore.

È necessario avere esperienza con un linguaggio di programmazione tradizionale come TypeScript, Java, JavaScript, C# o C++.

Informazioni sull'autore.

Vlad Riscutia è un ingegnere software principale di Microsoft. Ha diretto diversi progetti software importanti e fa da mentore a ingegneri software emergenti.