Programovanie pomocou typov

Recenzie čitateľov

Kniha poskytuje komplexný a prístupný úvod do typových systémov pomocou jazyka TypeScript, vďaka čomu sú zložité koncepty pre programátorov ľahšie stráviteľné. Pokrýva široké spektrum tém od základných typov až po pokročilé koncepty programovania, pričom osloví najmä vývojárov strednej úrovne, hoci ponúka poznatky pre širšie publikum.

⬤ Napísaná jednoduchou angličtinou, vďaka čomu je prístupná aj pre bežných programátorov.
⬤ Pokrýva širokú škálu programátorských konceptov vrátane OOP, funkčného programovania a dátových štruktúr.
⬤ Obsahuje užitočné diagramy, vzory a príklady kódu.
⬤ Pútavý a ľahko stráviteľný štýl, najmä pre aplikovanú teóriu typov.
⬤ Ponúka cenné poznatky pre vývojárov strednej úrovne, ktorí chcú rozšíriť svoje zručnosti.

⬤ Neodporúča sa pre tých, ktorí nepoznajú programovanie v jazyku JavaScript, pretože TypeScript je nadmnožinou jazyka JavaScript.
⬤ Niektoré časti si môžu vyžadovať viacnásobné prečítanie na úplné pochopenie.
⬤ Hoci je TypeScript vo všeobecnosti výhodou, jeho syntax typových anotácií môže byť ťažkopádna a ťažko čitateľná.
⬤ Neslúži ako príručka pre začiatočníkov pri učení sa jazyka TypeScript; skôr sa zameriava na koncepty programovania v staticky typovanom kontexte.

(na základe 4 čitateľských recenzií)

Pôvodný názov:

Programming with Types

Obsah knihy:

Zhrnutie.

Programovanie s typmi vás naučí navrhovať bezpečný, odolný a správny softvér, ktorý sa ľahko udržiava a chápe, a to vďaka využitiu sily silných typových systémov. Táto zrozumiteľne napísaná učebnica, navrhnutá tak, aby poskytla praktické, okamžite užitočné techniky pre pracujúcich vývojárov, vás oboznámi s používaním typových systémov na podporu každodenných programátorských úloh.

Zakúpenie tlačenej knihy zahŕňa bezplatnú elektronickú knihu vo formátoch PDF, Kindle a ePub od vydavateľstva Manning Publications.

O technológii: Kniha je venovaná problematike typových systémov a ich používaniu.

Bežné chyby často vyplývajú z nesprávne nastavených dátových typov. Presným pomenovaním a kontrolou toho, ktoré údaje sú vo výpočte prípustné, môže silný typový systém eliminovať celé triedy chýb a zabezpečiť integritu údajov v celej aplikácii. Zručné používanie typov v každodennej praxi vedie ako vývojára k lepšiemu kódu a šetrí čas pri hľadaní chúlostivých chýb súvisiacich s údajmi.

O knihe.

Programovanie s typmi učí typové techniky písania bezpečného, správneho, ľahko udržiavateľného a prakticky samostatne dokumentovateľného softvéru. Táto zrozumiteľne napísaná učebnica, určená pre pracujúcich vývojárov, sa drží praktických výhod typových systémov pre každodenné programátorské úlohy. Na základe reálnych príkladov nakódovaných v jazyku TypeScript si vybudujete zručnosti od primitívnych typov až po pokročilejšie koncepty, ako sú funktory a monády.

Čo je vnútri.

Budovanie dátových štruktúr pomocou primitívnych typov, polí a referencií.

Ako typy ovplyvňujú funkcie, dedičnosť a kompozíciu.

Objektovo orientované programovanie s typmi.

Použitie generických a vyšších typov.

O čitateľovi.

Budete potrebovať skúsenosti s niektorým z hlavných programovacích jazykov, ako je TypeScript, Java, JavaScript, C# alebo C++.

O autorovi: V knihe sa dočítate o autorovi, ktorý sa zaoberá problematikou typových rozhraní.

Vlad Riscutia je hlavný softvérový inžinier v spoločnosti Microsoft. Viedol niekoľko veľkých softvérových projektov a je mentorom začínajúcich softvérových inžinierov.