ΔΕΞΑΙ!

The people seeking knowledge have been struck again...

I have benefited greatly from reading. You could say that my entire livelihood is indebted to people who shared information with me through text. There is nothing better than becoming absorbed in the text of someone who knows a subject while they lead you plainly down the paths of knowledge. Words and phrases are tools brought out at the right time to convey meaning with precision. On the other hand, there is nothing more frustrating than someone who wants stroke his own ego by bewildering you with words which exclude your understanding. He strings together bits of fecal matter, and presents them as if they were a string full of unobtainable and priceless pearls reserved for someone greater than yourself. As I've gotten a little older, I think I can spot this much more quickly than I used to.

Here is an obvious example. Today I was reading something and enjoying myself when I followed a link to wikipedia, and ran into this nonsense...

In type theory, the type of functions accepting values of type A and returning values of type B may be written as A → B or BA. In the Curry-Howard correspondence, function types are related to logical implication; lambda abstraction corresponds to discharging hypothetical assumptions and function application corresponds to the modus ponens inference rule. Besides the usual case of programming functions, type theory also uses first-class functions to model associative arrays and similar data structures.

I get mad when I read logorrhoea like this. Seriously, was that the crystal clear product of your distillation for the masses? Do you really think like that inside your head? We have a joke at work that wikipedia is often only understood by people who already know the subject they are reading about. It's a shame.