What is the root of "first class object" of programming languages? (Also see https://en.wikipedia.org/wiki/First-class_function, and https://stackoverflow.com/questions/245192/what-are-first-class-objects)

Does it come from logics, lambda calculus or some other formal systems and the languages used in these formal systems? Thanks.

  • $\begingroup$ The term comes from Strachey's pioneering work in programming language semantics that you can read about by following a link in the link en.wikipedia.org/wiki/First-class_citizen that you cite. Please go and read Strachey and then come back if you have further questions. $\endgroup$ – Rob Arthan Apr 26 '16 at 21:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.