Programming Languages: Build, Prove, and Compare, Norman Ramsey

• Yumshoq muqova

• Qog'oz rangi: oq

• Xatcho‘p Hadya

• Sahifalar 795

• Kitobni yo'qotmaslik uchun savatga qoshib qoying📚

• Batafzil o'qing

Kompyutershunoslar ko‘pincha yangi dasturlash tillarini tezda o‘rganishlari kerak. Bunga tayyorgarlik ko‘rishning eng yaxshi usuli eng murakkab sanoat tillari asosida yotgan asosiy tamoyillarni tushunishdir. Dasturlashtirish tillari bakalavriat kursi uchun ushbu matn ajoyib tillar va ularning dizayn tamoyillarini matnda asosiy qismlari tushuntiriladigan tarjimonlar tomonidan amalga oshiriladigan oson o‘rganish mumkin bo‘lgan "ko‘prik" tillarigacha qamrab oladi. Kitob ham funksional, ham obyektga yo‘naltirilgan dasturlashning ildizlariga chuqur kirib boradi va turlari va modullari, shu jumladan generiklar/polimorfizmlar samarali dasturlashga qanday hissa qo‘shishini ko‘rsatadi. Kitob nafaqat dasturlash tillari haqida, balki dasturlash haqida ham. Tarjimondan foydalanadigan tushunchalar, misollar va 300 dan ortiq amaliy mashqlar orqali talabalar nafaqat dasturlash tilining xususiyatlari nima ekanligini, balki ular bilan qanday ishlashni ham o‘rganadilar. Muhim amalga oshirish loyihalari orasida Milnerning turini aniqlash, nusxa ko‘chirish va chiqindilarni yig‘ish va ixtiyoriy aniq butun sonlar bo‘yicha arifmetika kiradi.