tag:blogger.com,1999:blog-23912478.post3856637763656658097..comments2024-01-03T12:45:39.815+00:00Comments on peripatetic axiom: Dynamic vs static: once more with feelingkeithbhttp://www.blogger.com/profile/14314542307822401015noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-23912478.post-20820675442540061002009-03-17T17:59:00.000+00:002009-03-17T17:59:00.000+00:00Please, you'll make me nostalgic for Modula-3 agai...Please, you'll make me nostalgic for Modula-3 again:<BR/><BR/>TYPE Weekday = [Monday, Tuesday, Wednesday, Thursday, Friday];<BR/><BR/>Sigh.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-23912478.post-25458989683217176382009-01-26T15:57:00.000+00:002009-01-26T15:57:00.000+00:00You might what to check out the Scala type system....You might what to check out the Scala type system. It has a more limited form of type inference (that seems to work well enough for me) but doesn't run into the kind of problems you describe.Anonymousnoreply@blogger.com