Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Daniel Bastos
On Fri, Apr 28, 2017 at 12:29 PM, Matthias Felleisen wrote: >> On Apr 28, 2017, at 11:12 AM, Ben Greenman >> wrote: >> >> On Fri, Apr 28, 2017 at 11:08 AM, Daniel Bastos wrote: >> interview done with Guido van Rossum >> >> http://neopythonic.blogspot.com/2009/04/tail-recursion-elimination.html

Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Ben Greenman
Right ... it's about "growable stack languages" or "infinite stack languages" or "heapful languages" or something like that. On Fri, Apr 28, 2017 at 11:29 AM, Matthias Felleisen wrote: > > > On Apr 28, 2017, at 11:12 AM, Ben Greenman > wrote: > > > > > > On Fri, Apr 28, 2017 at 11:08 AM, Daniel

Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Matthias Felleisen
> On Apr 28, 2017, at 11:12 AM, Ben Greenman > wrote: > > > On Fri, Apr 28, 2017 at 11:08 AM, Daniel Bastos wrote: > interview done with Guido van Rossum > > http://neopythonic.blogspot.com/2009/04/tail-recursion-elimination.html Guys, this conversation is really not about PITCH per se.

Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Ben Greenman
On Fri, Apr 28, 2017 at 11:08 AM, Daniel Bastos wrote: > interview done with Guido van Rossum http://neopythonic.blogspot.com/2009/04/tail-recursion-elimination.html Related: lexical scope is interesting *theoretically*, but its inefficient to > implement; dynamic scope is the fast choice

Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Daniel Bastos
On Fri, Apr 28, 2017 at 11:19 AM, Matthias Felleisen wrote: > [...] Their implementors will argue that deep recursions don’t exist or > shouldn’t be supported. [...] Python's argument for not supporting tail-call optimization (if I should call it that way after this thread) is that it makes it f

Re: [racket-users] Proper non-tail recursion?

2017-04-28 Thread Matthias Felleisen
As some have pointed out downstream from here, SML is definitely a language that does it (but see Appel’s articles on why stacks are superfluous from years ago and weep). I suspect that all faithful Scheme implementations get close or satisfy this property. But as others have mentioned, man

Re: [racket-users] Proper non-tail recursion?

2017-04-26 Thread Norman Gray
Greetings. On 25 Apr 2017, at 23:51, 'John Clements' via Racket Users wrote: In answer to your actual question, the most common name is “Tail Call Optimization,” which many people correctly object to because it’s not an optimization, it’s a change to the meaning of terms in the language I'

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread Robby Findler
Ah, lucky you. This is not a "stack overflow". This is a "all of memory overflow". The cool thing about racket is that there is not separate limit on some mysterious PL-internal data structure called a "stack". Robby On Tue, Apr 25, 2017 at 6:13 PM Matthew Butterick wrote: > > > On Apr 25, 2017

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread Jon Zeppieri
On Tue, Apr 25, 2017 at 6:37 PM, brendan wrote: > Scheme implementations are required to have proper tail recursion. Racket > goes further and lets the programmer make recursive calls from any position > without fear because, to paraphrase Dr. Flatt, it's the 21st century and > stack overflows

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread Matthew Butterick
> On Apr 25, 2017, at 4:05 PM, brendan wrote: > > Indeed; I should have clarified that I didn't mean only recursion per se. Not > the first time I've stumbled on that misnomer. > > On Tuesday, April 25, 2017 at 6:53:59 PM UTC-4, Robby Findler wrote: >> I think the question is about non-tail ca

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread 'John Clements' via Racket Users
> On Apr 25, 2017, at 4:05 PM, brendan wrote: > > Indeed; I should have clarified that I didn't mean only recursion per se. Not > the first time I've stumbled on that misnomer. Forgive me. In that case, I’m not sure exactly what property it is you’re looking for a name for. :) John --

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread brendan
Indeed; I should have clarified that I didn't mean only recursion per se. Not the first time I've stumbled on that misnomer. On Tuesday, April 25, 2017 at 6:53:59 PM UTC-4, Robby Findler wrote: > I think the question is about non-tail calls and limits on them.  > > > Robby > > > > On Tue, Ap

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread Robby Findler
I think the question is about non-tail calls and limits on them. Robby On Tue, Apr 25, 2017 at 5:52 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Apr 25, 2017, at 3:37 PM, brendan wrote: > > > > Scheme implementations are required to have proper tail recur

Re: [racket-users] Proper non-tail recursion?

2017-04-25 Thread 'John Clements' via Racket Users
> On Apr 25, 2017, at 3:37 PM, brendan wrote: > > Scheme implementations are required to have proper tail recursion. Racket > goes further and lets the programmer make recursive calls from any position > without fear because, to paraphrase Dr. Flatt, it's the 21st century and > stack overflow

[racket-users] Proper non-tail recursion?

2017-04-25 Thread brendan
Scheme implementations are required to have proper tail recursion. Racket goes further and lets the programmer make recursive calls from any position without fear because, to paraphrase Dr. Flatt, it's the 21st century and stack overflows should not be a thing. My questions are: Is there a name