Thinking about JVM tail calls again. Starting to get time to do something about it... http://cr.openjdk.java.net/~jrose/draft/vm-tailcall-jep.html …
@oxnrtr However, we can use manual-spec now to achieve similar effects. Would the hope be to remove the type witnesses from this code?
-
-
@tixxit I think the lesson learned over the last decade is that both the C++/Scala-specialized and the Java/Haskell approaches are terrible. -
@oxnrtr I'm interested to see equiv of this in C#: trait Foo[A]{def p(x:A,y:A):A};class IntFoo extends Foo[Int]{...} - does it spec IntFoo? - 2 more replies
New conversation -
-
-
@tixxit If you want to avoid both bloat and slow execution, emitting specialized code on-demand at runtime is the only viable option.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@tixxit (Ignoring special cases were whole-program-optimization let's you pre-generate the necessary code at compile-time.)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.