One of my biggest beefs with Go and dozens of other languages is: static typing without a sufficiently developed type system is masochism.

If I can't get at least ADTs and parametric typing, give me gradual like CL.