Try Richard Bird's latest two books for Haskell to see how pure functional programming and allows for equational reasoning and the power that grants you. Try a

Try Richard Bird's latest two books for Haskell to see how pure functional programming and allows for equational reasoning and the power that grants you. Try a lisp and work your way through SICP. Try Forth using Starting Forth and Thinking Forth for stack-based programming. Try Prolog for logic-based programming. Try APL for array-based programming. For a higher-level look at PLs, try this book: https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Models_of_Computer_Programming https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Mode...