What do you think is future scope in category theory?

I have been interested in functional programming, lambda calculus, type theory etc too as a hobby.