[wink]

 

 

 

[DLeeWebb]

 

[PalJoey]

Seeing as he's well out of copyright, so his books are free as Kindle downloads, Idle Thoughts of an idle Fellow by Jerome K.Jerome. Great fun!

 

[wink]

Allamagoosa
https://www.google.com.au/search?q=allamagoosa&ie=utf-8&oe=utf-8&client=firefox-b&gfe_rd=cr&ei=izLfWN7HFajr8Aes_5jIDA

 

[HPLobster]

 
Theme is ever so fascinating...and imho Gaiman is beyond all possible doubt...

 

[TwinQY]

​
I realize that books on programming are not the usual fare for this thread (one of the only mention of a book on programming over the course of the entire thread was for Programming Perl), but I have been really enjoying Edwin Brady's "Type-Driven Development with Idris". I found the pace to be nice and brisk, considering the concepts being covered. I managed to skim through the entire book over the weekend, and it was pleasant enough that I ended up going for a second, more in-depth pass at it. I've been following Idris for a while, and have briefly browsed the documentation at various times to get an idea of the language. This book is more focused on the capabilities that dependent typing provides in a practical context, which really goes with the idea that Brady (the creator of Idris) intends the language to be a general-purpose language, whereas other languages incorporating dependent typing like Agda and Coq (technically, the language is Gallina for the latter) are more intended for writing proofs. And indeed, I found the contents covered in a very concrete manner. It doesn't get too deep into type theory or anything but I found it to be a good overview on the topic, at least for what was needed to understand the examples. The book states that "Readers will ideally already be familiar with functional programming concept ... although the book introduces these and other concepts as necessary", but really, it explains these concepts well enough that you could get away with very little prior FP knowledge and still have a fairly easy time with it.
​
​Seems that the book was released to coincided with the release of Idris 1.0 (which means that the core language is stable). I had trouble building the preceding 0.99.2 release for whatever reason (had to clear. stack-work), but it was fine this time around. I'd recommend giving it the language at least, if the idea of dependent typing in everyday programming appeals to you, because now's as good a time as ever.
 
Brady gave a talk with the same name as the book, and it is a good, quick overview of the language.

​
​I was really on an eBook kick last month, and have been grabbing things like crazy. Now to sit down and finish some of them...

 

[wink]

 

[RCBinTN]

Actually #3 and #4 in Jack's chronological
life.  He's now out of the Army and just
wandering around, getting into trouble and
saving random people.  Good reads.

 

[Oregonian]

   
 
Actually #3 and #4 in Jack's chronological
life.  He's now out of the Army and just
wandering around, getting into trouble and
saving random people.  Good reads.

I've read all the Jack Reacher books at least once................good recommendation bud! 

 

[longbowbbs]

 

[RCBinTN]

  I've read all the Jack Reacher books at least once................good recommendation bud! 

 
Me too - this is my 2nd time through.  Amazed at how much I missed the first time around.
 

 

[HPLobster]

 
Excellent graphic novel.... Lovecraft meets film noir...

 

[WraithApe]

 
 
Excellent graphic novel.... Lovecraft meets film noir...

 
Holy tentacles! That sounds right up my street 

 Talking of old H.P., just about finished reading:
 

 
Featuring the classic Shadow Over Innsmouth.

 

[Quinto]

 

[wink]

If I read that one next month, will it be "Bach To The Future...?"