Exactly, so when replacing type systems with GPS, dynamic code with manual navigation, testing with checking if you're on the right track and architecture with

Exactly, so when replacing type systems with GPS, dynamic code with manual navigation, testing with checking if you're on the right track and architecture with city/land this becomes interesting. In programming I prefer the most sound route to get to my destination. I think typesystems greatly help me with that by giving me warnings and errors when I take the wrong path. In real life I usually only prefer to get to a destination so I use the GPS as I know it can get the fastest route better than me most of the time. If I want to explore a city to find interesting places I don't use a GPS and resort to walking around. When I found an interesting place I will mark it down in google maps and maybe use a GPS next time I go there. If I want to explore an idea with programming the code I write tends to be less sound and more dynamic, when I know what I want I'd refactor the code to be more sound and less dynamic.