til
TBH I fail to see the significant difference between this and a function declaration.
it’s semantic
at the end of the day everything boils down to sequence and branchifs
A function will be called by code and go to that point in code. To implement functions, you store necessary things to memory and goto the function definition. To implement that with comefrom you’d have to have a list of all the places that need to call the function as comefroms before the function definition. It’d be a mess to read. We almost never care where we are coming from. We care where we’re going to. We want to say “call function foo” not “foo takes control at line x.”
Doesn’t it steal control flow? More like a break point, except you define where execution continues.
I wonder if it’s a compile error to have multiple conflicting COMEFROM statements, or if it’s random, kind of like Go’s select statement.
How awesome would it be to be able to steal the execution stack from arbitrary code; how much more awesome if it was indeterminate which of multiple conflicting COMEFROM frames received control! And if it included a state closure from the stolen frame?
Now I want this.
I wonder if it’s a compile error to have multiple conflicting COMEFROM statements
I think there’s at least one INTERCAL implementation where that’s how you start multi-threading
Its like if subroutine
bar
could say its going to execute at line N of routinefoo
. But if you were just readingfoo
then you’d have no clue that it would happen.You can simulate this effect with bad inheritance patterns.
I’d say it’s more like setting up a handler for a callback, signal, interrupt or something along those lines.
Function declarations by themselves don’t usually do that. Something else has to tell the system to run that function whenever the correct state occurs.
That doesn’t account for unconditional come-froms.¸but I expect there’d have to be a label at the end of some code somewhere that would give a hint about shenanigans yet to occur. Frankly that’d be worse than a goto, but then, we knew that already.
print(A) print(B) hello: print(C) print(D) print(E) comefrom hello print(F)
This will print A, B, C and then F. D and E will be skipped because of the comefrom.
It’s in Intercal, a joke language from '70s. Mark Rendle describes it here in his talk at NDC. This whole talk is ridiculous btw.
This is the same language where you have to say
PLEASE
sometimes or it won’t compile. But if you sayPLEASE
too much, the compiler will think you’re pandering and also refuse to compile. The range between too polite and not polite enough is not specified and varies by implementation.I love how arbitrary, cultural and opinionated that must be to work with. You’d learn something about the implimenter of the compiler by using it for a while.
This is hilarious!
So, an aspect
shut your mouth
I honestly thought C++ (aka dumping ground of programming concepts) would implement this for “completeness”.
They should add it in C++26
Looks like C# 12 interceptors:
[InterceptsLocation(@"C:\testapp\Program.cs", line: 4, column: 5)]
I know it looks awful, but it’s not intended for direct use, but rather for source generators for native ahead of time compilation.
https://andrewlock.net/exploring-the-dotnet-8-preview-changing-method-calls-with-interceptors/
That sounds like a fucking nightmare. I had to troubleshoot poorly-written-yet-somehow-functional GOTOs a lot when I was a BAS technician and that’s annoying enough.
more practical than goto
Guy who worked at my place before me kept using these and GOTO statements all over the place.
His name? Cotton-eyed Joe
Reference to Cottoneyed Joe considered harmful
I almost spat out my drink when I saw this
Thanks for the catchy tune, now the song sticks in my mind again. Last time was long time ago. :)
where did you COMEFROM where did you GO…TO
where did you COMEFROM, cottonEyedJoe2
Aaahhh, this is horrifying! You’ve ruined my breakfast 🙀
PLEASE COMEFROM 🏷
You’re gonna love HCF then!
Wh… what do you mean, “originally as a joke”?
am i the only dumb fuck here who unironically likes this?
would make goto type situations much more usable
I don’t see any case where this is better than a goto. A goto you can read progressively though. A comefrom you’d see written then have to track to that piece of code and remember there’s a potential hidden branch there.
It’s basically a simpler version of a callback