On Tuesday 13 November 2007 07:30, hlovatt wrote: > @Jon, > > You keep saying that you loose type checking with multiple dispatch - > that isn't true.
If you make your code very generic, e.g. using multiple dispatch, then you undermine static checking. That is not specific to multiple dispatch: using polymorphic variants in the same way also undermines static checking in exactly the same way. My advice is to avoid this kind of genericity. This whole discussion just boils down to the recent fad of trying to solve the expression problem in OO languages to test their expressiveness. While that may be an interesting academic exercise, I believe it has no practical importance. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "JVM Languages" group. To post to this group, send email to jvm-languages@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/jvm-languages?hl=en -~----------~----~----~----~------~----~------~--~---
