On Wed, Nov 25, 2009 at 4:57 PM, Alexandru Nedelcu <[email protected]> wrote: > I'm a rookie looking to implement a language for fun & profit :) > > I want to know if there are any publications on efficiently mapping > the ML type-system to Java, like tuples, unions, closures ... or like > implementing generics through reification or through code- > specialization (I can't think of a reason why not, but I don't have > the experience). > > Or any articles on implementing static language features on top of the > JVM (I can see there's a lot of talk on dynamic features in the Docs).
You'll probably find lots of things of interest in the collection of Scala related publications here, http://www.scala-lang.org/node/143#papers Scala's case classes and matching constructs correspond very closely to ML/Haskell style algebraic data types and matching, so I would expect that the papers relating to matching will be of particular interest. Cheers, Miles -- Miles Sabin tel: +44 (0)7813 944 528 skype: milessabin http://www.chuusai.com/ http://twitter.com/milessabin -- You received this message because you are subscribed to the Google Groups "JVM Languages" 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/jvm-languages?hl=en.
