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.
-
-
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I seem to recall the STL being started as an attempt at this. It went in a very not-this direction of course, but it does hint at why it looks a bit bizarre in places for what is essentially a bunch of containers.
-
Stepanov & McJones’ 2009 book revisits the abstract foundation of the STL and makes for great bedtime reading.
- 2 more replies
New conversation -
-
-
What about ATS? It seems to fit your second description.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Hey Tim, I know this is of topic but, do you know if Shenmue3 sold reasonably on the Epic Store?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Look at Ada and the subset, SPARK which uses languages like Agda, Z3 and Coq in this case, to do the proving, leaving the language untouched.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Would something like Z3, SMT, SAT constraint based code generation somewhat approximate this?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Why not Mathematica? Both very portable, and as close to “real” math as is probably feasible.
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.