bcs:

> http://colinm.org/language_checklist.html

There is a derived site that generates the rant for you:
http://mashedtaters.net/var/language_checklist.php

Below there is a possible result about D :-)

Bye,
bearophile

-----------------------
You appear to be advocating a new "multi-paradigm" and statically-typed 
programming language.  Your language will not work.  Here is why it will not 
work.

You appear to believe that that garbage collection is free, that nobody really 
needs a REPL, that convincing programmers to adopt a new language will be easy 
and that specifying behaviors as "undefined" means that programmers won't rely 
on them.

Unfortunately, your language has implicit type conversion, has goto, lacks 
multiple inheritance, lacks algebraic datatypes, lacks covariant array typing, 
lacks monads, lacks dependent types, lacks call-by-name and lacks call-cc.

The following philosophical objections apply:
 * The most significant program written in your language isn't even its own 
compiler
 * Your type system is unsound
 * The name of your language makes it impossible to find on Google
 * Compiled languages will never be "extensible"

Additionally, your marketing has the following problems:
 * Noone really believes that your language is faster than C.

Taking the wider ecosystem into account, I would like to note that we already 
have an unsafe imperative language and you have reinvented C++ but worse.

In conclusion, I think you have some interesting ideas, but this won't fly.
-----------------------

Reply via email to