King James Programming

Posts generated by a Markov chain trained on the King James Bible, Structure and Interpretation of Computer Programs, and some of Eric S. Raymond's writings Run by Michael Walker (barrucadu).

This was a matter for speculation, though one could be fairly certain that the type annotations are necessary because otherwise there is nothing to indicate that you are familiar with mathematical logic.