توضیحات
Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn ‘bridge’ languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner’s type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.
————————————————————–
ترجمه ماشینی :
دانشمندان کامپیوتر اغلب نیاز دارند که زبان های برنامه نویسی جدید را به سرعت یاد بگیرند. بهترین راه برای آماده شدن برای این امر، درک اصول اساسی است که حتی زیربنای پیچیده ترین زبان های صنعتی را تشکیل می دهد. این متن برای دوره کارشناسی زبانهای برنامهنویسی، زبانهای عالی و اصول طراحی آنها را به زبانهای «پل» با یادگیری آسان که توسط مفسرانی که بخشهای اصلی آن در متن توضیح داده شده است، پیادهسازی میکند. این کتاب به ریشه های برنامه نویسی کاربردی و شی گرا می رود و نشان می دهد که چگونه انواع و ماژول ها، از جمله ژنریک / چند شکلی، به برنامه نویسی موثر کمک می کنند. این کتاب فقط در مورد زبان های برنامه نویسی نیست. در مورد برنامه نویسی هم هست از طریق مفاهیم، مثالها و بیش از 300 تمرین تمرینی که از مفسر بهرهبرداری میکنند، دانشآموزان نه تنها ویژگیهای زبان برنامهنویسی را یاد میگیرند، بلکه میآموزند چگونه کارها را با آنها انجام دهند. پروژههای پیادهسازی اساسی شامل استنتاج نوع میلنر، جمعآوری زبالههای کپی و علامتگذاری و جارو کردن، و محاسبات روی اعداد صحیح با دقت دلخواه است.
tag : دانلود کتاب زبان های برنامه نویسی: ساخت، اثبات و مقایسه , Download زبان های برنامه نویسی: ساخت، اثبات و مقایسه , دانلود زبان های برنامه نویسی: ساخت، اثبات و مقایسه , Download Programming Languages: Build, Prove, and Compare Book , زبان های برنامه نویسی: ساخت، اثبات و مقایسه دانلود , buy زبان های برنامه نویسی: ساخت، اثبات و مقایسه , خرید کتاب زبان های برنامه نویسی: ساخت، اثبات و مقایسه , دانلود کتاب Programming Languages: Build, Prove, and Compare , کتاب Programming Languages: Build, Prove, and Compare , دانلود Programming Languages: Build, Prove, and Compare , خرید Programming Languages: Build, Prove, and Compare , خرید کتاب Programming Languages: Build, Prove, and Compare ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.