Rust деген не және ол не үшін жасалды?

Бұл не үшін керек?

Істеріңізді қағазға жаздыңыз делік. Қаншасы қалғанын білу үшін оларды өзіңіз санайсыз. Бағдарлама осы әрекетті сіздің орныңызға орындай алады. Бағдарлама — компьютерге берілетін нұсқаулар. Алгоритм — есепті қадаммен шешу тәсілі. Оны ас дайындау ретімен салыстыруға болады. Бірақ адам айтылмаған қадамды өзі түсінуі мүмкін, ал компьютерге дәл нұсқау керек.

Rust — бағдарламалау тілі. Бағдарламашы оның ережелерімен бастапқы код, яғни бағдарлама мәтінін жазады. Компилятор сол мәтінді тексеріп, компьютер орындай алатын түрге айналдырады. Оны ережені де тексеретін аудармашыға ұқсатуға болады. Бұл ұқсатудың шегі бар: компилятор сіздің ойыңыздағы есептің дұрыс қойылғанын білмейді.

Алдымен тұтас көрініс

Бағдарлама мәтіні → тексеру және құрастыру → іске қосу → нәтиже. Мәтінді өзгерткеннен бұрын құрастырылған орындалатын файл өздігінен жаңармайды.

Үш істің біреуі орындалса, екеуі қалады. Егер азайтудың орнына қосуды жазсақ, бағдарлама қате тапсырманы дәл орындауы мүмкін. Сондықтан құрастырудың сәтті аяқталуы жеткіліксіз: шыққан нәтижені де тексереміз.

Rust не үшін пайда болды?

Rust тілін Грейдон Хоар бастаған, кейін оны дамытуға Mozilla қолдау көрсеткен. Браузерлер мен басқа үлкен бағдарламаларға жылдамдық, ресурстарды басқару және сенімділік қажет. Жад бағдарлама жұмыс істеп тұрған кезде деректерді сақтайды. Босатылған орындағы деректі оқу немесе ортақ деректі келісілмеген түрде өзгерту күрделі қателерге әкелуі мүмкін. Rust жасаушылары ресурстарды басқару мүмкіндігін сақтай отырып, осындай қателердің бірқатарын болдырмау жолын іздеді.

Кейін иелік етуді қарастырамыз: дерекке кім жауап береді және оны қашан пайдалануға болады? Әзірге оның ережелерін жаттау қажет емес. Rust жадқа қатынаудың көптеген ережесін бағдарлама іске қосылмай тұрып тексереді. Бірақ бұл барлық есеп дұрыс болады, файл әрдайым сақталады немесе кез келген енгізілген мән дұрыс өңделеді деген сөз емес.

Rust пәрмен жолының құралдарын, серверлік бағдарламаларды, жүйелік бөліктерді және құрылғыларға арналған бағдарламаларды жасауға қолданылады. Ол тек амалдық жүйелерге арналмаған әрі кез келген есептің жалғыз дұрыс таңдауы емес. Біздің жоспарлау құралымыз тілді желілік сервер мен процессор құрылысын қатар оқымай үйренуге мүмкіндік береді.

Тірек сызба

Міндет → дәл әрекеттер → бастапқы код → компилятор → орындалатын бағдарлама → нәтижені тексеру. Компилятор тіл ережесін тексереді; адам мен сынақтар бағдарламаның міндетке сәйкестігін тексереді.

Жаттығу

1. Болжаңыз: компилятор сіздің қосуды емес, азайтуды ойлағаныңызды біле ме?
2. Толықтырыңыз: бастапқы код — ___, орындалатын бағдарлама ___ нәтижесінде пайда болады.
3. «Rust құрастырған бағдарламада ешқандай қате болмайды» деген пікірді түзетіңіз.

Тапсырма

Міндетті. Бағдарлама, бастапқы код, компилятор ұғымдарын өз сөзіңізбен түсіндіріңіз. Үш істің біреуі орындалғанда қалғанын есептеу жолын жазыңыз. Күтілетін нәтиже: екі іс және құрастырудың өзі бұл жауаптың дұрыстығын неліктен дәлелдемейтінін түсіндіру.

Өз деректеріңізбен. Басқа жалпы сан мен одан аспайтын орындалған істер санын таңдаңыз.

Көмек және үлгі жауап

Алдымен бастапқы мәндерді, содан кейін әрекет пен күтілетін нәтижені атаңыз. Үлгі: 3 − 1 = 2. Бастапқы код — жазылған нұсқаулар; компилятор ережелерді тексеріп, оны түрлендіреді; бағдарлама жазылған әрекеттерді орындайды. Құрастырудың сәтті аяқталуы барлық шешімнің дұрыс екенін дәлелдемейді.

Бағдарлама мәтіні мен оның нәтижесін өз сөзіңізбен ажырата алсаңыз, келесі сабаққа дайынсыз.

Дереккөздер

Rust авторының тіл тарихы туралы жазбасы, Rust 1.0 мақсаттары.

Мазмұны · Келесі сабақ