Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

I hate TCO

Name: TCO HATER 2014-05-29 16:01

Tail Call Optimization IS SHIT

Name: Anonymous 2016-07-19 18:39

In continuation-passing style `tail-call optimization` is simply the result of not allocating trivial continuations. i.e. Languages without proper tail calls do not know how to eta-reduce their continuations. fucking hacks

Name: Anonymous 2016-07-19 20:18

Check em

Name: Anonymous 2016-07-22 20:46

>>41
Languages without proper tail calls
Implementation details have nothing to do with languages.

Name: Anonymous 2016-07-22 23:38

>>43
So if I wrote a REPL for C that supported garbage collection and lazy evaluation, it would still be C?

Name: Anonymous 2016-07-23 0:12

Objective-C is just an implementation detail.

Name: Anonymous 2016-07-23 6:56

>>43
Unless they're exposed to the programmer through weird usage requirements.

Name: Anonymous 2016-07-24 12:48

Check em

Name: Anonymous 2016-07-24 14:29

>>44
ANSI put all that ``undefined behavior'' in the standard so you could do that kind of thing.

Name: Anonymous 2016-07-24 15:09

>>44
Yes

Name: Anonymous 2016-07-24 16:49

There's no such thing as tail call "optimization". What you call optimization is simply tail calls done right.

https://existentialtype.wordpress.com/2016/02/22/it-is-what-it-is-and-nothing-else/

But my main point is that self-reference is not tied to functions, and that it itself does not require space (as illustrated by the latch example). If self-reference is implemented properly, there is no need for “tail call optimization”, because it’s not about calls at all.

Name: Anonymous 2016-07-24 18:26

>>50
languages
languages
languages
Fucking retard.

Name: Anonymous 2016-07-24 18:42

>>51
Without languages, we're just talking machine code. And in machine code, there's no such thing as a "tail call" - its all just GOTOs.

Name: Anonymous 2016-07-24 20:53

>>52
actually, at this level it's referred to as branches or jumps. but you're wrong, there are calls at machine code level: they're branches which save return address (see: 'call' on x86, 'bl' on arm)

Name: Anonymous 2016-07-24 21:23

>>53
he's just saying goto to sound like a retard

Name: Anonymous 2016-07-24 22:10

goto considered harmful to >>54's sanity

Name: Anonymous 2016-07-24 22:27

>>53
Call on VAX also saves registers that will be clobbered by the calee.

Name: Anonymous 2016-07-25 3:16

>>52
Machine code is a language.

Name: Anonymous 2016-07-25 18:02

>>57
Not any more than electricity is a language.

Name: Anonymous 2016-07-25 21:11

>>58
If you take a dictionary, number all the words, then use those numbers to write with, is it still a language?

Name: Anonymous 2016-07-25 21:23

>>59
825 246 230 319 862 98 426 810 976 1076

Name: Anonymous 2016-07-26 0:12

>>58
Electricity is used as a medium for machine language. You're wrong.

Name: Anonymous 2016-07-26 6:26

>>59
it is the same language as the dictionary's language, just encoded differently

Name: Anonymous 2016-07-26 14:58

>>62
Therefore electricity is assembly language.

Name: Sage 2016-07-26 23:04

Check digits
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -