K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi all,

> But, you are right.  We lose behaviors right now in some cases, so we need 
> to fix this.  Please continue to report such issues, they really help 
> (particularly now, when we are doing the full transition of kompile to 
> Java, because it is a good time to fix things and do them properly)!

I have been following this thread from its beginning. Can't help
keeping quite any more. :p

What I really love the K development team to have in mind whilst
migrating to Java is language integration. Specifically, whilst I
would like to remain at the current level of abstraction at the
specification level, I want precisely-typed ASTs for introspection in
my desired general purpose programming language. As far as I can see,
the way to approach this is through language integration APIs. How
close are we to such a thing?

Cheers,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------