[💬] 코드몽키 벗어나기 11 - Procedures as Arguments

[차별없는차단(pnacrd8pn5la)]

여태까지 요약 

컴퓨터 프로그래밍 언어의 이해를 위해서 언어가 데이터와 프로시져를 어떻게 다루는지 배우는중. 

가장 기본적인 단위인 프리미티브 데이터와 프로시져를 배웠고, 

그것들을 추상화하는 가장 기본적인 단위들을 배웠고, 

그러한 기본 단위들을 조합해서 어떻게 좀 더 복잡한 프로시져를 표현하는지를 배웠음. 

하지만 여기까지는 숫자를 이용한 간단한 알고리즘을 표현하는것에 그쳤음. 

이제부터는 한 레벨 더 위의 추상화를 통해 어떻게 개념을 표현하는지를 배운다. 

------------------------------------------------

여태까지 배운 프로시져들은 다 숫자들을 이용한 계산을 추상화한 것들이었다. 

예를 들어서 세제곱을 보면 아래와 같이 표현한다. 

보면 알 수 있듯이, x는 어떠한 숫자로도 될 수 있다. 그러므로 우리는 세제곱이라는 프로시져 개념을 표현한것이라 볼 수 있음.

하지만 저 세제곱처럼 파라메터로 숫자만 넣을 수 있다면 프로그래밍 언어로 표현할 수 있는것은 한계가 있을것이다. 

어떠한 개념도 표현 할 수 있으려면, 파라메터로 숫자 뿐만이 아니라 "프로시져" 자체를 넘길 수 있어야 한다. 

프로시져를 다루는 프로시져를 "higher order procedure" (한국어로는 고차... 뭐시기라고 부르는듯. 나는 고차 프로시져라고 부르것다)라고 부른다. 

이 섹션에서는 이 고차 프로시져가 어떻게 강력한 추상화로 작용하는지 배운다. 

Arguments(인수) 로서의 프로시져. 

고차 프로시져에서 프로시져를 다루는 한 방법으로 인수(Arguments)로 프로시져를 넘기는 방법이 있다. 

패턴이 똑같은데 내부 로직의 일부분만 치환해서 쓰고 싶을 때 유용하다. 

예를 들어 설명하면, 아래 두개의 수식은 패턴이 동일하다는것을 알 수 있다. 

1. a 와 b 사이에 있는 모든 정수들의 합. 

2. a 와 b 사이에 있는 모든 정수들의 세제곱의 합. 

여기서 다른것은 정수를 그냥 더하느냐, 아니면 세제곱해서 더하는냐 그 차이밖에 없다. 

두개를 코드로 나타내면 아래와 같다. 

1. a 와 b 사이에 있는 모든 정수들의 합 

2. a 와 b 사이에 있는 모든 정수들의 세제곱의 합. 

이 두개의 수식에서 공통된 패턴을 그림으로 나타내면

이걸 코드로 써보면 아래와 같다. 

이 "패턴"을 사용해서 위의 1 과 2를 나타내보면 

1. a 와 b 사이에 있는 모든 정수들의 합 

여기서 inc 는 (define (inc x) (x+1))

2. a 와 b 사이에 있는 모든 정수들의 세제곱의 합. 

여기서 cube 는 (define (cube x) (* x x x) )

오호... 

신박하네요 

이건 처음보는 개념입니다. 함수형 언어에서 많이 보이는 개념이라는데 여튼 이런식으로 쓰는 방법이 있다는건 매우 공부가 되는군요 

여튼 오늘은 여기까지. 

[이 댓글은 게시물 작성자가 삭제하였습니다.]

이 댓글은 게시물 작성자가 삭제하였습니다.

[익명(182.211)]

코드몽키 벗어나려면 수학 좀 앵간치 깊게 파야되겠더라

[고닷(m4odn36nekku)]

너무 어려워요