Originally Posted by
Jonathan
That's an interesting theory, but do you see any strong evidence for it? As I understand, the +/- idea came from a speculative article by Gulenko in which he surmised that types' uses of functions could be divided into "near term" and "long-term" usage. He used +/- merely as indicators for his idea. Then some people on this forum (e.g., hitta) started interpreting "-" to mean "anti" in some sense, without much basis from the original article, which in turn didn't show much empirical research to begin with.