4 ms·

If "the bigger the interface, the weaker the abstraction", then would that mean the opposite is also true, i.e. the smaller the interface, the greater the abstr

• weberc2 9y ago
  > If so, then interface{} would be the greatest abstraction of all, and pure dynamic typing Python-style throughout the program the best design choice! `interface{}` and dynamic typing aren't more abstract; they still have an interface--it just is hidden from the type-system. And in my experience as a Python developer, absent a type checker, many developers lack the discipline to keep their interfaces small. A type checker makes it somewhat harder for the author to make design decisions that the maintainer will regret. (Of course, when I point this out, dynamic typing devotees invariably respond, "You can write bad code in any language!", failing to distinguish between my claim and "It's impossible to write bad code in a statically typed language").