Code: 12404702
Type-driven Development with Idris
by Edwin Brady
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you wit ... more
- Language:
English - Binding: Paperback
- Number of pages: 480
Publisher: Manning Publications, 2017
- More about this
You might also like
-
Lord of Mysteries, Vol. 3: The Clown, Part III
14.99 € -29 % -
Framed Ink 2
21.78 € -21 % -
Maurice
10.83 € -27 % -
Voice of the Ocean
11.14 € -19 % -
Clean Architecture
29.99 € -14 % -
Art of Guweiz
29.18 € -23 % -
The Atlas Six
10.43 € -27 % -
Inner Work
12.76 € -25 % -
Getting Things Done
14.89 € -24 % -
Radical Acceptance
14.89 € -24 % -
Savage Rivals - Special Edition
10.63 € -25 % -
Origin of Capitalism
11.95 € -19 % -
Alcatraz Versus the Evil Librarians Tpb Boxed Set: Books 1-6
45.80 € -25 % -
We Have No Idea
10.83 € -29 % -
Touch Book
11.85 € -25 % -
Anime From Akira To Howl's Moving Castle
18.33 € -24 % -
Niv, Premium Gift Bible, Leathersoft, Pink/Brown, Red Letter Edition, Comfort Print
14.79 € -25 % -
Tram 83
11.34 € -24 % -
400 Knitting Stitches
16.21 € -25 % -
Dinosaur Therapy
14.38 € -6 % -
Elementary Korean Workbook
14.79 € -25 % -
You Don't Know JS Yet
22.79 € -7 % -
Drawing on the Right Side of the Brain Starter Kit
48.13 € -30 % -
Rogue: The Savage Land
14.79 € -25 % -
Obsessions of an Eztraordinary Executive - The Four Disciplines at the Heart of Making Any Organization World Class
19.95 € -26 % -
Think and Grow Rich
17.52 € -2 % -
CLR via C#
50.05 € -19 % -
User Friendly
21.37 € -28 % -
Geta Bratescu
36.17 € -21 % -
Programming Erlang 2ed
38.91 € -20 % -
A Choir of Lies
22.18 € -18 % -
Van Halen 1978-1984 Guitar Play-Along Volume 50
19.65 € -21 % -
Sanditon
11.04 € -30 % -
Happier: Can you learn to be Happy? (UK Paperback)
15.50 € -14 % -
They Drew as They Pleased Vol. 2
46.10 € -
Ultimate Dinosaur Dinopedia
18.64 € -25 % -
Types and Programming Languages
104.68 € -12 % -
Dombey and Son
9.31 € -25 % -
Putin: Vladimir Putin's Holy Mother Russia: A Biography of the Most Powerful Man in Russia
4.96 € -
ISE Software Engineering: A Practitioner's Approach
83.30 € -
Data-Oriented Programming
70.63 € -5 % -
Herodotus: Histories, Books 1-4 (Herodoti Historiae: Libri I-IV)
61.10 € -
Happier
25.12 € -25 % -
Gems and Gemmology
69.31 € -
White Smoke
15.19 € -26 % -
Pocket Samurai
10.43 € -25 % -
The Complete Lojban Language
51.17 € -
My First Mother Goose Nursery Rhymes
6.68 € -24 % -
Pearl Volume 1
14.79 € -25 % -
Cain's Book
12.76 € -25 % -
FAVORITE SONGS W/3 CHORDS
7.39 € -22 % -
ESV Verse-by-Verse Reference Bible
151.50 € -10 % -
Dreams, Visions, Imaginations
138.93 € -
Strange Beasts of China
14.58 € -22 % -
Sklepy cynamonowe
11.04 € -
Continuous Glucose Monitoring
181.20 € -
Feedback in Transistor Amplifiers
25.63 € -2 % -
Building and Designing Transistor Radios
31 € -
Sticks and Stone
18.33 € -24 % -
Child-Centered Play Therapy
61.10 € -
Julia Kristeva and Literary Theory
54.51 € -
Transistor Circuit Characteristics.
17.52 € -2 % -
How You Can Save the Planet
8.71 € -25 % -
Airmen's Incredible Escapes: Accounts of Survival in the Second World War
26.75 € -22 % -
Prehistoric Rock Art in the Northern Dales
36.98 € -24 % -
The Book Of Prayers For The Average man
22.59 € -7 % -
Peter Martyr Vermigli and Predestination
225.79 € -
Transistor Amplifiers
29.28 € -1 % -
Imagination and Art: Explorations in Contemporary Theory
250.92 € -
Grandma Book
7.29 € -24 % -
Practical Concurrent Haskell
65.66 € -
Sports: Wrestling
8.91 € -
Eclipses
9.72 € -9 % -
Emergence in Science and Philosophy
225.08 € -
Generating a New Reality
49.35 € -24 % -
Cases on Guaranty and Suretyship.
22.29 € -24 % -
Red Handed
22.08 € -1 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Type-driven Development with Idris
You get 118 loyalty points
Book synopsis
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
48.74 €
- Full title: Type-driven Development with Idris
- Author: Edwin Brady
- Language: English
- Binding: Paperback
- Number of pages: 480
- EAN: 9781617293023
- ISBN: 1617293024
- ID: 12404702
- Publisher: Manning Publications
- Weight: 812 g
- Dimensions: 191 × 235 × 25 mm
- Date of publishing: 07. April 2017
Trending among others
-
Domain-Driven Design Distilled
32.72 € -14 % -
User Stories Applied
52.08 € -
Implementing Domain-Driven Design
59.89 € -2 % -
Forecasting Oracle Performance
51.07 € -
Escape Velocity
18.64 € -24 % -
Apprenticeship Patterns
29.89 € -
The Mythical Man-Month
44.38 € -9 % -
Software Engineering at Google
46.51 € -25 % -
Peopleware
42.45 € -9 % -
Clean Code
52.59 € -7 % -
Patterns of Enterprise Application Architecture
57.15 € -14 % -
Pro Git
51.27 € -
Cracking the Coding Interview
46.30 € -18 % -
Refactoring
53.40 € -5 % -
User Story Mapping
33.84 € -24 % -
The Clean Coder
46.81 € -10 % -
Test Driven Development
44.08 € -6 % -
Real-Time Collision Detection
140.66 € -
Exploratory Software Testing
43.67 € -2 % -
DevOps For Dummies
21.58 € -29 % -
Documenting Software Architectures
68.20 € -14 % -
Professional Scrum Master (PSM I) Guide
39.21 € -1 % -
Programming Elixir 1.6
44.18 € -19 % -
Mikado Method
49.45 € -5 % -
Software Requirements
35.56 € -24 % -
Working Effectively with Legacy Code
52.69 € -14 % -
Continuous Delivery
56.24 € -10 % -
Software Architect Elevator
45.90 € -26 % -
Expert Test Manager
35.46 € -25 % -
Talking with Tech Leads
22.69 € -6 % -
OCUP 2 Certification Guide
67.28 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.91 € -25 % -
Requirements Engineering Fundamentals
28.57 € -25 % -
Data Mesh
56.24 € -25 % -
Agile Samurai
33.23 € -20 % -
Storytelling in Design
40.33 € -24 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.12 € -24 % -
Clean Agile
39.82 € -6 % -
Lessons Learned in Software Testing - A Context- Driven Approach
44.18 € -4 % -
Advanced Software Testing V 2. 2e
56.03 € -
Explore It!
28.06 € -20 % -
Design It! : Pragmatic Programmers
38.91 € -20 % -
Advanced Software Testing
58.67 € -
Head First Objects-Oriented Analysis and Design
49.35 € -24 % -
Software Estimation
32.12 € -24 % -
Art of Application Performance Testing 2e
32.12 € -24 % -
Kubernetes and Docker - An Enterprise Guide
53.70 € -1 % -
Managing the Unmanageable
41.85 € -2 % -
Mastering Regular Expressions 3e
42.45 € -24 %
Shopping guide
Books by language
Collection points Bratislava a 12122 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
24248 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)