my book about what the industry misses

i wrote a book about what the industry misses in regard of efficient software coding :

https://libeako.github.io/c/ID_1371518733.html

in it : 
strong static typing
functional programming
parametricity
category theory
the logic-programming connection