what is the motivation behind not-allowing exception declaration in method/function signatures in dart? wouldn't it be better to allow programmers to declare exceptions in method signatures and then check that these exceptions are either propagated or caught (with a catch block) in checked mode (kinda like in java)? i'm sure the designers of dart have good reasons for their decisions, and it would be great if they could enlighten the users of dart with this information.
UPDATE: i've read a lot of the articles on dartlang.org and it seems that there is a very precise, clear-cut reason for nearly every design decision in dart. so i believe there is a correct answer to this question and thus it should not create debate.