The original poster did not indicate which high level language. For C and Pascal, the 6502 hardware stack limitation is an issue and limits recursion, but for Forth, say, there is no real problem since the data and return stacks are separate. (The same "trick" could be built into a 6502 C compiler of course.)
On the other hand, maybe the original question implies a desire to program 6502 assembly on a mac? That's certainly possible as well - I think I'd use OrgASM (try searching for that! 8-o ) and MPW.
Ken