Sad si ga stvarno pretjerao! Pa nije MS sa .NET-om to sve izmislio. Sve ovo sto si nabrojao (sigurno izvrsavanje, type-safety, itd.) postoji ODAVNO, jos iz vremena LISP-a. Uz prednost da je jezik dynamically typed i da se programer ne mora zaj* sa deklaracijama tipova.
Da ne govorim koliko je LISP fleksibilniji od .NET-a. Ako malo googlas i recimo pogledas sto ima CLOS i sto se moze makroima, vidjet ces da je LISP najnapredniji jezik koji danas postoji. A zamisljen je 60-ih godina proslog stoljeca. Sa odlicnim kompajlerima koji proizvode native kod (npr. Franz LISP, http://www.franz.com/). Neki od top-line CAD programa (npr. Pro Engineer) su pisani u LISPU.
Nazalost, pao je u nemilost jer je u prvim danima slovio kao "spor" (sto je tada i bio, na jadnim procesorima uz virtual machine i bez native kompajlera). A i ljudima se ne svidjaju zagrade.
Da ponovim, pretjerao si sa svojim panegirikama .NET-u. Em nije nesto novo i revolucionarno, em jos je uz to blijeda kopija onoga sto postoji u LISPu odavno (od 90-ih godina kad je standardiziran Common LISP).