There are two interesting extremes of platform independent programming language design. One maps to hardware operations without surprising overhead, and another maximizes code correctness and verifiability by obeying all expected mathematical and set theoretic properties.
-
-
The second one doesn’t really exist though CoQ and AGDA go in that direction. They support proofs-as-programs but aren’t quite real programming languages and have weird properties like rational numbers not being a subtype of integers.
Show this thread -
Generally, I think the high level language could be layered onto the low level one through expanded libraries and constraints on unsafe operations, making a nice interoperable stack from top to bottom, with a unified and much more regular syntax than the status quo.
Show this thread
End of conversation
New conversation -
-
-
If you’ve never programmed in C++ before.m, DO NOT believe it is platform independent, it is nowhere near. **cough**pre-processor hell**cough**
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Mr. Sweeney, we don't care about if you're a gifted programmer or anything. Much less brag about it. We want to see some progress done, not you just showing some basic coding that a kid could do. When will you start improving EGS? For real?
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.