Typom riadený vývoj s Idrisom

Recenzie čitateľov

Kniha Idris ponúka pútavý úvod do typovo riadeného vývoja a programovacieho jazyka Idris. Čitateľom pomôže pochopiť pokročilé typové systémy a ocenia jej zrozumiteľné vysvetlenia. Niektorí používatelia však majú problémy s dokumentáciou a inštaláciou, čo môže brániť v učení.

⬤ Pútavý a podnetný obsah, ktorý mení pohľad na programovanie a typové systémy.
⬤ Dobre napísaný výukový program, ktorý je prínosom pri učení sa Idrisu a typovo riadeného vývoja.
⬤ Autor je tvorca Idrisu, ktorý poskytuje pohľad zvnútra.
⬤ Zdôrazňuje dôležitosť silného typovania a bezpečnosti v programovaní.
⬤ Jasná prezentácia zložitých konceptov, ktoré sú dostupné aj čitateľom so skúsenosťami s funkcionálnym programovaním.

⬤ Chýba komplexný sprievodca inštaláciou a dokumentácia, čo vedie k ťažkostiam pre nových používateľov.
⬤ Niektorí čitatelia považujú jazyk za nezvyčajný a môže ich odradiť obmedzený dopyt na trhu práce.
⬤ Nemusí byť vhodný pre úplných začiatočníkov vzhľadom na preberané pokročilé témy.
⬤ Zaznamenané sú potenciálne problémy týkajúce sa jeho pripravenosti na produkciu, pričom používatelia sú varovaní pred jeho používaním v živých projektoch.

(na základe 11 čitateľských recenzií)

Pôvodný názov:

Type-Driven Development with Idris

Obsah knihy:

Zhrnutie

Kniha Type-Driven Development with Idris, ktorú napísal tvorca Idrisu, vás naučí, ako zlepšiť výkon a presnosť vašich programov využitím najmodernejšieho typového systému. Táto kniha vás naučí s Idrisom, jazykom navrhnutým na podporu typovo riadeného vývoja.

Zakúpenie tlačenej knihy zahŕňa bezplatnú elektronickú knihu vo formátoch PDF, Kindle a ePub od vydavateľstva Manning Publications.

O technológii

Prestaňte bojovať s typovými chybami Typom riadený vývoj je prístup ku kódovaniu, ktorý zahŕňa typy ako základ vášho kódu - v podstate ako zabudovanú dokumentáciu, ktorú môže váš kompilátor použiť na kontrolu dátových vzťahov a iných predpokladov. Vďaka tomuto prístupu môžete definovať špecifikácie už na začiatku vývoja a písať kód, ktorý sa dá ľahko udržiavať, testovať a rozširovať. Idris je jazyk podobný Haskellu s prvotriednymi závislými typmi, ktorý je ideálny na učenie sa typovo riadených programovacích techník, ktoré môžete použiť v akejkoľvek kódovej základni.

O knihe

Type-Driven Development with Idris vás naučí, ako zlepšiť výkon a presnosť vášho kódu využitím najmodernejšieho typového systému. V tejto knihe sa naučíte typovo riadený vývoj reálneho softvéru, ako aj to, ako zaobchádzať s vedľajšími efektmi, interakciou, stavom a súbežnosťou. Na konci budete schopní vyvíjať robustný a overený softvér v Idrise a aplikovať metódy typovo riadeného vývoja na iné jazyky.

Čo je vnútri

⬤ Poznanie závislých typov.

⬤ Typy ako jazykové konštrukcie prvej triedy.

⬤ Typy ako sprievodca konštrukciou programu.

⬤ Vyjadrenie vzťahov medzi údajmi.

O čitateľovi

Napísané pre programátorov so znalosťou konceptov funkcionálneho programovania.

O autorovi

Edwin Brady vedie návrh a implementáciu jazyka Idris.

Obsah Table of Contents.

ČASŤ 1 - ÚVOD.

⬤ Prehľad.

⬤ Začíname s IdrisomČASŤ 2 - jadro IDRIS.

⬤ Interaktívny vývoj s typmi.

⬤ Užívateľsky definované dátové typy.

⬤ Interaktívne programy: spracovanie vstupov a výstupov.

⬤ Programovanie s typmi prvej triedy.

⬤ Interfejsy: používanie obmedzených generických typov.

⬤ Rovnosť: vyjadrenie vzťahov medzi údajmi.

⬤ Predikáty: vyjadrenie predpokladov a zmlúv v typoch.

⬤ Vízie: rozšírenie porovnávania vzorov.

ČASŤ 3 - IDRIS A REÁLNY SVET.

⬤ Prúdy a procesy: práca s nekonečnými údajmi.

⬤ Písanie programov so stavom.

⬤ State machines: overovanie protokolov v typoch.

⬤ Závislé stavové stroje: spracovanie spätnej väzby a chýb.

⬤ Typovo bezpečné súbežné programovanie.