Comment by practal

Yeah, the whole argument felt somewhat unhinged and silly. It is fine to point out that sometimes "function" is used in a more specific manner than "mapping", particularly in analysis, but I doubt any mathematician would think that a functional is not a function, in a general context such as a HN comment.