객체와 함수를 융합해보자는 아이디어임 ㅋㅋㅋ.

객체 안에 어떤 것들이 들어있는지를 선언하여 타입을 정의하며,

함수 안에 함수를 정의할 수 있고,

함수가 자기자신을 반환하면 객체가 되는 거임.

이때 안에 정의된 함수들이 이 객체의 멤버함수이고,

안에 정의된 변수들이 이 객체의 멤버변수임.

아래는 예시 코드임.


임의의 객체는 타입 1에 대하여 type checking에 항상 성공함.

#0은 가장 바깥 함수의 this임.

#n은 깊이가 n인 함수의 this임.

개소리를 들어주셔서 감사함.