2 ms·

I wonder why they're called functors.

• mjn 12y ago
  It's a pretty overloaded term. I haven't looked into the Cosmos semantics much, but since it's mentioned in the "logic programming" part of the language, I suspect it's referencing the Prolog sense of the term: http://www.cse.unsw.edu.au/~billw/prologdict.html#functor http://www.cse.unsw.edu.au/~billw/prologdict.html#functor
  • Chinjut 12y ago
    I believe this terminology goes back to Rudolf Carnap; it actually predates the use of "functor" in category theory.
  • tel 12y ago
    Oh, there you go. I'd never heard them in that context before.