Recenzii ale cititorilor
Rezumat:Cartea oferă o introducere cuprinzătoare și plăcută în tipurile dependente printr-un format bazat pe dialog, cu accent pe un limbaj jucărie numit Pie. Deși este apreciată pentru abordarea sa pedagogică și capacitatea de a schimba modul în care cititorii gândesc despre programare, poate fi considerată prea elementară pentru cei deja familiarizați cu tipurile dependente. Cititorii recomandă să-și ia timp pentru a reflecta asupra materialului, unii sugerând mai multe lecturi pentru o înțelegere completă.
Avantaje:Introducere abordabilă și plăcută, formatul captivant al dialogului îmbunătățește învățarea, atenție sporită la detalii, excelent pentru începători, ajută la schimbarea perspectivei asupra programării, structură pedagogică eficientă, perspective valoroase asupra tipurilor dependente.
Dezavantaje:Poate fi prea elementară pentru utilizatorii avansați, nu este potrivită pentru cei care preferă transmiterea directă a informațiilor, versiunea Kindle are probleme de navigare, necesită unele cunoștințe prealabile de programare funcțională și Scheme.
(pe baza a 21 recenzii ale cititorilor)
Conținutul cărții:
O introducere în tipurile dependente, demonstrând cele mai frumoase aspecte, pas cu pas.
Tipul unui program descrie comportamentul acestuia. Tipurile dependente sunt o parte de primă clasă a unui limbaj și sunt mult mai puternice decât alte tipuri; utilizarea unui singur limbaj pentru tipuri și programe permite ca descrierile programelor să fie la fel de puternice ca programele pe care le descriu. The Little Typer explică tipurile dependente, începând cu un limbaj foarte mic care seamănă foarte mult cu Scheme și extinzându-l pentru a acoperi atât programarea cu tipuri dependente, cât și utilizarea tipurilor dependente pentru raționamentul matematic. Cititorii trebuie să fie familiarizați cu elementele de bază ale unui limbaj de programare de tip Lisp, așa cum sunt prezentate în primele patru capitole din The Little Schemer.
Primele cinci capitole din The Little Typer oferă instrumentele necesare pentru a înțelege tipurile dependente; capitolele rămase folosesc aceste instrumente pentru a construi o punte între matematică și programare. Cititorii vor învăța că instrumentele pe care le cunosc din programare - perechi, liste, funcții și recursiune - pot surprinde, de asemenea, modele de raționament. The Little Typer nu încearcă să predea nici abilități practice de programare, nici o abordare complet riguroasă a tipurilor. În schimb, demonstrează cele mai frumoase aspecte cât mai simplu posibil, pas cu pas.
