Advantage? That is not the right question. there is really NO ANSWER. Machine language is the BASE LANGUAGE that a Machine work in. Example: Go Left, Go Right is what we first think of as Machine...
One advantage is programmer efficiency. Potentially hundreds of functions and standard routines are already coded at the 'machine' level, so that a clearly written language can help the programmer...
A type system is generally very useful. It prevents you from making many mistakes. For example adding 1 to "cool" would result in a garbage answer but you might do it accidentally without types....