당신의 프로그래밍 언어가 이것을 할 수 있습니까? _자바스크립트 기술

어느 날, 코드를 탐색하다가 거의 동일한 두 개의 큰 코드 조각이 있다는 것을 발견했습니다. 사실 하나는 스파게티에 관한 것이고 다른 하나는 초콜릿 무스에 관한 것이라는 점을 제외하고는 완전히 동일합니다.

// 간단한 예:

Alert("파스타를 먹고 싶어요!")
Alert("초콜릿 무스를 먹고 싶어요!"); , 이 예제는 우연히 JavaScript로 작성되었지만 JavaScript를 이해하지 못하더라도 이것이 무엇을 하는지 이해할 수 있을 것입니다.

코드를 복사하는 것은 좋지 않습니다. 따라서

function SwedishChef(food){
Alert("I want to eat" food "!")
}
SwedishChef("pasta")
SwedishChef("Chocolate Mousse");
좋아, 이건 아주 작은 예일 뿐이고, 좀 더 실용적인 예를 생각해 볼 수 있을 것 같아요. 이 코드에는 많은 장점이 있습니다. 유지 관리 가능성, 가독성, 추상화 = 좋습니다!

이제 하나는 BoomBoom이라는 함수를 반복적으로 호출하고 다른 하나는 PutInPot이라는 함수를 반복적으로 호출한다는 점을 제외하면 거의 동일한 코드 조각이 두 개 더 있다는 것을 알 수 있습니다. 그 외에 두 코드는 거의 동일합니다.

Alert("Get the lobster")
PutInPot("lobster")
PutInPot("water"); > Alert("Get the Chicken");
BoomBoom("Chicken");
BoomBoom("Coconut Sauce")
이제 하나의 함수를 다음과 같이 사용할 수 있는 방법을 찾아야 합니다. 다른 매개변수의 기능. 이는 프레임워크 코드를 함수로 작성하는 것이 더 쉽기 때문에 중요한 기능입니다(emu 참고: 템플릿 메서드 패턴을 기억하시나요?).

function Cook( i1, i2, f ){
Alert("get" i1)
f(i1)
f(i2); Cook( "Lobster", "Water", PutInPot );
Cook( "Chicken", "Coconut Sauce", BoomBoom )
보세요, 실제로 함수를 호출 매개변수로 전달했습니다!

당신의 프로그래밍 언어가 그것을 할 수 있나요?

잠깐만요... PutInPot 및 BoomBoom과 같은 함수의 특정 구현 코드가 이미 있고 다른 곳에서 재사용할 필요가 없다면 인라인 구문을 사용하여 함수 호출에 이를 작성하는 것이 더 예쁘지 않습니까? 이 두 함수를 명시적으로 선언하는 것보다?

요리( "랍스터",
"물",
function(x) { Alert("냄비 " x); } )
요리( "닭",
"코코넛 소스",
function(x) { Alert("boom " x) } ); 네, 정말 편리해요! 저는 갑자기 함수를 만들었고, 이름을 붙일 생각도 하지 않고, 그냥 귀에 대고 함수에 넣었다는 점을 참고하세요.
익명 함수를 매개변수로 생각하면 아마도 배열의 모든 요소에 대해 동일한 작업을 수행하는 코드를 생각할 것입니다.

var a = [1,2,3];
for (i=0; i a[i] = a[i] * 2;
}
for (i=0; i Alert(a[i])
}
모든 항목에 대해 동일한 작업을 수행해야 하는 경우가 많습니다. 배열의 요소에 도움이 되도록 다음과 같은 함수를 작성할 수 있습니다.

function map(fn, a){
for (i = 0; i a [i] = fn(a[i]);
}
}
이제 위 내용을 다음과 같이 변경할 수 있습니다.

map( function(x){return x* 2 ;}, a );
map( Alert, a );
또 다른 일반적인 작업은 일반적인 방법으로 배열의 모든 요소를 ​​합산하는 것입니다.

function sum(a){
var s = 0;
for (i = 0; i s = a[i]
return s; > 함수 조인(a){
var s = "";
for (i = 0; i s = a[i]
return s; 🎜> }
경고(sum([1,2,3]))
경고(join(["a","b","c"]))
sum 이는 Join과 매우 유사해 보이며 일부 알고리즘에 따라 배열의 모든 요소를 ​​요약하는 일반 함수로 추상화할 수 있습니다.

function Reduce(fn, a, init){
var s = init;
for (i = 0; i s = fn( s, a[i] )
return s;
function sum(a){
return Reduce( function(a, b){ return a b; }, a, 0) }

function Join(a){
return Reduce( function(a, b){ return a b; }, a, "" );
}
많은 초기 프로그래밍 언어에서는 이를 수행할 수 없었습니다. 일부 언어에서는 이를 허용하지만 어렵게 만듭니다(예: C에는 함수 포인터가 있지만 다른 곳에서 함수를 선언하고 정의해야 합니다). 객체 지향 언어는 또한 함수로 무엇을 할 수 있는지 보장하지 않습니다(함수를 객체로 취급합니까?).

함수를 객체 클래스로 처리하려는 경우 Java에서는 연산자 객체라고 하는 단일 메소드를 사용하여 객체를 생성해야 합니다. 많은 객체 지향 언어에서는 각 클래스에 대한 완전한 파일을 생성해야 하며, 이와 같은 개발은 정말 빠릅니다. 프로그래밍 언어에서 메소드를 래핑하기 위해 연산자 객체를 사용해야 하는 경우(메서드 자체를 객체로 처리하지 않고) 최신(동적) 프로그래밍 언어의 모든 이점을 얻을 수 없습니다. 한번 시도해보고 반품하고 돈을 돌려받을 수 있는지 확인해 보는 것은 어떨까요?

아무것도 하지 않고 배열을 통해 각 요소에 대해 뭔가를 하는 함수를 작성하지 않아도 된다면 어떤 이점이 있나요?

지도 기능을 다시 살펴보겠습니다. 배열의 각 요소에 대해 작업을 수행하려는 경우 어떤 요소가 먼저 수행되는지는 신경 쓰지 않을 것입니다. 첫 번째 요소에서 실행을 시작하든 마지막 요소에서 실행을 시작하든 결과는 동일합니다. 그렇죠? 2개의 CPU가 있으면 각각 요소의 절반에서 작동하도록 코드를 작성할 수 있으므로 맵 속도가 두 배 빨라집니다.

또는 상상력을 발휘하십시오. 전 세계 여러 데이터 센터에 수천만 대의 서버가 분산되어 있다고 상상해 보십시오. 이 배열이 전체 인터넷의 내용을 기록한다고 상상해 보세요. 또한 이제 수천 대의 서버에서 동시에 맵을 실행할 수 있으므로 각 서버가 동일한 문제의 작은 부분을 해결할 수 있습니다.

그래서 이 예에서 인터넷 전체를 검색하는 매우 빠른 코드를 작성하는 것은 간단한 문자열 검색기(연산자)를 매개변수로 지도 함수를 호출하는 것만큼 간단합니다.


맵/리듀스 패턴을 모든 사람에게 유용하고 즉시 사용할 수 있는 기술로 바꾸고 싶다면 정말 흥미로운 점을 발견하셨기를 바랍니다. Map/Reduce가 거대한 병렬 컴퓨터 배열에서 실행될 수 있도록 코드의 가장 중요한 부분을 작성하는 천재는 단일 루프에서 항상 잘 작동했던 나머지 이전 코드가 여전히 올바른 상태로 유지될 수 있도록 합니다. 차이점은 원래 단일 시스템 실행보다 n배 빠르다는 것입니다. 이는 그것들 모두가 갑자기 큰 문제를 해결하는 데 사용할 수 있는 코드로 변한다는 것을 의미합니다.

다시 말씀드리지만, "루프" 개념을 추상화하면 루프 반복 속도를 하드웨어 컴퓨팅 성능으로 확장하는 등 원하는 방식으로 "루프" 프로세스를 구현할 수 있습니다. 동시성장.
함수형 프로그래밍을 이해하지 않고서는 Google을 엄청나게 확장 가능하게 만드는 알고리즘인 MapReduce를 만들 수 없습니다. Map과 Reduce라는 용어는 Lisp와 함수형 프로그래밍에서 유래한 것으로 돌이켜보면 분명합니다. 순전히 기능적인 프로그램에는 부작용이 없으므로 쉽게 병렬화할 수 있는 6.001과 동등한 프로그래밍 클래스입니다. Google이 MapReduce를 개발했지만 Microsoft는 그렇지 않았다는 사실은 Microsoft가 여전히 기본 검색 기능을 얻기 위해 노력하고 있는 이유를 말해줍니다. Google은 다음 문제인 Skynet^H^H^H^H^H^H를 구축하는 세계 최대의 대규모 병렬 슈퍼컴퓨터로 나아갔습니다. 저는 Microsoft가 그 분야에서 얼마나 뒤처져 있는지 완전히 이해하지 못하고 있다고 생각합니다.

함수형 프로그래밍을 이해하지 못하면 Google의 컴퓨팅 성능을 확장성 있게 만드는 알고리즘인 MapReduce를 개발할 수 없습니다. Map과 Reduce라는 용어는 Lisp 언어와 함수형 프로그래밍에서 파생되었습니다... (이것은 다른 기사의 내용이며, emu는 그 안에 있는 다양한 용어의 내용을 완전히 이해하지 못하므로 번역하지 않겠습니다.)

함수를 기본 유형으로 취급하는 (동적) 프로그래밍 언어를 사용하면 프로그래밍 과정에서 더 나은 추상화를 수행할 수 있으며, 이는 코드를 더 간결하고, 더 기능적이며, 더 재사용 가능하고, 더 효율적으로 만드는 것을 의미한다는 점을 이제 이해하시기 바랍니다. 확장 가능. 많은 Google 애플리케이션은 Map/Reduce 모델을 사용하므로 누군가가 이를 최적화하거나 결함을 수정하면 모두 이점을 누릴 수 있습니다.

좀 더 장황하게 설명하겠습니다. 가장 생산적인 프로그래밍 언어는 다양한 수준에서 추상화할 수 있는 언어라고 생각합니다. 이전 FORTRAN 언어에서는 함수 작성을 허용하지 않았습니다. C에는 함수 포인터가 있지만 매우 추하고, 추하고, 추하고, 추하고, 익명 선언을 허용하지 않으며, 사용할 때 구현할 수 없으며 다른 곳에서 구현해야 합니다. Java를 사용하면 훨씬 더 추악한 연산자 개체를 사용할 수 있습니다. Steve Yegge가 말했듯이 Java는 명사의 왕국입니다(http://steveyegge.blogspot.com/2006/03/execution-in-kingdom-of-nouns.html).

작성자 주: 여기에 FORTRAN이 언급되어 있는데, 제가 마지막으로 FORTRAN을 사용한 것은 27년 전입니다. FORTRAN에는 기능이 있는데 제가 코딩을 하면서 생각한 것은 아마도 GW-BASIC 언어였을 겁니다. (emu 참고로, basic에는 코드 구조만 재구성하는 소위 서브루틴과 go-sub 문만 있습니다. 매개변수와 호출 스택이 없으므로 실제 함수 호출이 없습니다.)

번역자 주: 원저자 "당신의 프로그래밍 언어가 이것을 할 수 있습니까?"라는 제목은 사실 이 글의 진정한 가치가 아닙니다. 원저자가 언어의 기본 기술을 마스터할 수 있기 때문이 아니라 지도의 데모이기 때문입니다. /모델 축소.