Deep
Ancient Broken Wind
old.d-user at example.com
Wed Feb 7 21:57:25 UTC 2018
Hi.
I have been using D for more than 15 years now. But since I
haven't done anything Note Worthy, I'll just post here in the
newbie pen, even though I think my message is important.
I just watched an episode of Computerphile about Type Theory.
I wish, that Andrei would take a look at it.
D seems to be a language that can cover all the levels of
abstraction that C++ does, and then some. (1) D also covers the
entire gamut of elementary to "deep shit" just smoothly without
discontinuities, which makes it pretty unique. (That is, IMHO
Lisp has a problem with the lower end of abstraction -- from a
Real World Computing point of view.)
https://www.youtube.com/watch?v=qT8NyyRgLDQ
Combining the practical strength and abstraction power of D with
this new paradigm, simply begs a visit from the likes of Andrei.
(And of course all other heavy weight hitters!)
Thank you for your time
(1): The lowest possible level being assembly language, and the
highest being something we have yet to develop. (Not invent,
because this is a step-by-step process. But it is painfully
obvious that D reaches way higher than C++ in this regard
already.)
D exceeds C++ at the upper end. Above that we find Lisp. I
wouldn't call it a tie between D and Lisp, but they are close.
Now, embracing Type Theory in a natural way, could give D a
/practical/ advantage, if not a /theoretical/ one over Lisp.
And that was the idea with this post. We need to set our
ambitions high, just like Elon Musk does.
More information about the Digitalmars-d-learn
mailing list