curr 함수,function#s-2
다음 것들과 매우 밀접하고 어쩔 땐 거의 같거나 완전히 같을 때도 있는데 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
위 목록끼리 할 수 있는 게
- 합성,composition
- ...and?
Contents
- 1. Sub (특정 이름의 function)
- 2. Sub (function)
- 2.1. function call
- 2.2. function composition
- 2.3. function inlining / inline function
- 2.4. intrinsic function
- 2.5. first-order function
- 2.6. second-order function (?)
- 2.7. higher-order function
- 2.8. pure function
- 2.9. impure function
- 2.10. first-class function
- 2.11. virtual function
- 2.12. generic function
- 3. Sub ('functional')
- 4. CS function이 가질 수 있는 성질
- 5. MKLINK
- 6. PL Syntax
2.3. function inlining / inline function ¶
function_inlining / inline_function?
{
매크로,macro 비슷?
aka function_unfolding (in Haskell) ... https://wiki.haskell.org/Function_unfolding
{
매크로,macro 비슷?
aka function_unfolding (in Haskell) ... https://wiki.haskell.org/Function_unfolding
Up: compiler_ or code_ optimization ?
}
}
2.4. intrinsic function ¶
(특정 architecture/compiler/...에서 이런 펑션들을 종합적으로 일컫는 표현이 'intrinsics'.)
나는 그냥 'intrinsics'라고 해야 와닫는다. ~function 표현은 we에서 처음 보고 이게 뭐지 했는데.
나는 그냥 'intrinsics'라고 해야 와닫는다. ~function 표현은 we에서 처음 보고 이게 뭐지 했는데.
2.7. higher-order function ¶
higher-order_function =,higher-order_function =,higher-order_function . higher-order_function |=,HOF HOF
{
higher order function (HOF)
higher-order function
{
higher order function (HOF)
higher-order function
https://wiki.haskell.org/Higher_order_function
"higher order function"
higher order function
higher order function
higher order function
} // higher order function (HOF)
"(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
} // higher order function (HOF)
2.9. 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 - 그렇지 않은
{
function : pure if ...
programming_language : purely functional if evaluation of expressions is pure.
https://wiki.haskell.org/Pure
2.10. first-class function ¶
first-class_function x 2023-08-19
= https://en.wikipedia.org/wiki/First-class_function
instead, see:
first_class = https://en.wiktionary.org/wiki/first_class o
first-class_citizen = https://en.wiktionary.org/wiki/first-class_citizen o
first-class_object = https://en.wiktionary.org/wiki/first-class_object o
so mkl:
first_class { CategoryPrefix }
first-class_citizen
first-class_object
First-class_functionfirst_class = https://en.wiktionary.org/wiki/first_class o
first-class_citizen = https://en.wiktionary.org/wiki/first-class_citizen o
first-class_object = https://en.wiktionary.org/wiki/first-class_object o
so mkl:
first_class { CategoryPrefix }
first-class_citizen
first-class_object
= https://en.wikipedia.org/wiki/First-class_function
NOTE 1st/2nd/3rd-class : 클래스,class에도 언급하기 시작 at 2023-08-19
"first-class function"
}
}
2.11. virtual function ¶
virtual_function =,virtual_function . virtual_function
{
virtual function
virtual_function "syn. virtual_method" => virtual_method "A 메소드,method whose behavior can be overridden within an inheriting class by a method with the same signature{ pagename? }."
{
virtual function
virtual_function "syn. virtual_method" => virtual_method "A 메소드,method whose behavior can be overridden within an inheriting class by a method with the same signature{ pagename? }."
3.1. functional programming ¶
functional_programming =,functional_programming . functional_programming =,fp . fp
{
functional programming
https://wiki.haskell.org/Functional_programming
https://wiki.haskell.org/Functional_programming/Old_version
"functional programming"
}
{
functional programming
https://wiki.haskell.org/Functional_programming
https://wiki.haskell.org/Functional_programming/Old_version
"functional programming"
}
3.2. functional dependency ¶
functional_dependency =,functional_dependency . functional_dependency
{
functional dependency
함수의존성 ?
함수적의존성 ?
함수형의존성 ?
{
functional dependency
함수의존성 ?
함수적의존성 ?
함수형의존성 ?
4.3. referential opacity ¶
참조 불투명 ?
참조불투명성 - pagename?
참조불투명성 - pagename?
referentially opaque adj.
referential opacity n.
referential opacity n.
ex.
난수생성함수 (rel. RNG random_number_generator )
난수생성함수 (rel. RNG random_number_generator )
6. PL Syntax ¶
function_definition
function_declaration syntax가 다른데 이걸 나열할 필요가 있을지, 아무튼.
각각
정의,definition
선언,declaration
function_declaration syntax가 다른데 이걸 나열할 필요가 있을지, 아무튼.
각각
정의,definition
선언,declaration