[Python] first-class object (일급객체)

함수형 프로그래밍 언어에서 중요한 개념이며,

JavaScript와 Python등에서 Closure와 같은 다양한 디자인패턴을 응용 및 구현하는데 중요한 역할을 한다.

 

함수형 언어 관련 참고 자료 :

http://ds31x.blogspot.com/2015/09/summary-imperative-language-declarative.html?q=%ED%95%A8%EC%88%98%ED%98%95 

[summary] imperative language, declarative language...

---

first-class object 정의

일단 정의를 살펴보면 다음과 같음.

first-class object는 다음과 같은 성질을 가진 entity (독립체)임.

1. expression 내에서 사용가능해야함. (expression을 구성하는데 사용될 수 있어야 함)
2. variable에 assignment가 가능해야함. *
3. function 이나 method 호출 등에서 argument로 사용가능해야함. *
4. function call의 return value로 사용가능해야함.

위의 네가지 성질의 주요 알파벳을 따서 EVAC 라는 acronym으로도 불림.

First-class objects can be used in
Expressions, as Variables, and as Arguments, and can be returned by function Calls.

프로그래밍 언어에서의 int나 float, string 등의 기본적인 data type이 대표적인 firt-class object이다.

 

• 특정 type, object, entity, value가 first-class object라면
  이들 기본적인 data type과 비교하여 어떤 차이점 없이 사용가능하다는 점을 강조하면서
  first-class object라고 불림 (Christopher Strachey 의 정의). 
• 위의 4가지 성질들로 구체적  나타낸 것은 Robin Popplestone 의 정의에 기반함. 

---

Python에서 function은 first-class object.

주의할 점은 imperative programming language에서는 보통 function은 first-class object가 아닌 반면,
functional programming language에서는 function 도 first-class object이다.

 

Python은 imperative language로 분류되기도 하지만,
function이 first-class object이다.

 

• Python에서 map이나 filter등에서
• iterator와 해당 iterator의 각 iteration마다
• 적용할 function을 argument로 받던 걸 기억할것.

---

References

https://isaaccomputerscience.org/concepts/prog_func_first_class_objects?examBoard=all&stage=all

Isaac Computer Science

https://99geo.tistory.com/61

함수형 프로그래밍이란 ? functional programming?

https://jcsoohwancho.github.io/2019-10-18-1%EA%B8%89-%EA%B0%9D%EC%B2%B4(first-class-object)%EC%9D%B4%EB%9E%80/ 

1급 객체(first-class object)란?