— JavaScript, 오늘의 함수, 함수형 프로그래밍 — 2 min read
오늘 발견한 재미있는 함수를 소개합니다
오늘은 명절을 맞아(?) lazys 함수 가족을 소개합니다. lazys라고 이름 붙인걸 보고 눈치채신 분들도 계실 것 같습니다. 바로 '지연 평가(Lazy Evaluation)' 기법을 위한 함수들입니다. 느긋한 계산법이라고 불리기도 하는 이 기법을 위키피디아에서는 계산의 결과값이 필요할 때까지 계산을 늦추는 기법이라고 설명합니다. 또 이러한 기법을 사용하면 필요없는 계산을 하지 않으므로 실행을 더 빠르게할 수 있다고 설명하는군요. 어떤 상황인지 직접 살펴보겠습니다.
(예제는 함수형 JS 스터디 시즌2의 6주차 미션을 토대로 합니다. partial.js를 라이브러리로 사용합니다.)
1var users = [2 { name: 'ID', age: 32, city: 'seoul', blood: 'A' },3 { name: 'BJ', age: 31, city: 'seoul', blood: 'O' },4 { name: 'JM', age: 32, city: 'busan', blood: 'O' },5 { name: 'PJ', age: 27, city: 'seongnam', blood: 'B' },6 { name: 'HA', age: 27, city: 'seoul', blood: 'O' },7 { name: 'JE', age: 27, city: 'seongnam', blood: 'O' },8 { name: 'JI', age: 32, city: 'incheon', blood: 'A' },9 { name: 'MP', age: 28, city: 'seoul', blood: 'O' },10 { name: 'JY', age: 31, city: 'seoul', blood: 'O' },11 { name: 'TH', age: 27, city: 'busan', blood: 'AB' },12 { name: 'DS', age: 33, city: 'incheon', blood: 'O' },13 { name: 'YJ', age: 24, city: 'busan', blood: 'O' },14 { name: 'MB', age: 37, city: 'incheon', blood: 'B' },15 { name: 'JJ', age: 29, city: 'busan', blood: 'A' },16 { name: 'TU', age: 21, city: 'seoul', blood: 'O' },17 { name: 'UB', age: 23, city: 'seongnam', blood: 'O' },18];위의 users로 부산 외에 거주하면서 혈액형이 O형인 나이가 가장 많은 세 사람의 이름을 찾아내야 하는 상황입니다.
1_.go(users,2 _.sort_by(user => -user.age), // 나이가 많은 순서대로 정렬3 _.reject(user => user.city === 'busan'), // 부산 외에 거주하면서4 _.filter(user => user.blood === 'O'), // 혈액형이 O형인5 _.map(user => user.name), // 사람의 이름6 _.take(3), // 세개7 console.log); // ["DS", "BJ", "JY"]익숙한 함수들로 원하는 값을 쉽게 얻어냈습니다. 낯설게 느껴지는 함수가 있다면 정렬을 위해 사용한 _.sort_by와 배열 중 앞의 데이터만 뽑아내는 _.take 함수입니다. 사용법은 그리 어렵지 않습니다. _.sort_by의 경우 보조함수의 리턴 값을 기준으로 오름차순으로 정렬합니다. (음수가 리턴 값이니 결과는 내림차순이겠죠.) _.take는 _.first 함수의 또 다른 별칭입니다. 두번째 인자에 숫자를 넣으면 그만큼의 길이를 갖는 배열을 리턴합니다. 예제에선 3명을 원했으니 _.take(3)으로 사용됐습니다. 두 함수 모두 커링을 지원합니다.
위와 같은 결과를 얻기 위해서 _.reject, _.filter, _.map은 위에서 내려주는 배열의 길이만큼 함수를 실행해서 조건을 검사하거나 값을 추출해야합니다. 그래서 총 36회의 함수 실행이 일어나죠.
1var count = 0;2
3_.go(users,4 _.sort_by(user => -user.age),5 _.reject(user => {6 count++;7 return user.city === 'busan'}),8 _.filter(user => {9 count++;10 return user.blood === 'O'}),11 _.map(user => {12 count++;13 return user.name}),14 _.take(3),15 console.log); // ["DS", "BJ", "JY"]16
17console.log(count); // 36위의 예제처럼 얻길 원하는 값이 몇개 되지 않을 때, 나머지에 대해서도 함수가 계산(evaluation)되는 것은 낭비라고 생각하는게 지연 평가의 등장 배경입니다. 필요한 값들만 우선 계산하고 나머지는 계산을 지연시켜서 필요하지 않다면 계산하지 않도록 하는 기법이 지연 평가인 것입니다. 그럼 지연평가가 적용되면 어떻게 결과가 달라질까요?
1var count = 0;2
3_.go(users,4 _.sort_by(user => -user.age),5 lazys.reject(user => {6 count++;7 return user.city === 'busan'}),8 lazys.filter(user => {9 count++;10 return user.blood === 'O'}),11 lazys.map(user => {12 count++;13 return user.name}),14 lazys.take(3),15 console.log); // ["DS", "BJ", "JY"]16
17console.log(count); // 16lazys라는 네임스페이스를 갖는 함수로 기존의 함수를 대체했습니다. (_.sort_by는 지연 평가 함수에 포함되지 않습니다.) 함수 실행 회수를 보니 16회 입니다. 같은 결과를 만들었음에도 20회나 적게 실행된 것입니다. 어떻게 구현되었기에 이와 같은 결과를 만들어내는지 살펴보겠습니다. 먼저 map, filter, reject의 구현입니다.
1let lazys = {}; // 네임스페이스 정의2function make_lazy(...fns) { // [1]3 return list => { // [2]4 if (list.is_lazy) return list.push(fns), list; // [3]5 let lazy = [fns]; // [4]6 lazy.data = list; // [5]7 lazy.is_lazy = true; // [6]8 return lazy; // [7]9 }10}11
12lazys.map = fn => make_lazy(fn, _.map) // [8]13lazys.filter = fn => make_lazy(fn, _.filter)14lazys.reject = fn => make_lazy(fn, _.reject)[1] make_lazy 함수는 take를 제외한 함수에서 사용하는 함수입니다. 이 함수는 take가 최종 계산에 사용할 lazy라는 배열을 만들어냅니다.
[2] make_lazy 함수가 리턴하는 함수는 list를 인자로 받습니다. 이 list는 예제로 따지자면 users에 해당합니다.
[3] 만약에 list가 is_lazy라는 값을 참으로 가지고 있다면, list에 처음에 받아둔 함수(fns)를 그대로 넣고 list를 리턴합니다. 'list가 is_lazy라는 값을 참으로 가지고 있다'는 조건은 이 list가 lazy임을 의미합니다.
[4] 실제 lazy가 새로 생성되는 경우는 users와 같은 데이터가 들어왔을 경우입니다. 이때는 받아둔 함수(fns)를 배열로 감싸서 lazy를 생성합니다. 이 데이터는 이후 take에 의해 계산됩니다.
[5] 진짜로 가공해야할 데이터는 lazy에 붙여둡니다.
[6] lazy가 진짜 lazy임을 남겨둡니다. [3]에서 검사할 수 있었던 이유입니다.
[7] 완성된 lazy를 리턴합니다.
[8] map, filter, reject가 같은 방식으로 만들어집니다. 어떻게 논리를 전개할지 정해둔 보조 함수(fn)를 받고 make_lazy에게 첫번째 인자로 보조 함수, 두번째 인자로 보조 함수가 처리되어야할 논리를 담고 있는 모체가 되는 함수 전달합니다. 이 인자가 [1]에서 fns가 배열의 형태로 사용됩니다.
앞서 만들어진 세 함수는 lazy라는 데이터를 만들어 take에 전달하는 역할을 합니다. 함수를 평가(계산)하지 않습니다. 실제 평가는 결과값의 양을 알고 있는 take 함수의 몫입니다.
1lazys.take = limit => { // [10]2 return lazy => { // [11]3 let i = -1, ll = lazy.length, dl = lazy.data.length, res = [];4 while (++i < dl) { // [12]5 let j = 0,6 v = lazy.data[i], // [13-1]7 rev = lazy[j][1]([v], lazy[j][0])[0]; // [13-2]8
9 while (rev && ++j < ll) rev = lazy[j][1]([v], lazy[j][0])[0]; // [14]10 if (rev) {11 res.push(rev); // [15]12 if (res.length === limit) return res; // [16]13 }14 }15 }16}[10] limit은 결과값의 양을 의미합니다. lazy.take(3)으로 호출된 오늘의 예제에서는 세개의 데이터가 채워지면 평가를 종료합니다.
[11] 앞선 함수들이 만들어낸 lazy를 인자로 받습니다.
[12] lazt.data에 붙어온 데이터의 길이만큼 반복합니다.
[13-1] v는 lazt.data에서 꺼낸 하나의 값입니다. users 데이터의 경우로 보자면 i가 0일때, v는 { name: 'ID', age: 32, city: 'seoul', blood: 'A' }와 같습니다.
[13-2] rev는 [3]과 [4]에서 lazy로 추가된 함수들에 의해 평가된 결과값입니다. users 데이터의 경우로 보자면 i가 0일때, _.reject([v], user => user.city === 'busan')에 의해 평가되고 첫번째 인자를 꺼낸 결과인 rev는 v와 같은 값을 가진 상태가 됩니다.
[14] rev의 결과가 존재하고 lazy의 길이보다 적을 때까지 lazy의 함수들을 꺼내 평가합니다. rev로 반복의 여부를 검사함으로 불필요한 평가를 하지 않을 수 있습니다.
[15] 반복문 이후에도 rev가 값으로 존재한다면(undefined가 아니라면) 결과값 res에 넣습니다.
[16] res의 길이가 원하는만큼 채워지면 결과를 리턴합니다.