bor0

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.

It's a good post, but heavily OS dependant. For example, on my Mac:

  $ ls /dev/null /dev/full
  ls: /dev/full: No such file or directory
  /dev/null

I guess in theory, you can imitate `/dev/full` by other means.

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).

The whole article builds on the premise that the main point of every programming language is adoption and growth, while for Haskell we have

> avoid success at all costs

According to that statement, to me it seems that the current "success" (however one defines it) of Haskell is just a side-effect.

Yes, it is used in industry, but I believe the bigger impact here is how other languages "steal" features from it.