We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£42.57
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£43 today · all-time low £42 (Oct 2026) · usually £43
Manning Type-driven Development with Idris Programming Book
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 91 days · 91 data points
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 91 days • 4 price levels
Price Analysis
Most common price: £43 (45 days, 49.5%)
Price range: £42 - £45
Price levels: 4 different prices over 91 days
Description
Key Features
Learn how Manning Publications teaches types as tools for constructing programs rather than just error checkers.
Use Idris to express precise relationships between data and make your programming assumptions explicit.
Discover how to precisely state and verify properties to help show the absence of errors in your code.
Master techniques for writing extensible code using the principles of type-driven development.
Explore advanced programming methods that go beyond what standard testing can achieve.
Product Specifications
- Brand
- Manning
- Format
- paperback
- ASIN
- 1617293024
- Domain
- Amazon UK
- Release Date
- 08 May 2017
- Listed Since
- 19 May 2016
Barcode
No barcode data available
Similar Products You Might Like
Functional Programming in C#: How to write better C# code
Manning
Effective Software Testing: A Developer's Guide
Manning
Secure By Design
Manning
Grokking Simplicity: Taming Complex Software with Functional Thinking
Manning
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Functional Programming in C++: How to Improve Your C++ Programs Using Functional Techniques
Manning
Manning Functional Programming in Scala - Programming Guide
Manning
Go in Action
Manning
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence
Apress
Functional Programming in Kotlin
Manning
Art of Unit Testing, The: With Examples in JavaScript
Manning
Coding with AI: Examples in Python
Manning
Microservices in Action
Manning
Integrated Model of Distributed Systems: 817 (Studies in Computational Intelligence, 817)
Springer
Mastering React Test-Driven Development: Build rock-solid, well-tested web apps with React, Redux and GraphQL
Packt Publishing
Manning Elixir in Action Second Edition - Programming Book
Manning
Specification by Example: How Successful Teams Deliver the Right Software
Manning
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Springer
Manning Terraform in Action - Cloud Infrastructure Guide
Manning
Hands-On AWS CDK: Building Cloud Native Applications with Infrastructure-As-Code
O'Reilly
Model-Driven Software Development
Springer
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
Springer
Efficient Go: Develop, Deliver, Discuss, Design, and Go Again
Manning
Rust Web Development: With Warp, Tokio, and Reqwest
Manning