Programování s typy

Recenze čtenářů

Kniha poskytuje ucelený a přístupný úvod do typových systémů pomocí jazyka TypeScript, díky němuž jsou složité koncepty pro programátory stravitelnější. Pokrývá širokou škálu témat od základních typů až po pokročilé programátorské koncepty a oslovuje především vývojáře střední úrovně, i když nabízí poznatky pro širší publikum.

⬤ Je napsána jednoduchou angličtinou, takže je přístupná i běžným programátorům.
⬤ Pokrývá širokou škálu programátorských konceptů, včetně OOP, funkcionálního programování a datových struktur.
⬤ Obsahuje užitečné diagramy, vzory a příklady kódu.
⬤ Poutavý a stravitelný styl, zejména pro aplikovanou teorii typů.
⬤ Nabízí cenné poznatky pro vývojáře střední úrovně, kteří chtějí rozšířit své dovednosti.

⬤ Nedoporučuje se těm, kteří neznají programování v jazyce JavaScript, protože TypeScript je nadmnožinou jazyka JavaScript.
⬤ Některé části mohou pro úplné pochopení vyžadovat několikeré přečtení.
⬤ Ačkoli je TypeScript obecně výhodou, jeho syntaxe typových anotací může být nepřehledná a špatně čitelná.
⬤ Kniha neslouží jako průvodce začátečníka při výuce jazyka TypeScript; spíše se zaměřuje na koncepty programování v kontextu staticky typovaných jazyků.

(na základě 4 hodnocení čtenářů)

Původní název:

Programming with Types

Obsah knihy:

Shrnutí.

Kniha Programování s typy vás naučí navrhovat bezpečný, odolný a správný software, který se snadno udržuje a je srozumitelný, a to s využitím výhod silných typových systémů. Tato srozumitelně napsaná učebnice, navržená tak, aby poskytovala praktické, okamžitě použitelné techniky pro pracující vývojáře, vás seznámí s používáním typových systémů pro podporu každodenních programátorských úloh.

Zakoupení tištěné knihy zahrnuje bezplatnou elektronickou knihu ve formátech PDF, Kindle a ePub od Manning Publications.

O technologii: Kniha je určena pro čtenáře, kteří se chtějí naučit pracovat s typovými knihami, a to jak s typovými knihami, tak i s knihami, které se týkají typů.

Běžné chyby často vznikají v důsledku nesouladu datových typů. Přesným pojmenováním a kontrolou toho, která data jsou ve výpočtu přípustná, může silný typový systém eliminovat celé třídy chyb a zajistit integritu dat v celé aplikaci. Pokud jako vývojáři dovedně používáte typy ve své každodenní praxi, vede to k lepšímu kódu a šetří to čas při hledání záludných chyb souvisejících s daty.

O knize: V knize se dočtete o tom, jak je to s typy v praxi.

Programování s typy učí typové techniky psaní bezpečného, správného, snadno udržovatelného a prakticky samostatně dokumentovatelného softwaru. Tato srozumitelně napsaná učebnice, určená pro pracující vývojáře, se drží praktických výhod typových systémů pro každodenní programátorské úlohy. Na základě reálných příkladů nakódovaných v jazyce TypeScript si osvojíte dovednosti od primitivních typů až po pokročilejší koncepty, jako jsou funktory a monády.

Co je uvnitř.

Tvorba datových struktur pomocí primitivních typů, polí a referencí.

Jak typy ovlivňují funkce, dědičnost a kompozici.

Objektově orientované programování s typy.

Použití generik a typů vyšších druhů.

O čtenáři.

Budete potřebovat zkušenosti s některým z hlavních programovacích jazyků, jako je TypeScript, Java, JavaScript, C# nebo C++.

O autorovi: V knize se dočtete, že se věnuje problematice programování v jazyce TypeScript.

Vlad Riscutia je hlavní softwarový inženýr ve společnosti Microsoft. Vedl několik významných softwarových projektů a je mentorem začínajících softwarových inženýrů.