> that would be like a programming language without variables or data structures.
I would say it's more like a language where every "noun" is really a "verb" in disguise—e.g. combinatoric logic. You can let K and KI mean true and false when speaking about combinatoric logic, but when using it, they're still verbs (combinators), not values.
I would say it's more like a language where every "noun" is really a "verb" in disguise—e.g. combinatoric logic. You can let K and KI mean true and false when speaking about combinatoric logic, but when using it, they're still verbs (combinators), not values.