hot take: if C++ was truly committed to zero cost abstractions, functions would have opt-in reentrancy, the same way classes have opt-in vtables
-
-
I'm waiting for the compiler-as-proof-assistant that lets you write the high-level code and its machine code refinement manually, using optimizer passes as automated proof strategies and validating your machine code after manual changes
-
cant you already do this in coq - define a DSL, define a set of rewrite rule/tactics. You can then define new term as mere tactic transformation of old term.
- 3 more replies
New conversation -
-
-
Could you share the sources of Mike's and Daniel's posts/emails on this please?
-
/sub
End of conversation
New conversation -
-
-
TIL: register is gone since C++17
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.