On 27 March 2011 19:51, Casper Bang <[email protected]> wrote: > > A good language will strive to provide support in both directions: > promoting > > good practices while protecting developers from mistakes that can be > easily > > detected or (even avoided altogether) by tools. > > But isn't it conceivable that the static dial was placed a tad too > high when it comes to checked exceptions? As you say yourself, tools > can easily detect these things (and so much more) so we should just > make this part of general lint tools. The moment idioms are born, or > you require code completion tools, to get stuff done in the primary > code path, things have gotten a bit too nannyish.
Even if you consider static typing to be a one-dimensional thing (which it isn't), this isn't an issue of too much static typing. On some hypothetical typing dial that goes up to 11, with around 8 being high enough that you stop being Turing complete, then Java (checked exceptions & all) is around a 4 or 5. Haskell doesn't have this issue, nor does Coq or Agda, all of them being far more Nannyish than Java is ways that actually have some proven benefit as to improving the quality of your programming - a test that I have yet to see being passed by checked exceptions. Again, I want the type safety of regular exceptions, not the lack of safety that comes from wrapping everything in a RuntimeException (this being the common workaround) > -- > You received this message because you are subscribed to the Google Groups > "The Java Posse" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > > -- Kevin Wright gtalk / msn : [email protected] <[email protected]>mail: [email protected] vibe / skype: kev.lee.wright quora: http://www.quora.com/Kevin-Wright twitter: @thecoda "My point today is that, if we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent": the current conventional wisdom is so foolish as to book that count on the wrong side of the ledger" ~ Dijkstra -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
