The first one is the C++ language. Disregard the byzantine standard libraries, syntax, and overload resolution rules, and it’s just a typed macro assembler.
-
-
Show this thread
-
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 -
-
-
The first is for people who enjoy programming, the second is for people who spend all their time worrying about mistakes that programmers might make
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
There is a perpendicular axis to those two : ease of use. From tcl to python, there another long tradition of platform independent language. This one is centered on syntax, and finding the one that correctly map intention to execution the most efficiently.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
A chief suggestion regarding the current state of Fortnite: Separate the PC players from the console players as this increased very strongly in the level of fights and is causing abandonment of the game. It would be a start to recover players.
-
AGREED 100%. I hate being stuck in lobbies with them.
End of conversation
New conversation -
-
-
Does Fortnite use a different code
-
This Tweet is unavailable.
New conversation -
-
-
That's cool and all and thanks for helping Diabotical. But can you bring back Infinity Blade franchise, thanks.
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.