Church is a Scheme dialect. Scheme is a Lisp-1, meaning there's a single namespace for everything, including functions. That is, a variable can be bound to a function object, an integer, a list, etc. This is IMHO a very good thing.
Functions or macros can return other functions. It's not easy to say what is going on, unless you look a bit at the context to spot e.g. function applications.
> That is, a variable can be bound to a function object, an integer, a list, etc. This is IMHO a very good thing.
The same with Python, which I spend most of my time using. However, I cannot remember the last time I had trouble figuring out if I was dealing with a variable that contained a value or a function in python, whereas in probmod I am having difficulties with a simple countess application.
Functions or macros can return other functions. It's not easy to say what is going on, unless you look a bit at the context to spot e.g. function applications.