It's a pretty overloaded term. I haven't looked into the Cosmos semantics much, ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mjn on Nov 18, 2014 \| parent \| context \| favorite \| on: An Opinionated Treatise on Cosmos, a New Programmi... 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

Chinjut on Nov 18, 2014 | [–]

I believe this terminology goes back to Rudolf Carnap; it actually predates the use of "functor" in category theory.

tel on Nov 18, 2014 | [–]

Oh, there you go. I'd never heard them in that context before.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact