> Is there REALLY a difference between a "method," a "procedure," and a "function" proper? The context you are speaking in entirely determines the answer to th

> Is there REALLY a difference between a "method," a "procedure," and a "function" proper? The context you are speaking in entirely determines the answer to this question. Your context reminds me of "is there REALLY a difference between a 'list', an 'array', a 'tuple' and a 'vector'?", as different languages overload these terms with different (sometimes the same!) properties. The OP seems to be taking a perspective embedded in operational semantics, where a non-halting, unspecified or incorrect "named callable" should not be properly called a procedure. Personally, I find both kinds of hair-splitting semantic arguments a waste of time when they're isolated from the underlying question, which should be: > what sort of conversation do we want to be having about these things? What notation or terminology is going to make that easier?