[ZoomZoomZoom]

> But foo(x : int) is a string!

Can you say so decisively for a language with first-class functions?

[willtim]

You are quoting me out of context. In many languages, the term and/or pattern foo(x : int) is a string, if foo : int -> string.