&gt; I think statically typed languages go too far in the other direction. Tyr type and API definitions are too strict leading in a ton of unnecessary effort (ie boilerplate), increased surface area for potential bugs, and overly restrictive limits that require &#x27;creative&#x27; workarounds to effectively write code.<p>Given this description of statically typed languages, I&#x27;m guessing you haven&#x27;t tried OCaml or Haskell.