본질은 함수 == 메소드 == 연산자

[mozzart(mozzart)]

순수함수랑 scoped 같은 분류는 소분류라고 봐야지.

[cc(221.155)]

nullary function을 보통 operator라고 부르진 않지

[cc(221.155)]

그리고 method는 함수가 클래스라는 개념과 결합되면서 붙여진 이름이고 함수가 메소드지 메소드가 함수인건 아니지

[cc(221.155)]

어쩌면 순수함수가 더 큰 분류일 수도 있지, Agda같은 언어에서 순수함수는 primitive recursive function임, general recursive function이랑은 그 성질이 완전히 다르지(primitive recursive function은 튜링완전하지 않음)

[mozzart(mozzart)]

프로그래밍 언어적으로 보면 네 접근도 충분히 타당해.

[mozzart(mozzart)]

개념적으로 구체화할수 있는 부분외에 mutable 한 부분은 본질을 공유하기 때문이다. 라는거지 뭐. 이를테면 operator overloading

[cc(221.155)]

함수의 본질이랑 operator overloading은 크게 관련이 없는듯 한데; operator overloading은 이름이 있는 함수에 대해서 동작하지만 이름이 없는 익명함수들이 어떻게 사용되는지를 생각해보면 함수랑 이름이랑은 크게 관련이 없는 듯

[mozzart(mozzart)]

그건 이름이 있고 없고는 중요하지 않다고 봐. 내부적으론 주소가 기억되고 있으니 말야. 노출여부는 완전히 별개의 문제.

[mozzart(mozzart)]

nametable 에 존재하냐 그렇지 않냐는 본질과는 좀 거리가 있다는거지.

[cc(221.155)]

그건 함수를 튜링머신으로 구현했을때, 그리고 그것도 폰노이만 구조 시스템위에서 구현했을때라는 아주 특별한 가정이 깔려있는 접근방법 아니냐

[cc(221.155)]

함수라는 개념에 대한 연구는 lambda calculus로써 승화했음. 함수는 mathematical notion이지;; 그리고 그 개념을 현실세계에 구현한게 니가 말하는 CPU가 메모리에서 가져와서 실행하는 코드조각이고

[mozzart(mozzart)]

네 말이 맞다. 일단 저생각의 뿌리는 폰노이만에 깊숙히 근간을 삼고 있으니. 근데 부모를 뭘로 정의해도 큰 무리는 없지 않냐.

[cc(221.155)]

뭐 함수를 ZFC로 정의할 수도 있고 범주론으로 정의할 수도 있으니 튜링머신으로 정의한다면 맞는 말일듯 ㅋ

[mozzart(mozzart)]

mathematical notion 과 notation 에서 writing 과 logics 의 영역으로 뜯어내오는 과정인거지 뭐.