I worked through most of the first half of the book, over about a month, doing most of the exercises.
As is stated in the arxiv review, its not meant to be a self contained intro to Haskell. I used 'learn you a haskell for great good', as a language tutorial, and did the exercises from 'Haskell Road' for practice, which worked well.
'Haskell Road' is a really nice book, with a very ambitious goal - provide an introduction to many fundamental mathematical/logical concepts through Haskell.
After a great first 3 chapters, though, I was a little disappointed, by chapter 4, which is 'Sets, Types and Lists', and for the next couple of chapters.
I felt the proportion of assignments that were in Haskell decreased substantially, and it became more like a normal Math text.
Now, there's nothing inherently wrong with that; and there were still many Haskell exercises in each chapter; but up to Chapter 4, I thought it had succeeded in teaching the Math/Logic mostly through Haskell; I felt it then became more like a traditional text.
I understand that many mathematical concepts, that have to be dealt with in a general sense (important general proofs etc) are best dealt with in the abstract, and not in Haskell.
But I really like programming, and I found that coding my way through the earlier material was a very enjoyable way to cover the ground.
I'd love if there was a future edition, or another book, that brought us much further, with the same code-centric learning approach.
As is stated in the arxiv review, its not meant to be a self contained intro to Haskell. I used 'learn you a haskell for great good', as a language tutorial, and did the exercises from 'Haskell Road' for practice, which worked well.
'Haskell Road' is a really nice book, with a very ambitious goal - provide an introduction to many fundamental mathematical/logical concepts through Haskell.
After a great first 3 chapters, though, I was a little disappointed, by chapter 4, which is 'Sets, Types and Lists', and for the next couple of chapters. I felt the proportion of assignments that were in Haskell decreased substantially, and it became more like a normal Math text.
Now, there's nothing inherently wrong with that; and there were still many Haskell exercises in each chapter; but up to Chapter 4, I thought it had succeeded in teaching the Math/Logic mostly through Haskell; I felt it then became more like a traditional text.
I understand that many mathematical concepts, that have to be dealt with in a general sense (important general proofs etc) are best dealt with in the abstract, and not in Haskell. But I really like programming, and I found that coding my way through the earlier material was a very enjoyable way to cover the ground.
I'd love if there was a future edition, or another book, that brought us much further, with the same code-centric learning approach.