One common complaint I hear about working in typed languages (…except TypeScript w/noEmitOnError: false) is inability to run/test non-type-checking code. Which makes Richard Feldmans Roc super interesting: it enables those workflows in a sound language!