Three things I definitely dislike about this language: - Error handling. Uninspectable, untyped errors that still must be declared and caught is just a total w

Three things I definitely dislike about this language: - Error handling. Uninspectable, untyped errors that still must be declared and caught is just a total waste of an error system. It's not actively harmful, since you can just use primitive unions instead, but it's still a waste. If it's a recoverable error, it should have types and be inspectable so you can recover from it; if it's unrecoverable, it shouldn't have to be caught or declared. - The file-based package resolution scheme. It is an absolute blight on any language that has it. - The lack of function overloading. I excuse this in Rust because Rust trait implementations have their own namespace, so nothing conflicts, but if there are two Pony traits with the same function with different types or a different arity, there doesn't appear to be a way to implement both on the same class.