Wotd - Deuterocanonical
Being fairly well-read and "of a certain age", I rarely come across words that I believe I never saw before. Here's one: deuterocanonical. As in, "second canon". I saw it in a paper about Higher Order Datatype-Generic Programming, and how HODGP can distill the workings of some of the GoF Design Patterns.
Context: there are the main set of true GoF patterns that showed up in their book; and then there are a number of additional ones added by the programming community since then. The latter are the deuterocanonical patterns.
BTW, it's quite a well-written paper, and nice to glimpse some future programming language possibilities where these patterns can simply be named and invoked, and the static types of the players inferred. My only quibble with the paper is the overuse of the awful "points-free" notation, that makes too much of their source code needlessly opaque.
As usual, the LtU discussion of the HODGP paper is where I found a link to it.
10:26:32 AM
Random radio Weblog