Then I guess you chose the wrong side. Dynamically-typed languages produce less code precisely because you don't need to specify the types. E.g. Scala is more verbose than Clojure.