On 2013-03-21 23:20, Kagamin wrote:

> Interesting, can java into CTFE and compile-time code generation?

Scala supports AST macros and therefore also executing functions during compile time. I guess they just invoke a new instance of the compiler during compile time.

-- 
/Jacob Carlborg

On Fri, 2013-03-22 at 08:36 +0100, Jacob Carlborg wrote:
> On 2013-03-21 23:20, Kagamin wrote:
> 
> > Interesting, can java into CTFE and compile-time code generation?
> 
> Scala supports AST macros and therefore also executing functions during compile time. I guess they just invoke a new instance of the compiler during compile time.

Groovy also supports AST tranformations. Two of which are:

	@TypeChecked
	@CompileStatic

so as to make Groovy a dynamic language which can have static type checked bits and full static compiled bits. I am not sure that Cédric has realized CTFE, I will ask.

-- 
Russel. ============================================================================= Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder@ekiga.net 41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@winder.org.uk London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder

It's also somewhat wrong to pair D with C++. C++ can't bring anything new to JVM because as a language it's not more powerful than Java, it's just native - and that feature gives no advantage on a virtual machine, because native features will not work there and thus should be discarded. On the other hand D has not only native but also some cross-platform features like scope guard, so it's not like C++: C++ can't compete with java on JVM, D can.

On Friday, 22 March 2013 at 17:32:19 UTC, Kagamin wrote:
> It's also somewhat wrong to pair D with C++. C++ can't bring anything new to JVM because as a language it's not more powerful than Java, ...

What? That's clearly wrong. C++ is far more powerful than Java. One example is templates - java has generics, not templates.