The linked book has a freely available chapter 13 available that shows how to create state machines with dependent types. Of course its easy in any language, but with Idris you can ensure at compile time that all state transitions in a program are valid.
I'd love to see another Haskell-esque language get mainstream adoption. Especially one pushing programming in a new direction.
I love types, I just haven't had the chance to use Haskell in anything but toy applications, the learning curve was very steep but so far rewarding, and led me to miss it in when using the type system hacked onto Erlang/Elixir which is (obviously) lacking as a result. Although still a step forward over other languages. Looking forward to trying out Idris.
Edit: just noticed there's no Kindle version (yet?), that's too bad :(. Maybe MEAP has a licensing deal to exclusively sell the digital versions?
That's what happen for every Manning publication. Only the paperback version is available on amazon. On the other hand, if you buy it on manning, you'll get a pdf and an epub version.
https://www.manning.com/books/type-driven-development-with-i...