. . . "it is fun to write code in and is a good language for leaning into the functional plus static typing paradigm." .