Comment by simon_acca

“Structure and interpretation of classical mechanics” by Sussman bridges this gap beautifully