[OT] What should be in a programming language?

[bearophile]

Jason House:
> Denis Koroskin:
> > I believe templates are better be written in imperative style. That's why  
> > a built-in "type" type is needed.
> 
> Absolutely! Do you have any inspirational examples?

I have found two my old posts where I have discussed a little about this:

http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.D&article_id=91015

http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.D&article_id=91017

Hope that helps. I'd like to have a type type in D :-) I think it can't replace all current usages of templates, but replaces some of those usages with something simpler to use.

Bye,
bearophile