Yes, Oz is pretty cool, though I personally find the use of FP as the base limiting. I also highly recommend the book: https://en.wikipedia.org/wiki/Concepts,

Yes, Oz is pretty cool, though I personally find the use of FP as the base limiting. I also highly recommend the book: https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Models_of_Computer_Programming https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Mode...