Only half joking.

I like to think the goal is to create a working system. I haven't seen sufficient evidence that Static Typed languages as a category are more likely to produce working systems then Dynamically Typed ones. Feel free to link anything you have on the subject. I would take the time to read meta studies on the subject though, many of which seem to conclude their isn't much evidence either way.

I do believe that "Discovered" languages are more capable then "Invented" ones. Phillip talks a bit about the difference here: https://www.youtube.com/watch?v=V10hzjgoklA&t=2176s