Название: Category Theory for Programmers Автор: Bartosz Milewski Издательство: Autoedici?n Год: 2017 Формат: pdf Страниц: 510 Размер: 12.8 mb. Язык: English
For some time now I’ve been floating the idea of writing a book about category theory that would be targeted at programmers. Mind you, not computer scientists but programmers — engineers rather than scientists. I know this sounds crazy and I am properly scared. I can’t deny that there is a huge gap between science and engineering because I have worked on both sides of the divide. But I’ve always felt a very strong compulsion to explain things. I have tremendous admiration for Richard Feynman who was the master of simple explanations. I know I’m no Feynman, but I will try my best. I’m starting by publishing this preface — which is supposed to motivate the reader to learn category theory — in hopes of starting a discussion and soliciting feedback. Since this is category theory for programmers I will illustrate all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power. So a natural temptation would be to say: You must learn Haskell before the bounty of category theory becomes available to you. But that would imply that category theory has no application outside of functional programming and that’s simply not true. So I will provide a lot of C++ examples. Granted, you’ll have to overcome some ugly syntax, the patterns might not stand out from the background of verbosity, and you might be forced to do some copy and paste in lieu of higher abstraction, but that’s just the lot of a C++ programmer.
But you’re not off the hook as far as Haskell is concerned. You don’t have to become a Haskell programmer, but you need it as a language for sketching and documenting ideas to be implemented in C++. That’s exactly how I got started with Haskell. I found its terse syntax and powerful type system a great help in understanding and implementing C++ templates, data structures, and algorithms. But since I can’t expect the readers to already know Haskell, I will introduce it slowly and explain everything as I go.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Coding Games in Python Название: Coding Games in Python Автор: DK Издательство: DK Children Год: 2018 Формат: True PDF Страниц: 224 Размер: 16.2 Mb Язык: English A visual...
Introduction to Computer Theory, Second Edition Название: Introduction to Computer Theory, Second Edition Автор: Daniel I. A. Cohen Издательство: John Wiley & Sons Год: 1997 Формат: PDF Для...
Introduction To Quantum Field Theory Название: Introduction To Quantum Field Theory Автор: Paul Roman Издательство: John Wiley & Sons, Inc. Год: 1969 Формат: PDF Страниц: 656 Размер:...
An Introduction to Quantum Field Theory Название: An Introduction to Quantum Field Theory Автор: Michael E. Peskin, Daniel V. Schroeder Издательство: Westview Press Год: 1995 Формат: PDF...
Feynman Lectures on Computation Название: Feynman Lectures on Computation Автор: Richard P. Feynman Издательство: Addison-Wesley Год: 1996 ISBN: 0201489910 Формат: pdf Страниц: 303...
Transport Category Aircraft Systems Автор: Thomas W. Wild Название: Transport Category Aircraft Systems Издательство: IAP, Inc. Год: 1990 Формат: PDF Страниц: 360 Язык: English Размер:...
Навигация
Вход на сайт
Реклама
Category Theory for Programmers 
