Scala native (comming soon)
scala-native.org
scala-native.org
> [...] new foundation of Scala and languages like it. DOT features path-dependent types, refinement types, and abstract type members. Proving the DOT calculus type-safe has been [...]
Now, as Scala currently runs on the JVM, questions abound: What is native here? Will this compiler emit JVM bytecode? x86? LLVM? Also, what about GC? Or is the compiler getting bootstrapped, but we stay in JVM land? Are there opportunities to plug it seamlessly to the Truffle/Graal initiatives?
[1] http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_subm...
There's a link in the coming soon to a talk schedule by some guy. If like me you're not particularly into Scala, just curious about it, you just wasted a click.