object-oriented programming python dynamic typing software engineering interfaces c# generic programming design patterns abstraction dispatch javascript c++ java type systems static typing