I don’t like many things about java but here are just a few that I do like:
I object to the following:
- Type int is 32 bits, etc.
- It is moderately fast and type safe.
- It specifies two’s complement arithmetic.
- It supports static synergy.
- It lacks a preprocessor.
- It has a powerful easily available library.
- The stack introspection security idea is bad; I can’t call someone with less authority.
- The lock mechanism is entirely unsuitable for that the Keykos kernel uses locks for: to avoid alias problems.
- There is no type for what an ML language would call int → int.
- The library documentation describes the methods for a class but not the abstract state of an object of that class.