how to define/put into Environment with type hints?

[Sonny To]

I tried something like this

env.put(Symbol.valueOf("application"), Symbol.makeUninterned("::
android.app.Application"),application)

the result I want is
(define application :: android.app.Application application)


if I do, env.put(Symbol.valueOf("application"),application) accessing
application from the repl will
give warnings about missing symbols because its treated as an
java.lang.Object. I don't want to explicitly cast every time i want to
invoke a method or property of application

thanks,
Sonny

[Per Bothner]

Post by Sonny To
I tried something like this
android.app.Application"),application)
the result I want is
(define application :: android.app.Application application)
if I do, env.put(Symbol.valueOf("application"),application) accessing
application from the repl will
give warnings about missing symbols because its treated as an
java.lang.Object. I don't want to explicitly cast every time i want to
invoke a method or property of application

It is common for people new to Kawa to want to play around with
environments and/or eval. My general advise to minimize doing either.
Scheme is built around lexical binding, and modern Schemes take that
further using modules/libraries. Kawa's strength is compilation including
compile-time analysis.

So if you can possibly avoid using environment objects or eval, do so.

There is no way to directly specify types with an environment binding.
However, it is possible to do it indirectly:

To get the effect of:
(define application :: android.app.Application app)
you need to evaluate or compile that.

The resulting class can be imported (using import/require),
and the resulting bindings will have the type specifier.

The last piece of the puzzle is loadClass, which loads all
the public bindings in a class into an environment.

You can use either: kawa.standard.Scheme.loadClass
or the lower-level: gnu.language.LoadClass
or the still lower-level: gnu.kawa.reflect.ClassMemberLocation.defineAll

It might be reasonable to define a helper procedure:
(environment-import clas [environment])
This would be a simple wrapper around ClassMemberLocation.defineAll.