Opinie czytelników
Podsumowanie:Książka zapewnia kompleksowe i przyjemne wprowadzenie do typów zależnych poprzez format oparty na dialogu, koncentrując się na zabawkowym języku o nazwie Pie. Choć jest doceniana za swoje pedagogiczne podejście i zdolność do zmiany sposobu myślenia czytelników o programowaniu, może być postrzegana jako zbyt podstawowa dla osób już zaznajomionych z typami zależnymi. Czytelnicy zalecają poświęcenie czasu na przemyślenie materiału, a niektórzy sugerują wielokrotne czytanie w celu pełnego zrozumienia.
Zalety:Przystępne i przyjemne wprowadzenie, angażujący format dialogu usprawnia naukę, duża dbałość o szczegóły, doskonała dla początkujących, pomaga zmienić perspektywę programowania, skuteczna struktura pedagogiczna, cenne spostrzeżenia na temat typów zależnych.
Wady:Może być zbyt podstawowa dla zaawansowanych użytkowników, nie nadaje się dla tych, którzy preferują proste dostarczanie informacji, wersja Kindle ma problemy z nawigacją, wymaga pewnej wcześniejszej wiedzy na temat programowania funkcjonalnego i Scheme.
(na podstawie 21 opinii czytelników)
Oryginalny tytuł:
The Little Typer
Zawartość książki:
Wprowadzenie do typów zależnych, demonstrujące najpiękniejsze aspekty, krok po kroku.
Typ programu opisuje jego zachowanie. Typy zależne są pierwszorzędną częścią języka i są znacznie potężniejsze niż inne rodzaje typów; używanie tylko jednego języka dla typów i programów pozwala opisom programów być tak potężnymi, jak programy, które opisują. The Little Typer wyjaśnia typy zależne, zaczynając od bardzo małego języka, który wygląda bardzo podobnie do Scheme, i rozszerzając go, aby objąć zarówno programowanie z typami zależnymi, jak i używanie typów zależnych do rozumowania matematycznego. Czytelnicy powinni być zaznajomieni z podstawami języka programowania podobnego do Lisp, przedstawionymi w pierwszych czterech rozdziałach The Little Schemer.
Pierwsze pięć rozdziałów The Little Typer dostarcza narzędzi potrzebnych do zrozumienia typów zależnych; pozostałe rozdziały wykorzystują te narzędzia do zbudowania pomostu między matematyką a programowaniem. Czytelnicy dowiedzą się, że narzędzia, które znają z programowania - pary, listy, funkcje i rekurencja - mogą również uchwycić wzorce rozumowania. The Little Typer nie próbuje uczyć ani praktycznych umiejętności programowania, ani w pełni rygorystycznego podejścia do typów. Zamiast tego demonstruje najpiękniejsze aspekty tak prosto, jak to tylko możliwe, krok po kroku.
