@ArneBab at that time (2020) I had just finished the #Idris book and was totally sold on static types, and was planning to follow it up with Software Foundations. Then a friend suggested I check out the TLS, which appeared as something like a work of art, and got me buzzing like nothing else. So then I started making my way through SICP, and was learning typed racket at the same time. But about a year after installing Guix, I decided to invest my time in #Guile — where I found myself lost whenever I'd try to use it outside of Guix — and my interest in types has gradually faded as I've gone further and further down the rabbit hole.
I still plan to read SF eventually, but my interests have changed dramatically the more and more I've become captivated by #lisp, and I feel content with my decisions.