Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

(Just my two cents, because in my scanning of this thread so far, I don’t *think* I have seen this…) Hmm; there are still languages where function and procedure are two syntactically-different things (and subroutine is a useful “overall" term there so you don’t have to always say “procedure or

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/22/19 6:56 PM, Jon Zeppieri wrote: > [25 messages] > > > I think Wadler's Law needs an update. Long live the internet! Op: Should we call them functions or procedures? A: Functions! B: Functions! C: Functions! D: Functions! E: But it's a procedural language, and we've called them

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/22/2019 6:25 PM, Zelphir Kaltstahl wrote: >> I disagree on one more point. It is not necessary to always remember >> the low level character of code running on a machine, if the language >> we are using abstracts it well and guarantees us, that there will not >> be strange effects in all

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

> > [25 messages] > I think Wadler's Law needs an update. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/23/19 12:32 AM, Hendrik Boom wrote: > On Tue, Jan 22, 2019 at 01:52:15AM -0500, George Neuner wrote: > >> I am arguing that, in computing, functions and procedures have no >> significant difference, and that distinguishing them erroneously conflates >> computing with mathematics and thus

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On Sun, Jan 20, 2019 at 12:10:13AM -0500, George Neuner wrote: > > As Ellen already mentioned, fixed width integers - although exact values - > have computational properties that are not shared with mathematical > integers.  As soon as the computation overflows, all bets are off ... any > number

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On Tue, Jan 22, 2019 at 01:52:15AM -0500, George Neuner wrote: > > I am arguing that, in computing, functions and procedures have no > significant difference, and that distinguishing them erroneously conflates > computing with mathematics and thus confuses people. The distinction I've heard

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/22/19 11:08 PM, George Neuner wrote: > > On 1/22/2019 2:31 PM, Zelphir Kaltstahl wrote: >> If the terms procedures and functions in computing have no >> significant difference, then why use two terms for the same thing, of >> which one is already used in mathematics, enabling confusion to

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/22/2019 2:31 PM, Zelphir Kaltstahl wrote: If the terms procedures and functions in computing have no significant difference, then why use two terms for the same thing, of which one is already used in mathematics, enabling confusion to appear? This would make a fine argument for not

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

If the terms procedures and functions in computing have no significant difference, then why use two terms for the same thing, of which one is already used in mathematics, enabling confusion to appear? This would make a fine argument for not using the word "function" for computing at all and

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/22/19 6:49 AM, Jos Koot wrote: > "It is often the case that > arbitrary procedures don't compose meaningfully, whereas procedures that > represent functions always compose meaningfully. " > > functions f and g can be composed meaningfully only if the domain of > f is

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

You write: > "It is often the case that > arbitrary procedures don't compose meaningfully, whereas procedures that > represent functions always compose meaningfully. " > > functions f and g can be composed meaningfully only if the domain of f is > compatible with the co-domain of g. Jos --

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/21/2019 11:52 PM, Anthony Carrico wrote: On 1/18/19 6:36 PM, George Neuner wrote: > Historically, many computer language designers were mathematicians, and > they deliberately sought to distinguish "computer" functions from > "mathematical" functions. > > It has yet to work completely -

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/18/19 6:36 PM, George Neuner wrote: > Historically, many computer language designers were mathematicians, and > they deliberately sought to distinguish "computer" functions from > "mathematical" functions. > > It has yet to work completely - witness the legions of newbies every > year who

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

And one by our own Jay McCarthy (with Neil Toronto) https://www.computer.org/cms/Computer.org/ComputingNow/issues/2014/10/mcs2014040080.pdf -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/19/2019 10:37 PM, David Storrs wrote: On Fri, Jan 18, 2019, 6:36 PM George Neuner wrote:  witness the legions of newbies every year who don't understand that computer arithmetic differs from the math they were taught in school. Does it? Bit

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On Sat, Jan 19, 2019 at 7:37 PM David Storrs wrote: > > > On Fri, Jan 18, 2019, 6:36 PM George Neuner >> >> witness the legions of newbies every >> year who don't understand that computer arithmetic differs from the math >> they were taught in school. >> > > Does it? Bit of a philosophical

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On Fri, Jan 18, 2019, 6:36 PM George Neuner > witness the legions of newbies every > year who don't understand that computer arithmetic differs from the math > they were taught in school. > Does it? Bit of a philosophical question, it seems. I mean, so long as you stick with integers, if you

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/17/2019 11:41 AM, Anthony Carrico wrote: Weird! A procedure is a (branching) sequence of instructions. Non-programmers have an accurate notion of the word from outside of computer programming in recipes and instruction manuals. A function maps inputs to outputs. Non-programmers often

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

Weird! A procedure is a (branching) sequence of instructions. Non-programmers have an accurate notion of the word from outside of computer programming in recipes and instruction manuals. A function maps inputs to outputs. Non-programmers often use the word to denote a relationship between

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

I feel like every traditional term is subject to "how many angels can dance on the tip of a parenthesis?" debates. For example I prefer "function" but if we rename procedure-arity to function-arity there will be people who complain that 1 is the only correct value. :) There are terms like

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/14/2019 9:56 AM, Laurent wrote: I'm not entirely sure where I got that from, but to me a procedure is a ("impure") function with possible side effects (printing, mutating a global variable, sending emails, etc.). By contrast, in any given context, a function is (again, to me) synonymous

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

Just to confirm, some of us used to prefer the word "procedure" on the grounds that Racket functions can have side effects. But we have generally agreed to just prefer the word "function" from now on, because the distinction isn't all that helpful and "function" is nicer --- not just in HtDP, but

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

I'm not entirely sure where I got that from, but to me a procedure is a ("impure") function with possible side effects (printing, mutating a global variable, sending emails, etc.). By contrast, in any given context, a function is (again, to me) synonymous with "pure function"(*) and can be called

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

On 1/13/2019 1:49 PM, Alexis King wrote: Disclaimer: this answer is extremely non-authoritative. Ditto. I think that, in Racket, the terms are used more or less interchangeably. The technical term is “procedure”, but as you point out, the term “function” is also used to mean the same

Re: [racket-users] Are the terms "function" and "procedure" synonymous in Racket?

Disclaimer: this answer is extremely non-authoritative. I think that, in Racket, the terms are used more or less interchangeably. The technical term is “procedure”, but as you point out, the term “function” is also used to mean the same thing. I don’t believe there is any distinction there

[racket-users] Are the terms "function" and "procedure" synonymous in Racket?

Are "procedure" and "function" synonymous in Racket? It seems to be implied by the documentation . For example, the documentation for compose