* Haskell

Haskell is a purely functional, lazy, strongly and statically typed, general
purpose programming language based on the typed {lambda-calculus}. It famously
uses monads to express I/O interactions. Many of its strengths come from its
powerful type system.

{https://haskellbook.com/ Haskell programming from first principles}
{https://www.youtube.com/watch?v=re96UgMk6GQ Escape from the ivory tower}
