I just realized Java doesn’t have covariant return types. What the hell were people thinking when they made Java? You have to cast everything, everywhere!
daleks has written 2 entries about this goal
It’s not that I only hate Java, because I hate C++ equally as much, if not moreso. I just want to find a language that has
- Multi methods; CLOS
- Interface inheritance (as well as implementation inheritance); ?
- No primitives; Ruby
- Type & structure matching; Ocaml
- Open class definitions; Objective-C, Ruby
- Algebraic types; Ocaml
- Type inference; Ocaml, Scheme
- Default of dynamic typing and static typing turned on explicitly; Lisp
- Pure virtual static (class!) methods
- Pure virtual constructors
The list goes on. That said, I’ve done fine work in C++ and Java. The JDK treats me well and I can’t complain that much. Does Lisp/CLOS have any of the above?
