
دانلود کتاب Types and Programming Languages (به فارسی: انواع و زبان های برنامه نویسی) نوشته شده توسط «Benjamin C. Pierce»
اطلاعات کتاب انواع و زبان های برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: The MIT Press
نویسنده: Benjamin C. Pierce
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 625
حجم فایل: 12.88 مگابایت
کد کتاب: 0262162091 , 9780262162098
نوبت چاپ: 1
توضیحات کتاب انواع و زبان های برنامه نویسی
نوشتن مترجم کودک با استفاده از OCaml برای زبانهای خندهدار (شامل حساب لامبدا!) مورد استفاده در فصلهای نظری ایده بسیار جالبی است و من واقعاً آن را دوست دارم. ریاضیات گسسته ابتدایی و منطق مرتبه اول برای جمعآوری مطالب ریاضی در سراسر کتاب مورد نیاز است. اگر چه. اگر حوصله کافی برای پرداختن به نمادهای ریاضی، قضایا و اثبات رسمی ندارید، پس این کتاب مناسب شما نیست ;)IHMO، این کتابی بسیار قابل درک برای معرفی حساب لامبدا و تئوری نوع به خوانندگان بدون آن است. دانش پیشینه زیادی در جبر انتزاعی یا علوم کامپیوتر نظری (مثل من ;)). من مدتها دنبال چنین کتابی بودم، در واقع 🙂 علاوه بر این، این همان کتابی بود که به گفته آدری، رهبر پروژه Pugs، مستقیماً الهامبخش تولد پاگها (مترجم/مجموعهکننده Perl 6 در Haskell) بود. توصیه شده!
دانلود کتاب «انواع و زبان های برنامه نویسی»

📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.