Típusvezérelt fejlesztés Idrisszel

Olvasói vélemények

Az Idrisről szóló könyv magával ragadó bevezetést nyújt a típusvezérelt fejlesztésbe és az Idris programozási nyelvbe. Az olvasók hasznosnak találják a fejlett típusrendszerek megértéséhez, és értékelik a világos magyarázatokat. Néhány felhasználónak azonban nehézséget okoz a dokumentáció és a telepítés, ami akadályozhatja a tanulást.

⬤ Magával ragadó és elgondolkodtató tartalom, amely megváltoztatja a programozás és a típusrendszerek szemléletét.
⬤ Jól megírt oktatóanyag, amely hasznos az Idris és a típusvezérelt fejlesztés elsajátításához.
⬤ A szerző az Idris megalkotója, így bennfentes szemszögből szemléli a dolgokat.
⬤ Hangsúlyozza az erős tipizálás és a biztonság fontosságát a programozásban.
⬤ A funkcionális programozásban jártas olvasók számára is elérhető összetett fogalmak világos bemutatása.

⬤ Átfogó telepítési útmutató és dokumentáció hiánya, ami nehézségeket okoz az új felhasználók számára.
⬤ Egyes olvasók számára a nyelv szokatlan, és a munkaerőpiacon tapasztalható korlátozott kereslet elriaszthatja őket.
⬤ Lehet, hogy a tárgyalt haladó témák miatt nem alkalmas teljesen kezdők számára.
⬤ Lehetséges problémák merültek fel a gyártásra való alkalmassággal kapcsolatban, és a felhasználók óva intettek az éles projektekben való használatától.

(11 olvasói vélemény alapján)

Eredeti címe:

Type-Driven Development with Idris

Könyv tartalma:

Összefoglaló

A Type-Driven Development with Idris, amelyet az Idris alkotója írt, megtanítja, hogyan javíthatja programjai teljesítményét és pontosságát egy korszerű típusrendszer kihasználásával. Ez a könyv a típusvezérelt fejlesztés támogatására tervezett Idris nyelvvel tanít.

A nyomtatott könyv megvásárlása magában foglalja a Manning Publications ingyenes e-könyvét PDF, Kindle és ePub formátumban.

A technológiáról

Ne küzdjön tovább a típushibák ellen A típusvezérelt fejlesztés a kódolás olyan megközelítése, amely a típusokat a kód alapjaként fogadja el - lényegében beépített dokumentációként, amelyet a fordítóprogram az adatkapcsolatok és egyéb feltételezések ellenőrzésére használhat. Ezzel a megközelítéssel már a fejlesztés korai szakaszában meghatározhatja a specifikációkat, és olyan kódot írhat, amely könnyen karbantartható, tesztelhető és bővíthető. Az Idris egy Haskell-szerű nyelv első osztályú, függő típusokkal, amely tökéletes a típusvezérelt programozási technikák elsajátításához, amelyeket bármilyen kódbázisban alkalmazhat.

A könyvről

A Type-Driven Development with Idris megtanítja, hogyan javíthatja kódja teljesítményét és pontosságát a legkorszerűbb típusrendszer előnyeinek kihasználásával. Ebben a könyvben megtanulhatja a valós szoftverek típusvezérelt fejlesztését, valamint azt, hogyan kezelje az oldalhatásokat, az interakciókat, az állapotot és az egyidejűséget. A könyv végére képes lesz robusztus és ellenőrzött szoftvereket fejleszteni Idrisben, és a típusvezérelt fejlesztési módszereket más nyelvekre is alkalmazni.

What's Inside

⬤ A függő típusok megértése.

⬤ A típusok mint első osztályú nyelvi konstrukciók.

⬤ Típusok mint a programszerkesztés útmutatói.

⬤ Adatok közötti kapcsolatok kifejezése.

Az olvasóról

A funkcionális programozási koncepciókat ismerő programozók számára íródott.

A szerzőről

Edwin Brady vezeti az Idris nyelv tervezését és megvalósítását.

Tartalomjegyzék

1. RÉSZ - BEVEZETÉS.

⬤ Áttekintés.

⬤ Az Idris használatának megkezdése 2. rész - Az IDRIS magja.

⬤ Interaktív fejlesztés típusokkal.

⬤ A felhasználó által definiált adattípusok.

⬤ Interaktív programok: bemeneti és kimeneti feldolgozás.

⬤ Programozás első osztályú típusokkal.

⬤ Kapcsolatfelületek: korlátozott általános típusok használata.

⬤ Egyenlőség: az adatok közötti kapcsolatok kifejezése.

⬤ Predikátumok: feltételezések és szerződések kifejezése típusokban.

⬤ Nézetek: a mintaillesztés kiterjesztése.

3. RÉSZ - IDRIS ÉS A VALÓ VILÁG.

⬤ Streamek és folyamatok: munka végtelen adatokkal.

⬤ Programok írása állapottal.

⬤ Állapotgépek: protokollok ellenőrzése típusokban.

⬤ Függő állapotgépek: visszajelzések és hibák kezelése.

⬤ Típusbiztos egyidejű programozás.