Posts about naminghttps://mithrandi.net/categories/naming.atom2018-05-19T08:14:06ZmithrandiNikolaElephant naminghttps://mithrandi.net/blog/2009/01/elephant-naming/2009-01-20T17:21:02Z2009-01-20T17:21:02Zmithrandi<div>
<blockquote><p>The blind man at the back takes firm hold of the tail and says, "But why do we need to call it an *elephant*? No-one knows what that is. Everyone knows what a rope is, so we should just call it a rope."</p>
<p>And that is how the elephant came to be labelled a rope in all the guide books.</p>
<p>— Dougal Stanton, Haskell-cafe mailing list<br>(in <ea8ae9fb0901161321k1beadf8crd42e57e6cc4e3587@mail.gmail.com>)</p>
</blockquote></div><div>
<blockquote><p>The blind man at the back takes firm hold of the tail and says, "But why do we need to call it an *elephant*? No-one knows what that is. Everyone knows what a rope is, so we should just call it a rope."</p>
<p>And that is how the elephant came to be labelled a rope in all the guide books.</p>
<p>— Dougal Stanton, Haskell-cafe mailing list<br>(in <ea8ae9fb0901161321k1beadf8crd42e57e6cc4e3587@mail.gmail.com>)</p>
</blockquote></div>