Confluence is the property that a compiler or runtime should produce the same results regardless of the order and amount of refinement it makes while checking or executing the program. Without confluence, it’s nearly impossible to evolve a type system. https://en.m.wikipedia.org/wiki/Confluence_(abstract_rewriting) …
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How come I gotta declare data types in Java all the damn time?
-
Don't even get me started on conversion and ToString()! Feels like busywork.
- 4 more replies
New conversation -
-
-
Tim, one day I will have the knowledge to understand your tweets, but for now this looks like someone took the 15 biggest words from the wiki on programming and put them into a sentence. I'm going to trust that it makes sense and nod and agree
-
Tim also thinks you can start a fire with moonlight and a big enough magnifying glass, so take it with a grain of salt.
- 11 more replies
New conversation -
-
-
I remember trying to learn C++ back in the day and didn't have the noodle for it and then you sent me the Jazz editor Arjan made. :)
-
I keep trying to bring up the Noodle to learn C++ wrt UE4. Goes stodgy pretty soon...
End of conversation
New conversation -
-
-
Oh, good, I was just gonna tweet this.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
hey Tim, you would probably be interested in
@seanbax's Circle C++ compiler! completely new approach to metaprogramming system in a standards-compliant compiler. Sean applied for an Epic Megagrant a few months ago -- check it out!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That's great, but I'm still waiting on achievements on your games on epic store
-
I think on his previous tweet responding to someone, he answered some questions about EGS
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.