Charles Oliver Nutter wrote: > Robert Fischer wrote: >> I've started down the SSA route for Cornerstone, too. This is why I'm not >> back to using your BS >> library yet. I'd be very interested in working with other people to do SSA >> work, though. > > Forgive me if I missed it, but what's Cornerstone? I'm intrigued. > It's an experiment in type systems, expressiveness, and concurrency. I shot my mouth of one too many times about what could/should be done, so I've decided to put some time where my mouth is. I've been using your BiteScript and watching your Duby stuff as a model, and I'd like to contribute back to that, too, when I've got a bit more free time: Autobase + work + next book + NFJS + training + spring gardening is currently killing me.
>> I'm not particularly interested in a dynamically-typed SSA library since >> correctness is critical in >> the SSA, and if I didn't have the type safety, I'd want to implement it. >> Although I could be sold >> another direction on that point. > > Are you saying you'd rather have the SSA library implemented in Java? I > don't think any of us are against that, and it would definitely be more > generally-applicable. > I'm saying -- gently -- that my Scala stuff probably isn't worth sharing, and if I were to do it over again, I'd do it in Java. But I'm also saying I'm willing to be sold on a non-statically typed language impl given that the alternative is coding Java. >> I'm also less excited about CPS, since that's going to tend towards >> optimized code resulting in >> non-recursive function tail calls, which I'm trying to avoid until we get a >> version of the JVM which >> can optimize them. > > I believe TCO has already landed on MLVM, so it's at least on the way. > I know, and I'm crazy excited. How is that being implemented, BTW? Did they remove the GOTO restriction, or is there a new byte code to trigger a tail call? ~~ 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 -~----------~----~----~----~------~----~------~--~---
