On Fri, Mar 13, 2009 at 4:25 PM, Robert Fischer < robert.fisc...@smokejumperit.com> wrote:
> > Isn't the static type verification pretty much done and over with by the > time you get to SSA? You > need to keep type definitions around for method calls, but that's about > it... Sorry - my mind was skipping a few steps ahead since it was busy coding at the same time as I wrote that message. If you have type annotations in your source then of course they end up in your SSA through your symbol table. I was thinking about the data-flow analysis I am going to add to do type inference with Jython. > > > ~~ Robert. > > Tobias Ivarsson wrote: > > > > On Fri, Mar 13, 2009 at 4:08 PM, James Abley <james.ab...@gmail.com > > <mailto:james.ab...@gmail.com>> wrote: > > > > > > 2009/3/13 Robert Fischer <robert.fisc...@smokejumperit.com > > <mailto:robert.fisc...@smokejumperit.com>>: > > > > > > Want. > > > > > > I should have written about it earlier, all this encouragement would > > have been nice a few months ago... > > > > I guess you would like more static typing support than what I have > > implemented at this point. I haven't had the need yet since Jython is a > > dynamic language. But that need is approaching rapidly and I have plans > > scetched out on various pieces of paper for how type annotations are to > > be added. > > > > > > > > > > ~~ Robert. > > > > > > Tobias Ivarsson wrote: > > >> I have such a compiler framework in my optimizing Jython > > compiler. I'll > > >> have it ready for other people to work with by PyCon, if you are > > >> attending this year we can talk about it face to face. > > >> > > >> It doesn't use a traditional flowgraph SSA. Instead I've chosen a > > >> representation that's closer to the internal representation in > > Hotspot, > > >> a so called "sea of nodes" SSA. This is because it simplifies > > >> instruction scheduling. > > >> > > >> I would definetly like to share this with as many of you as > > possible. > > >> But I'm doing heavy refactoring at the moment, and would prefer > > to wait > > >> two-three weeks (after PyCon) with the sharing. > > >> > > >> /Tobias > > > > Any chance of sneak previews on github / A N Other? > > > > > > It's in a mercurial repo on my personal network at the moment, but I'll > > commit it to the Jython svn repository at some point next week. I'll > > make sure to make an announcement here when I do ;) > > > > /Tobias > > > > > > > > > -- > ~~ Robert Fischer. > Grails Training http://GroovyMag.com/training > Smokejumper Consulting http://SmokejumperIT.com > Enfranchised Mind Blog http://EnfranchisedMind.com/blog > > Check out my book, "Grails Persistence with GORM and GSQL"! > http://www.smokejumperit.com/redirect.html > > > > --~--~---------~--~----~------------~-------~--~----~ 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 jvm-languages+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/jvm-languages?hl=en -~----------~----~----~----~------~----~------~--~---
