Olvasói vélemények
Összegzés:A könyv átfogó és élvezetes bevezetést nyújt a függő típusokba egy párbeszédvezérelt formátumon keresztül, a Pie nevű játéknyelvre összpontosítva. Míg a pedagógiai megközelítése és az olvasók programozásról való gondolkodásmódjának megváltoztatására való képessége miatt nagyra értékelik, a függő típusokkal már ismerkedők számára túlságosan alapszintűnek tűnhet. Az olvasók azt javasolják, hogy szánjunk időt az anyag átgondolására, egyesek pedig többszöri olvasást javasolnak a teljes megértéshez.
Előnyök:Megközelíthető és élvezetes bevezetés, a párbeszédes formátum fokozza a tanulást, nagy figyelmet fordít a részletekre, kiváló kezdőknek, segít megváltoztatni a programozással kapcsolatos szemléletet, hatékony pedagógiai felépítés, értékes betekintés a függő típusokba.
Hátrányok:Haladó felhasználók számára talán túl alapszintű, nem alkalmas azoknak, akik az egyszerű információátadást kedvelik, a Kindle verzióban navigációs problémák vannak, a funkcionális programozás és a Scheme bizonyos előzetes ismereteit igényli.
(21 olvasói vélemény alapján)
Eredeti címe:
The Little Typer
Könyv tartalma:
Bevezetés a függő típusokba, lépésről lépésre bemutatva a legszebb aspektusokat.
Egy program típusa leírja a viselkedését. A függő típusok egy nyelv első osztályú részét képezik, és sokkal erősebbek, mint más típusú típusok; ha csak egy nyelvet használunk a típusokra és a programokra, akkor a programleírások olyan erősek lehetnek, mint az általuk leírt programok. A The Little Typer elmagyarázza a függő típusokat, egy nagyon kis nyelvvel kezdve, amely nagyon hasonlít a Scheme-re, és kiterjesztve azt, hogy mind a függő típusokkal való programozásra, mind a függő típusok matematikai következtetésekhez való használatára kitérjen. Az olvasóknak ismerniük kell a Lisp-szerű programozási nyelv alapjait, amint azt A kis sémás első négy fejezete bemutatja.
A The Little Typer első öt fejezete biztosítja a függő típusok megértéséhez szükséges eszközöket; a többi fejezet ezeket az eszközöket használja fel arra, hogy hidat építsen a matematika és a programozás között. Az olvasók megtanulják, hogy a programozásból ismert eszközök - párok, listák, függvények és rekurzió - az érvelés mintáit is megragadhatják. A The Little Typer nem próbál sem gyakorlati programozási készségeket, sem a típusok teljesen szigorú megközelítését tanítani. Ehelyett a lehető legegyszerűbben, lépésről lépésre mutatja be a legszebb aspektusokat.
