1. By using these names someone that comes across combinators somewhere else can relate to a previous "popular" jquery library they've used. This makes the new knowledge easier to digest thanks to partial familiarity.
2. I've come across other formal methods material in the past that was "decorated" to be seemingly be easier to understand. Instead, I thought this material was the author's original invention and had no way to search for more information on the subjects with "made up", rather than established, terms.
3. You're also a pretty popular internet persona. Just like with your previous "raganwald" blog, having someone in the spotlight promote lesser known but useful information is beneficial for the programming community.
1. By using these names someone that comes across combinators somewhere else can relate to a previous "popular" jquery library they've used. This makes the new knowledge easier to digest thanks to partial familiarity.
2. I've come across other formal methods material in the past that was "decorated" to be seemingly be easier to understand. Instead, I thought this material was the author's original invention and had no way to search for more information on the subjects with "made up", rather than established, terms.
3. You're also a pretty popular internet persona. Just like with your previous "raganwald" blog, having someone in the spotlight promote lesser known but useful information is beneficial for the programming community.