<div dir="ltr"><br><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote">"It is intuitive" has no other discernable meaning than "*I* am familiar with it,
or something very much like it."<br></blockquote><div><br>Thanks for pointing this out, I was not able to point my thoughts in this direction.<br><br></div><div>But I still have a doubt: if my familiarity doesn't come in the form of some "analogy", then my acquired intuition about "it" would be of little use. In fact, it may well be misleading. Am I correct?<br>
<br>If so, the best we can hope is the name-giver to describe, as explicitly as possible, the "analogy" (sort of a thought process) he/she had had in his/her mind while giving a particular name to a given concept? <br>
It will help others to share *at least some amount of* of intuition (analogy) the originator had had.<br><br></div><div class="gmail_extra">Are such thoughts documented in this case?<br><br></div><div class="gmail_extra">
</div><div class="gmail_extra"><div>Thanks and regards,<br>-Damodar Kulkarni<br></div>
<br><br><div class="gmail_quote">On Wed, Aug 7, 2013 at 11:37 AM, Richard A. O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div><br>
On 7/08/2013, at 2:10 PM, damodar kulkarni wrote:<br>
<br>
> I bet you can find an abundance of C programmers who think that<br>
> "strcmp" is an intuitive name for string comparison (rather than compression, say).<br>
><br>
> But at least, 'strcmp' is not a common English language term, to have acquired some unintentional 'intuition' by being familiar with it even in our daily life. The Haskell terms, say, 'return' and 'lift', on the other hand, do have usage in common English, so even a person with _no_ programming background would have acquired some unintentional 'intuition' by being familiar with them.<br>
<br>
</div>"Lift" is - a brand of soft drink, the thing Americans call an elevator,<br>
a thing put in your shoes seem taller, and a free ride, amongst other things.<br>
As a verb, it can mean to kick something.<br>
<br>
To find "lift" intuitive, you have to be familiar with the *mathematical*<br>
idiom of "lifting" a value from one space to another via some sort of<br>
injection. Fair enough, but this *still* counts as an example of<br>
"intuitive = familiar", because this is *not* a sense of "lift" that is<br>
familiar to undergraduate and masters computing students unless they have<br>
taken rather more mathematics papers than most of them have.<br>
<br>
If you're familiar with *English* rather than, say, the C family of<br>
programming languages, "return" isn't _that_ bad, there is certainly<br>
nothing about the word that suggests providing a value. I once tried<br>
to propose a C-style 'return' statement to some people who were<br>
designing a programming language, before I or they had ever heard of<br>
C, and they flatly rejected it. Months later I found out that this<br>
was because they were looking for something that did not just resume<br>
the caller but also provided a value, and when I protested that that's<br>
exactly what 'return' did in the languages I proposed stealing from,<br>
they -- being familiar with Fortran -- said that it had never occurred<br>
to them that 'return' could have anything to with providing a value.<br>
<br>
"It is intuitive" has no other discernable meaning than "*I* am familiar with it,<br>
or something very much like it."<br>
<br>
_That's_ the point I want to make. *Whatever* anyone uses for Haskell's<br>
"return", many people are bound to find it unintuitive. Choose a name<br>
on any grounds but that.<br>
<br>
<br>
</blockquote></div><br></div></div>