It's pretty easy to add typed holes to a statically typed language in many cases, which will simply cause the program to panic if they end up being instantiated

It's pretty easy to add typed holes to a statically typed language in many cases, which will simply cause the program to panic if they end up being instantiated. I'm not really sure what issue the author takes with inserting panics / bottom until you're ready to actually deal with the problematic cases--the only way to make it more ergonomic would be to make it the default behavior, which pretty much means you're not getting any benefits out of type checking.