Recenze čtenářů
Shrnutí:Kniha poskytuje ucelený a zábavný úvod do závislých typů formou dialogu se zaměřením na jazyk hraček zvaný Pie. Přestože je oceňována pro svůj pedagogický přístup a schopnost změnit způsob, jakým čtenáři přemýšlejí o programování, může být vnímána jako příliš základní pro ty, kteří se již se závislými typy seznámili. Čtenáři doporučují věnovat čas zamyšlení nad materiálem, přičemž někteří doporučují pro úplné pochopení více čtení.
Klady:Přístupný a příjemný úvod, poutavá forma dialogu zlepšuje učení, velký důraz na detail, vynikající pro začátečníky, pomáhá změnit pohled na programování, efektivní pedagogická struktura, cenné poznatky o závislých typech.
Zápory:Pro pokročilé uživatele může být příliš základní, nevhodné pro ty, kteří preferují přímočaré podávání informací, verze pro Kindle má problémy s navigací, vyžaduje určité předchozí znalosti funkcionálního programování a Scheme.
(na základě 21 hodnocení čtenářů)
Původní název:
The Little Typer
Obsah knihy:
Úvod do závislých typů, který postupně ukazuje nejkrásnější aspekty.
Typ programu popisuje jeho chování. Závislé typy jsou prvotřídní součástí jazyka a jsou mnohem mocnější než jiné druhy typů; používání pouze jednoho jazyka pro typy a programy umožňuje, aby popisy programů byly stejně mocné jako programy, které popisují. Kniha Malý typer vysvětluje závislé typy, začíná s velmi malým jazykem, který se velmi podobá jazyku Scheme, a rozšiřuje jej tak, aby zahrnoval jak programování se závislými typy, tak používání závislých typů pro matematické úvahy. Čtenáři by měli být obeznámeni se základy programovacího jazyka podobného Lispu, jak jsou uvedeny v prvních čtyřech kapitolách Malého schématu.
Prvních pět kapitol knihy The Little Typer poskytuje nástroje potřebné k pochopení závislých typů; zbývající kapitoly tyto nástroje využívají k vytvoření mostu mezi matematikou a programováním. Čtenáři se dozvědí, že nástroje, které znají z programování - dvojice, seznamy, funkce a rekurze - mohou zachytit i vzorce uvažování. Kniha Malý typer se nesnaží naučit ani praktické programátorské dovednosti, ani zcela rigorózní přístup k typům. Místo toho ukazuje nejkrásnější aspekty co nejjednodušeji, krok za krokem.
