The ideal performance property we should ask of a high-level programming language and library is that it minimizes runtime and compile-time combinatorial complexity. We can accept constant overheads, but not higher-order overheads. This has many implications.
-
-
What do you think about
#golang ? It seems to meet most (though not all) of the ideas you've expressed in these threads. Was going to wait in ask when you come by the Seattle Epic offices in Feb, but thought I might as well as here. :) -
A language needs to thoroughly tackle generics in order to stay on the mainline of the programming language tech tree, which undoubtedly grows to support constructive logic proofs-as-programs.
End of conversation
New conversation -
-
-
Designing good languages is pretty easy. You just ask "what does JavaScript do" and then make that a fatal compile error.
-
Y'know, I used to think this but if you overlook the first 16 years of JS and just consider the last 7 or so, they've made some pretty big strides. Async/await/generator functions are a pretty elegant model, and with arrow functions, they sort of fixed the self/this fiasco
- 1 more reply
New conversation -
-
-
I am not on board with most of this stuff, but if you follow these threads in a serious way I'll be interested to see where it goes.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
These principles have a cost. If your principles and current CPUs disagree on how things are computed and what is fast, you are looking at unpredictable performance cliffs, unpredictable complex compiler optimizations, or likely both. Are those worth it, and for who?
-
"performance" is not just for people writing game engines, a language that makes 10x faster "easy" also buys you simplicity and elegance in code where I have to spend less time second guessing the implementation, playing whack-a-mole with these "cliffs".
End of conversation
New conversation -
-
-
What do you think of PureBasic? http://www.purebasic.com
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.