I am trying to understanding more about why programming is so complex (it is some kind of calling after 25+ years of programming). I am doing this learning via

I am trying to understanding more about why programming is so complex (it is some kind of calling after 25+ years of programming). I am doing this learning via working on projects in a diverse range of technologies (asp.net with c# & f#, js & typescript & purescript + node, js + typescript + react(native), haskell and clojure) and by working on proofs in tla+/agda/idris. My paid work is currently (inherited projects in) c#, so I try to mix environments by experimenting (and studying the runtimes / compilers at the same time) with little tools/libs [0] (not for production, but I keep wondering if there are ways to bring things that help me from in language A to language B). [0] https://github.com/tluyben/PoorMansRefinementTypes https://github.com/tluyben/PoorMansRefinementTypes