It's interesting how the notation used can encourage or retard progress. For example, Leibniz's calculus notation was vastly superior to Newton's, and calculus theory advanced much more quickly where Leibniz's notation was used. https://en.wikipedia.org/wiki/Leibniz%27s_notation
This allows you to do all sort of calculations with wave functions without constantly grinding to a halt bogged down by integrals and conjugates all over the place.
The ladder operators (aka raising & lowering), really put this notation to good use[2]. It would be tremendously tedious to manipulate such expressions repeatedly without the simplifying properties of Bra-Kets. Once you are done manipulating them you then use the rules of the bra-kets to transform it back into a plain old integral, evaluate, and you're done.
I used to think they were very mysterious until I realised they were (essentially) notational convenience.
[1]: https://en.wikipedia.org/wiki/Bra%E2%80%93ket_notation
[2]: http://www.tcm.phy.cam.ac.uk/~bds10/aqp/lec3_compressed.pdf