> into the nature of functions which the calculus sequence is kind-sorta supposed to give you a tiny and very distant taste of

How about instead starting with Lambda Calculus? It's all about functions and how to define them