C++ really has three macro systems: C macros for strcat metaprogramming, C++ templates for constrained hygienic memoized metaprogramming, and overloaded functions for type voodoo metaprogramming arising from the lack of confluence among types and values.
-
-
Why not just create a type system that does not require evolving it. Most of type system "evolutions" in different languages are just workarounds of weird decisions made during early stages, or are caused by old paradigms.
-
My answer to this is: the ultimate type system is constructive logic (following the proofs-as-programs direction), the ultimate typechecker is a theorem prover, and theorem proving technology improves over time.
- 2 more replies
New conversation -
-
-
...and, like all other languages, there's a secret extra metaprogramming system called "sed in your Makefile" :).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Confluence makes it easy to test equality. With arbitrary programs that's formally undecidable ofc. But also for making a system confluent via Knuth-Bendix or finding a translation to a system that is confluent. For types and values it's often obvious (not for graph iso though).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I have no idea about C/C++ programming but i just would like to thank you so much for Diabotical :) Still i regret ut4 tho...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
When I asked myself “Will I survive the (likely) upcoming California quarantine?”, first thought was “Yes, with Fortnite.” Videogames are often accused of being drugs. Bc they are. But not all drugs are bad. Study the palliative value of games / digitals and design them as such.
-
What
- 6 more replies
New conversation -
-
This Tweet is unavailable.
-
-
.
@TimSweeneyEpic 'PARKLIFE'Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Those macros operate in different domains. Which just says that macros are domain dependent and useful as the concept keeps reacurring.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.