curr 함수,function#s-2

이거 pagename을 펑션 보다는 루틴,routine 서브루틴,subroutine으로 하는 건 어떤가?

기능,function이라는 뜻도 있다

function

다음 것들과 매우 밀접하고 어쩔 땐 거의 같거나 완전히 같을 때도 있는데 chk + mkl

사상,sasang? (사상 사상,map 사상,mapping 사상,morphism ....) .... 맵,map 매핑,mapping map
변환,transform or 변환,transformation 변환 ..... + 변환을 나타내는 행렬,matrix 변환행렬 변환행렬
연산,operation 연산자,operator 작용소,operator opera
....and?
참고: 함수 사상 변환 http://www.ktword.co.kr/test/view/view.php?m_temp1=4979

and rel.: 대응,correspondence 관계,relation 사영,projection
위 목록끼리 할 수 있는 게

합성,composition
...and?

[edit]

1. Sub (특정 이름의 function) ¶

[edit]

1.1. apply ¶

apply_function

애플리케이션,application ...maybe 적용,application

[edit]

1.2. eval ¶

eval_function

Rel
평가,evaluation
homoiconicity

https://namu.wiki/w/eval

[edit]

1.3. (esp. labmda calculus) ¶

[edit]

1.3.1. application ¶

위에 apply랑 같은 거? chk

자료 F, 자료 A가 있다면

F·A

는 F는 입력,input A에 "적용"되는 알고리듬으로 간주할 수 있다.
이걸 두 가지 방법으로 보면
1. 계산 과정 FA. - captured by the notion of conversion, and even better of reduction. // 전환,conversion? =,conversion . conversion { conversion } // conversion

conversion

conversion
2. 이 과정의 출력,output. - captured by the notion of models(시맨틱스,semantics).
type-free라서, FF같은 것도 있다. 이 땐 재귀,recursion를 시뮬레이트하기에 유용하다.
(Barendregt 2000 p7)

[edit]

1.3.2. abstraction ¶

만약

M≡M[x]

가 x를 포함한('x에 의존하는') 식,expression이라면

λx.M[x]

는 함수 x ↦ M[x] 를 뜻한다^denote.

ex.

λx.2*x+1

은

x ↦ 2*x+1

일반적으로

(λx.M[x])N = M[N]

이다. 더 보기 좋게^preferably 이렇게도 쓸 수 있다.

(λx.M)N = M[x:=N]

여기서 [x:=N] denotes substitution of N for x. // 치환,substitution

(Barendregt 2000 p7)

[edit]

2. Sub (function) ¶

[edit]

2.1. function call ¶

function call = call
함수호출 펑션호출 functionl_call or 그냥 호출,call

[edit]

2.2. function composition ¶

함수합성 펑션합성 function_composition
{
function composition

https://wiki.haskell.org/Function_composition

Up: 펑션,function(=함수,function) 합성,composition
}

[edit]

2.3. function inlining / inline function ¶

function_inlining / inline_function?
{
매크로,macro 비슷?
aka function_unfolding (in Haskell) ... https://wiki.haskell.org/Function_unfolding

https://wiki.haskell.org/Function_inlining

Up: compiler_ or code_ optimization ?
}

[edit]

2.4. intrinsic function ¶

intrinsic function
컴파일러,compiler가 컴파일,compile 컴파일,compilation? compile compilation 할 때 특별 취급해주는.

(특정 architecture/compiler/...에서 이런 펑션들을 종합적으로 일컫는 표현이 'intrinsics'.)
나는 그냥 'intrinsics'라고 해야 와닫는다. ~function 표현은 we에서 처음 보고 이게 뭐지 했는데.

https://en.wikipedia.org/wiki/Intrinsic_function

intrinsic function

[edit]

2.5. first-order function ¶

first-order function ?
first order function ?

http://emal.iptime.org/noriwiki/index.php/First-order_function

...

first order function

[edit]

2.6. second-order function (?) ¶

[edit]

2.7. (third-order function and so on...?) ¶

[edit]

2.8. higher-order function ¶

higher-order_function =,higher-order_function =,higher-order_function . higher-order_function |=,HOF HOF
{
higher order function (HOF)
higher-order function

https://wiki.haskell.org/Higher_order_function

"(Def.) A higher-order function is a function that takes other functions as arguments or returns a function as result."

...
"higher order function"

higher order function

higher order function
} // higher order function (HOF)

[edit]

2.9. pure function ¶

pure function
pure_function - 부수효과/부작용/side_effect가 없는

pure_function

Pure_function

pure function

[edit]

2.10. impure function ¶

impure function
impure_function - 그렇지 않은
{
function : pure if ...
programming_language : purely functional if evaluation of expressions is pure.
https://wiki.haskell.org/Pure

impure function
}

[edit]