Похоже я понял каким должен быть идеальный язык программирования. Такой ЯП - должен "удовлетворять" всех, подходить для всего. Чтобы и школьник мог разобраться в яп'е, и взрослый не спотыкался об ограниченность/запутанность языка. На идеальном ЯПе можно писать хоть драйвер написать, или часть ядра операционный системы, не боясь за производительность и безопасность скомпилированного кода. Но также и умело создавать с помощью идеального ЯП'а серверные платформы, решения для предприятий (как например Java EE), и при этом также не беспокоиться за производительность, и не опасаться за безопасность приложений.

И важным атрибутом идеального ЯПа должно быть минимальное отношение скорости разработки к вероятным ошибкам в коде.

Добавил новый пункт к признакам идеального ЯП'а. Вероятнее всего статическая, сильная и явная типизация - лучший вариант, ведь в таком случае код будет выполнятся безопасно, разработка будет идти без ошибок и путаниц. Вроде одни только плюсы. Хм.

PLUTONiUM, мол должно быть так и только так?

Bogdan-G (29.07.2014/02:32)PLUTONiUM, мол должно быть так и только так?Плюсов от такового вида типизации больше чем от других видов. И ты говоришь будто лучше не значит лучше? Берербед?

Мне не нравиться пункт 3. Пусть в языке будет ещё и другой вид типилизации. Главное избежать коллизий.

Что будет если язык будет включать в себя тип программирования.
  Switchtype(oop);

Askalite (29.07.2014/05:29)Мне не нравиться пункт 3. Пусть в языке будет ещё и другой вид типилизации. Главное избежать коллизий.Тогда предложи другой вид типизации, но только лучше.

Askalite, прост ты не понимаешь всю проблему динамической типизации. Как вариант, по примеру C#, можно заделать тип "dynamic", одно другому мешать не будет -но, ЯП все равно будет со статической типизация, хоть и с одним динамическим типом данных.

Что то мне подсказывает что Microsoft тоже пилят идеальный ЯП