> What’s curious is that this is true in every language with general recursion/looping: Yes, thanks for pointing that out. > The type of “eval” can also be fu

> What’s curious is that this is true in every language with general recursion/looping: Yes, thanks for pointing that out. > The type of “eval” can also be fully static; it can just return a type that you have to do case analysis or runtime type inspection on to use. I'd say that's what type T stands for in Lisp, since you can then dynamically dispatch on the actual type of the value.