توضیحاتی در مورد کتاب The fun of programming
نام کتاب : The fun of programming
عنوان ترجمه شده به فارسی : لذت برنامه نویسی
سری : Cornerstones of computing
نویسندگان : Gibbons. Jeremy, Moor. Oege de (eds)
ناشر : Palgrave Macmillan
سال نشر : 2003
تعداد صفحات : 287
ISBN (شابک) : 0333992857 , 1403907722
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
انقلاب بعدی در فناوری نرم افزار برای پیروی از XML و ژنریک چه خواهد بود؟ هر چه که باشد، احتمالاً از برنامهنویسی تابعی سرچشمه میگیرد، جایی که بسیاری از ایدههای کلیدی دهه گذشته سرچشمه گرفتهاند. در این کتاب درسی، محققان برجسته این حوزه شما را به گشت و گذار در موضوعات داغ جاری در برنامه نویسی تابعی، با کاربردهای مختلف از قراردادهای مالی گرفته تا طراحی مدار می برند. همچنین فصلهایی درباره اصطلاحات جدید برای ساختار برنامهها، مانند مونادها و پیکانها وجود دارد. تمام مفاهیم جدید با مثالهای زیادی نشان داده شدهاند، و تمرینهایی در سرتاسر ظاهر میشوند تا مطالب را بیشتر زنده کنند. چندین فصل یک نرم افزار قابل توجه را توصیف می کنند و بیشتر این برنامه ها در یک وب سایت برای دانلود رایگان جمع آوری شده اند. این کتاب به افتخار ریچارد اس برد، استاد علوم کامپیوتر دانشگاه آکسفورد، در شصتمین سالگرد تولد وی ویرایش شده است.
فهرست مطالب :
Content: Preface Fun with Binary Heap Trees
C.Okasaki Specification-based Testing with QuickCheck
K.Claessen & J.Hughes Origami Programming
J.Gibbons Describing and Interpreting Music in Haskell
P.Hudak Mechanising Fusion
G.Sittampalam & O.de Moor How to Write a Financial Contract
S.Peyton Jones & J-M.Eber Functional Images
C.Elliott Functional Hardware Description in Lava
K.Claessen, M.Sheeran & S.Singh Combinators for Logic Programming
M.Spivey & S.Seres Arrows and Computation
R.Paterson A Prettier Printer
P.Wadler Fun with Phantom Types
R.Hinze Bibliography Index
توضیحاتی در مورد کتاب به زبان اصلی :
What will be the next revolution in software technology to follow XML and generics? Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated. In this textbook, the leading researchers of the field take you on a tour of the current hot topics in functional programming, with applications ranging from financial contracts to circuit design. There are also chapters on new idioms for structuring programs, such as monads and arrows. All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material. Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading. This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday