Recenzie čitateľov
Zhrnutie:Kniha poskytuje komplexný a príjemný úvod do závislých typov prostredníctvom dialógovej formy so zameraním na hračkársky jazyk s názvom Pie. Hoci je oceňovaná pre svoj pedagogický prístup a schopnosť zmeniť spôsob, akým čitatelia premýšľajú o programovaní, môže byť vnímaná ako príliš základná pre tých, ktorí už sú oboznámení so závislými typmi. Čitatelia odporúčajú venovať čas premýšľaniu nad materiálom, pričom niektorí odporúčajú viacnásobné čítanie na úplné pochopenie.
Výhody:Prístupný a príjemný úvod, pútavý formát dialógu zlepšuje učenie, veľký dôraz na detaily, výborný pre začiatočníkov, pomáha zmeniť pohľad na programovanie, efektívna pedagogická štruktúra, cenné poznatky o závislých typoch.
Nevýhody:Môže byť príliš základný pre pokročilých používateľov, nie je vhodný pre tých, ktorí uprednostňujú priame podanie informácií, verzia pre Kindle má problémy s navigáciou, vyžaduje určité predchádzajúce znalosti funkcionálneho programovania a Scheme.
(na základe 21 čitateľských recenzií)
Pôvodný názov:
The Little Typer
Obsah knihy:
Úvod do závislých typov, ktorý ukazuje najkrajšie aspekty, krok za krokom.
Typ programu opisuje jeho správanie. Závislé typy sú prvotriednou súčasťou jazyka a sú oveľa mocnejšie ako iné druhy typov; používanie len jedného jazyka pre typy a programy umožňuje, aby opisy programov boli rovnako mocné ako programy, ktoré opisujú. Malý typológ vysvetľuje závislé typy, pričom začína veľmi malým jazykom, ktorý sa veľmi podobá Scheme, a rozširuje ho tak, aby pokryl programovanie so závislými typmi aj používanie závislých typov na matematické uvažovanie. Čitatelia by mali byť oboznámení so základmi programovacieho jazyka podobného Lispu, ktoré sú uvedené v prvých štyroch kapitolách Malého schématu.
Prvých päť kapitol knihy The Little Typer poskytuje potrebné nástroje na pochopenie závislých typov; zvyšné kapitoly využívajú tieto nástroje na vybudovanie mosta medzi matematikou a programovaním. Čitatelia sa naučia, že nástroje, ktoré poznajú z programovania - dvojice, zoznamy, funkcie a rekurzia - môžu zachytiť aj vzory uvažovania. Malý typológ sa nesnaží naučiť ani praktické programátorské zručnosti, ani úplne rigorózny prístup k typom. Namiesto toho demonštruje najkrajšie aspekty čo najjednoduchšie, krok za krokom.
