A few small suggestions of language design reflect the author's views are presented. These suggestions are mainly related to the reliability and safety of simple, typical structures and statements in programming: typification, compile-time elaborations of variables, status of variables, high-level statements, etc. The programmers often spend working time with similar constructions. From mathematical point of view these suggestions do not effect seriously on the complexity and efficiency of calculations; they are designed exclusively to help a programmer to write reliable, secure and clear programs. These suggestions are illustrated on Ada language, which is very suitable for this purpose, but they can be applied in other languages also.Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают взгляды автора на данный предмет. Эти предложения затрагивают надежность, ясность и безопасность типичных, простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с подобными конструкциями. Представленные предложения мало влияют на сложность и эффективность вычислений. Они предлагаются исключительно для помощи программисту в создании надежных и безопасных программ. Предложения иллюстрируются примерами на языке Ада, который очень удобен для этого, но они могут быть применены и в других языках
