waldmann at imn.htwk-leipzig.de
Fri Aug 1 07:26:54 EDT 2008
-----BEGIN PGP SIGNED MESSAGE-----
> They [Java] don't have local types.
> They have inner classes, and objects get passed.
The net effect is that I can make an inner class
that implements some interface, and in the implementation
I can refer to things defined in some enclosing scope
(not just in the global scope). Sure, I can only refer
to static things, but in Haskell everything is static, no?
> Newtypes do work.
I agree, to some extent. Using a newtype to simulate the above
is like lambda-lifting: you have to add the information on the local
things you want to use. The Java compiler does that for you.
Best regards, J.W.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (GNU/Linux)
Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the Libraries