Hey, author here! Thank you for recommending my book. I am always happy when someone else finds my work useful :)
> Anyone know if there's a decent way to get a printed copy?
I decided to re-publish the book with Apress, and it should be ready for print by March this year.
> How is it better than tdd in Idris book?
I would not say it is better, or worse. I read TDD and it's a great book, but it was mostly focused on practical stuff (i.e. programming in Idris), and I found it lacking the theoretical explanations (for example, what proofs are and how to do a mathematical proof, or what is a type-checker and how to implement one) which I hoped to cover in my book.
Computation has been and is a huge part of my life, and thanks to it I live a decent life with my family. It also helped with self-esteem and other similar things.
But love? Love taught me things I couldn't imagine (in a positive way).
This is exactly what I did with my first book. It is available for free on Leanpub, but I charge minimum for Kindle/print using Amazon KDP.
I just wanted to get my message across and learn something on the way. It also sells relatively well, but that is a side-effect of my initial intentions :)
> we wouldn't want to go full Haskell and avoid success at all costs
Can you elaborate on that statement? To me, it implies that going with Haskell avoids success, but I might be missing something. If that really is the implication, can you explain?
You should try my (esoteric) programming language (theorem prover), Budge-TP :)
You might find useful my recent write-up about https://bor0.wordpress.com/2023/02/05/writing-your-third-pro...