ABC has only five data types that can easily be combined; strong typing[?], yet without declarations; data limited only by memory[?]; refinements to support top-down programming; nesting by indentation[?]. Programs are typically around a quarter the size of the equivalent Pascal or C program, and more readable.