...
логика
- Железо современных серверных компьютеров: как работает проц, память, итп - и как оно на практике связано с Java/C++
Про железо я ничего пока не знаю, поэтому в списке нет даже минимальных хотелок.
- Общее стартовое направление: минимальный набор фич ООП по Benjamin Cuire Pierce:
* Dynamic dispatch
* Encapsulation or multi-methods
* Subtype polymorphism
* Object inheritance or delegation
* Open recursion
Конкретика:
- Образцовая, но невыполнимая, подборка:
http://alexott.net/en/fp/books
Практика
========
- ООП
* A Theory Of Objects - Abadi, Cardelli
- Вкус FP для чайников:
* О Haskell по-человечески - https://www.ohaskell.guide/
* Real-World Functional Programming: With Examples in F# and C# - Tomas Petricek, Jon Skeet
* SICP - https://mitpress.mit.edu/sicp/full-text/book/book.html
* HTDP - http://htdp.org/2003-09-26/Book/curriculum-Z-H-1.html…
* Pure functional data structures - Chris Okasaki
- Concurrency
* JCIP
* Seven concurrency models in seven weeks
* Блоги всех причастных
- Дизайн виртуальной машины
* Java standards
* Oracle JRockit: The Definitive Guide - Marcus Hirt, Marcus Lagergren
* ???
* Блоги всех причастных
Теория:
=======
- Теория типов
* Types and Programming Languages - упомянутый Benjamin Cuire Pierce, (http://www.cis.upenn.edu/~bcpierce/tapl/
* Proofs and Types - Jean-Yves Girard, Yves Lafont and Paul Taylor -http://www.paultaylor.eu/stable/Proofs+Types
* Hindley, Seldin - Lambda-Calculus and Combinators - An Introduction -http://www.cambridge.org/gb/knowledge/isbn/item1175709/…
* Intuitionistic Type Theory - Martin-Löf (помойму это уже перебор)
- Теория моделей
* Model Theory : An Introduction - David Marker
* A Shorter model theory - Hodges
* Mathematical Logic - Cori, Lascar
- Теория категорий
* Conceptual Mathematics: A First Introduction to Categories - Lawvere, Schanuel - http://www.amazon.com/Conceptual-Mathematics-F…/…/052171916X
* Category Theory - Steve Awodey - http://www.amazon.com/Category-Theory-Oxford-L…/…/0199237182
* Categories for the Working Mathematician - Saunders Mac Lane -http://www.amazon.com/Categories-Working-Mathe…/…/0387984038
* Physics, Topology, Logic and Computation: A Rosetta Stone - Baez and Stay - http://math.ucr.edu/home/baez/rosetta.pdf
* An Introduction to n-Categories - Baez - http://arxiv.org/pdf/q-alg/9705009v1.pdf
* Algebra - Serge Lang - http://www.amazon.com/Algebra-Graduate-Texts-M…/…/038795385X
- Гомотопическая теория типов (HoTT)
* https://homotopytypetheory.org/book
- Темпоральная логика
* The temporal logic of reactive and concurrent systems - A. Pnuelli
* Linear Temporal Logic Symbolic Model Checking - Kristin Y. Rozier
* Logic in Computer Science: Modelling and Reasoning about Systems - M. Huth, M. Ryan
* Model Checking - E.M. Clarke, O. Grumberg, D. Peled
* Что угодно про Probabilistic Computation Tree Logic (PCTL)
* Что угодно про Propositional Linear Temporal Logic (PLTL)
+15
