it basically abstracts the types away from the hardware.
The dynamic typing is what makes type declarations unnecessary.