digitalmars.D.learn - Deep
- Ancient Broken Wind (28/28) Feb 07 Hi.
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.