I am writing a book called A Type of Programming, and I am sharing the first few chapters here. I hope you enjoy them :)
The book takes a rather different approach to teaching in that it emphasizes understanding the meaning of programs through types and functional programming. The book doesn't assume any previous programming knowledge from the reader, but it is intended both for newcomers and experienced programmers nonetheless.
As of today, 44 chapters are available for reading, covering the basics of what types and functional programming are about. More chapters will be published regularly.
Let me know what you think :)