دانلود کتاب Haskell جادویی – رویکردی دوستانه به برنامه‌نویسی تابعی مدرن، نظریه نوع و هوش مصنوعی

Since I was six years old, I wanted to be a nuclear physicist. The idea of being captivated by the beauty of how the world works, expressed in the language of mathematics, fascinated me. Later in life it transformed to being captivated by the beauty of mathematics itself regardless of applications – physics, AI, modeling of advanced business processes in sales, or election results. I studied physics as planned; did research for some time; and learned a bunch of programming languages starting with Pascal and Fortran via old books in my father’s library and moving to C, then to C++, and finally to Java, as it became arguably the most fashionable language in the 1990s, and used all of them professionally in various capacities. Then, I switched to the business side of things and stopped programming, but always kept math and research as a “hobby” of sorts.
Then, I discovered Haskell.
Oh, how I wish that I’d discovered it sooner. No other practical language suitable for the creation of high-performance production apps comes closer to pure math than Haskell. No other language gives you goosebumps from the code you write. Discovering it led to a bumpy journey toward Type Theory and modest Category Theory beginnings, where the beauty of math combined with the ability to write code resulted in something beautiful and practical. This journey took about ten years, with lots of frustrations along the way. The experience of this journey allowed me to formulate hopefully a somewhat different approach to teaching Haskell than what has been available so far – and delivering it is the purpose of this book.