There are better applications for a static type system. Combining types with implicit conversions to create a DSL is one of the more obvious ones.
Just look at what can be done with JodaTime: http://github.com/scalaj/scalaj-time <http://github.com/scalaj/scalaj-time> 2010/9/6 Cédric Beust ♔ <[email protected]> > > > On Mon, Sep 6, 2010 at 10:47 AM, Andreas S. > <[email protected]>wrote: > >> Thx for explanations! >> Personally I was very impressed with this example of scala's >> typesystem: >> >> http://jim-mcbeath.blogspot.com/2009/09/type-safe-builder-in-scala-part-4.html >> its >> a little bit more practical (IMO) :) >> > > I don't know, the code is quite convoluted and builders are much more > likely to be used in dynamic situations (e.g. reading parameters from a > configuration file or from the user) than in static ones. > > As much as I am a fan of static safety, builders strike me as being an area > where there is very little to gain from having build time error messages. > > -- > Cédric > > > > -- > 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]<javaposse%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > -- Kevin Wright mail / gtalk / msn : [email protected] pulse / skype: kev.lee.wright twitter: @thecoda -- 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.
