Monday, October 23, 2017

Discipline of Programming

I scored big time today at my fav used bookstore. I've been wanting to read Discipline of Programming by Edsger W. Dijkstra for a long time but  never could convince my self to spend $100 or more. I didn't pay that today.... not even close.
Only read the first 40 pages or so and I really like it. It is truly a hard book to read since he does not provide a real world example of the problem he is solving, and the GCL is not applicable to the languages I am using day to day.
However the way it teaches reasoning about programs is really good and something I haven't read or practiced before. So it seems that it might not be a directly applicable text to day to day work but a good source of deep CompSci knowledge. 
The mini prog language he is using is Guarded Command Language. Pretty easy to understand and I kind of wish to have time and maybe give it a shot to implement it someday.

You can find me on twitter @LZAntal or instagram @LZAntal