<div id="readability-page-1" class="page"><div><blockquote>
What is the Functional?
<ol>
<li><a href="/2015/08/04/wtf-1-intro/">Introduction</a></li>
<li><a href="/2015/08/04/wtf-2-adt/">Algebraic Data Type</a></li>
<li><a href="/2015/08/04/wtf-3-fam/">Maybe or Not</a></li>
<li><a href="/2015/08/04/wtf-4-parser/">Monadic Molecule Parser</a></li>
</ol>
</blockquote>
Codewars에 분자식(문자열)에서 원자들이 몇 개인지 세는 문제가 있었다. 이미
제출한 답은 다음과 같은 구조였다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 5 6 7 8 9 10 </pre></td><td><pre>const token = (str) =&gt; str.match(regToken); const lexer = (arr) =&gt; arr.reduce((r,t) =&gt; ..., []) const parse = (form) =&gt; { const syms = lexer(token(formula)); let offset = 0; let buffer = traverse(); return evaluate(buffer); function evaluate(array) {...} } </pre></td></tr></tbody></table></figure>
옛날에 컴파일러 수업을 들었던 게 대충 생각나서 그래도 tokenizer로 식을 token
단위로 끊고, lexer로 symbol로 만들고(원래는 scan할 때 한 번에 하는 작업이었던
것으로 기억하지만), parse에서 Parse Tree를 만들어서 evaluator에서
실행(계산)하도록 만들려고 짜다가 구현을 할수록 구조는 복잡해지는데 비해 난이도는
올라가서 그냥 뒷부분은 한군데 섞어버렸다. 배운 걸 써먹기 위해서 이걸 다시
Haskell로 도전해보았다. 일단 문제를 단순화시켜서 괄호 없는 분자식을 구현해보자.
규칙은 다음과 같다.
<ol>
<li>원소기호는 대분자와 소문자, 혹은 대문자로 이루어진다.</li>
<li>개수는 원소기호 뒤에 오는 0자리 이상의 숫자로 없다면 1이 된다.</li>
<li>원소기호와 개수를 합쳐서 동원소분자(homoatomic; 물론 제대로 된 명칭인지는
모름)라고 부른다.</li>
<li>분자식은 동원소분자가 1개 이상 이어진다.</li>
</ol>
BNF라는 명칭만 기억나고 정확한 내용은 기억나지 않지만 비슷하게 옮겨보자면
<ul>
<li>molecules = homoatomic | molecules</li>
<li>homoatomic = atom amount | atom</li>
</ul>
이제 이걸 적용할 수 있는 파서를 만들어보자. 일단 파서의 적절한 타입을
만들어야 하는데, 함수형에서는 어떤 흐름을 기록하는데 자주 쓰이는
<a target="_blank" rel="noopener" href="https://en.wikipedia.org/wiki/Monad_(functional_programming)#State_monads">State</a>라는
패턴이 있다. 모양은 대충 <code>type State s a = s -&gt; (a, s)</code>가 된다. 즉, 현재의 어떤
상태<code>s</code>에서 그 상태에서 원하는 결과 <code>a</code>와 다음 상태<code>s</code>를 동시에 가져오게 된다.
상태는 변이(tramsform)되지만 원하는 값을 얻으면서 변수의 불변성(immutability)도
만족해서, 메모리만 충분하다면 구조에 따라 상태 변이를 기록할 수 있어서 추적하기
쉽다는 장점이 있다. 다시 돌아와서, State처럼 파싱할 문자열을 받아서 어떤 연산을
규칙에 맞는 결과물 <code>T</code>를 가져온 뒤 남은 문자열과 함께 돌려주는 일종의 State같은
타입을 Parser라고 정의해서 사용할 것이다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 </pre></td><td><pre> </pre></td></tr></tbody></table></figure>
먼저 앞에서 구현했던 것처럼 token을 가져오는 Parser를 만들어보자. Haskell의
경우에는 강한 타입에다 패턴 매칭을 지원하는 언어라서 원하는 타입이나 원하는
형태가 아니면 실패했다고 돌려줄 수 있지만, JavaScript는 둘 다 지원되지 않아서
내가 원하는 것이 맞는지 글자를 소모하지 않고 확인할 수 있는 기능과 글자를
소모해서 원하는 것인지 확인하는 기능 두 가지를 통해 tokenizer를 구현할 수 있다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 </pre></td><td><pre> const ahead = p =&gt; (str) =&gt; p(str) ? ['', str] : []; const satisfy = p =&gt; (str) =&gt; p(str) ? [str[0], str.substr(1)] : []; </pre></td></tr></tbody></table></figure>
실패<code>[]</code>의 경우는 같고, 성공할 경우에 <code>ahead</code>는 아무것도 매칭하지 않은 채
원래의 문자열<code>str</code>을 돌려주고, <code>satisfy</code>의 경우 매칭된 글자와 나머지 문자열을
돌려준다. 원래는 튜플(Tuple)로 구현하는 게 좋지만, JavaScript에 그런 게
있을 리가.
이제 다음 글자가 대문자라는 파서를 만들려면 다음과 같이 만들면 된다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 </pre></td><td><pre>const upper = satisfy(ch =&gt; 'A' &lt;= ch[0] &amp;&amp; ch[0] &lt;= 'Z'); console.log( upper("H") ); </pre></td></tr></tbody></table></figure>
하지만 타입 확인도 패턴 매칭도 존재하지 않아서 적절한 입력인지 확인할 수 있는
규칙과 그것을 합성할 수 있는 기능이 필요하다. 물론 합성 기능은 다음 글자가
소문자라는 파서를 만들었을 때 그 파서와 합성하는 데 사용할 수도 있다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 5 6 7 8 </pre></td><td><pre> const and = (pa, pb) =&gt; (str) =&gt; { const ra = pa(str); if(ra.length === 0) return []; const rb = pb(ra[1]); if(rb.length === 0) return []; return [ra[0] + rb[0], rb[1]]; }; </pre></td></tr></tbody></table></figure>
이제 첫 번째 파서가 성공할 경우 <code>[match1, rest1]</code>를 받아서 <code>rest1</code>을 다음 파서에
넘겨서 <code>[match2, rest2]</code>를 가져온 뒤에 <code>[match1 + match2, rest2]</code>라는 결과를
만들어주는 파서를 생성할 수 있게 되었다. 물론 둘 중 하나라도 실패하면 실패<code>[]</code>가
리턴된다. 이걸 사용해서 소문자 확인과 결합해보자.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 </pre></td><td><pre>const lower = satisfy(ch =&gt; 'a' &lt;= ch[0] &amp;&amp; ch[0] &lt;= 'z'); console.log(and(upper, lower)("Mg")); </pre></td></tr></tbody></table></figure>
그리고 앞서 만들어놓은 <code>ahead</code>와 더불어 원하는 조건인지 확인을 합성할 수도 있다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 5 </pre></td><td><pre>const chr = ahead(str =&gt; str.length &gt; 0); const upper = and(chr, satisfy(ch =&gt; 'A' &lt;= ch[0] &amp;&amp; ch[0] &lt;= 'Z')); const lower = and(chr, satisfy(ch =&gt; 'a' &lt;= ch[0] &amp;&amp; ch[0] &lt;= 'z')); const digit = and(chr, satisfy(ch =&gt; '0' &lt;= ch[0] &amp;&amp; ch[0] &lt;= '9')); </pre></td></tr></tbody></table></figure>
다음 글자가 존재하는지, 존재할 때 원하는 범위의 글자가 맞는지를 한 번에 확인할
수 있는 파서들이 만들어졌다. 이제 원소기호를 파싱할 때 대문자와 소문자가
연속으로 올 때도 있지만, 대문자만 존재할 수 있으니 <code>or</code>를 만들어보자.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 5 6 </pre></td><td><pre> const or = (pa, pb) =&gt; (str) =&gt; { const r = pa(str); if(r.length &gt; 0) return r; else return pb(str); }; </pre></td></tr></tbody></table></figure>
<code>and</code>처럼 파서 두 개를 받아서 새로운 파서를 만들어주는데, 차이는 첫 번째 파서가
실패하면 바로 실패했다는 결과를 넘겨주고 뒤의 규칙은 확인하지 않으며, 두 번째
파서가 실패할 경우에는 그 자체가 실패의 결괏값이므로 그냥 넘겨주면 된다. 이걸로
원소기호를 가져와 보자.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 3 4 </pre></td><td><pre>const atom = or(and(upper, lower), upper); console.log(atom("Mg")); console.log(atom("H")); </pre></td></tr></tbody></table></figure>
이제 둘 다 만족하게 되었다. 그럼 다음은 숫자를 0개 이상 받을 때인데, 재귀적인
규칙이라 앞에서 구현한 것들보다 약간 복잡해진다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 </pre></td><td><pre>const amount = or(and(digit, amount), digit); </pre></td></tr></tbody></table></figure>
ES6에서 생긴 상수/변수인 <code>const</code>와 <code>let</code>은 호이스팅(hoisting)되지 않아서 이렇게
만들면 작동하지 않는다. 그래서 함수가 실행된 뒤에 <code>amount</code>를 읽을 수 있도록
소스가 약간 길어지지만 감수하면서 만들자면 다음과 같다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 </pre></td><td><pre>const amount = (str) =&gt; or(and(digit, amount), digit)(str); </pre></td></tr></tbody></table></figure>
하지만 0개 이상을 읽는 경우가 이번뿐이 아니므로 이걸 좀 다듬어보자.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 </pre></td><td><pre>const many = (p) =&gt; (str) =&gt; or(and(p, many(p)), p)(str); const amount = many(digit); </pre></td></tr></tbody></table></figure>
이제 <code>many</code>를 사용하면 나머지를 완성할 수 있다.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 </pre></td><td><pre>const homo = or(and(atom, amount), atom); const mole = many(homo); </pre></td></tr></tbody></table></figure>
원소기호와 개수가 나오는 경우 혹은 원소기호만 있는 경우가 0번 이상 반복되는 것을
분자식이라고 한다. 아예 받지 않거나 실패하는 경우에는 아무것도 출력하지 않도록
결과를 다듬어보자.
<figure><figcaption>JavaScript</figcaption><table><tbody><tr><td><pre>1 2 </pre></td><td><pre>const parse = (p) =&gt; (str) =&gt; or(p, (str) =&gt; ['', str])(str)[0]; console.log(parse(mole)("H2O")); </pre></td></tr></tbody></table></figure>
이제 <code>satisfy(ch=&gt;ch=='(')</code> 같은 식으로 열고 닫는 괄호를 3종류로 나누어서 규칙을
만들고 <code>and</code>와 <code>or</code>로 잘 조합하면 원래 문제의 답을 얻을 수 있을 것이다. 맨 위에
적어놓은 것보다 훨씬 깔끔한 구조로 함수들을 연결해서 답을 만들어냈다. 다만 현재
JavaScript 엔진들은 스코프를 생성하는 비용이 비싸서 함수 호출이 많아질수록 꽤
느려질 수 있다. 다만 불변성 구조가 유행하고 있고 엔진들도 최적화가 많이 진행되고
있으므로 trade-off를 통해 성능은 비슷하지만 구조는 깔끔하게 만들 수 있지 않을까
기대한다.
예전에 Rx, LINQ 등을 만든 에릭 마이어(Erik Meijer)가 edX에서 함수형 프로그래밍
입문을 강의한다길래 반가운 마음에 들어봤는데, 이상한 아저씨가 이상한 배경에
하이톤으로 함수형에 대해 역사부터 열심히 설명하길래 거기까지만 듣고 포기했던
적이 있다. 이번에 읽은 책이 Haskell 자체보다는 함수형 개념에 관해 설명한 책이라
Haskell로 문제를 풀어보면서 모르는 게 있어서 리뷰하려고 다시 들어봤더니 여전히
그 배경은 적응이 안 되지만 그래도 친절하고 좋은 강의였다(참고로 아래의 Contents
링크에 들어가면 화질별 강의와 슬라이드, 자막이 있다). 10월 15일에 다음 강의가
열리는데, 함수형이나 Haskell 입문에 관심 있는 분들께는 시각적인 어려움을
참작하고라도 매우 도움이 되는 강의니 추천한다.
ps, 구직중
<hr>
Reference
<ul>
<li>
<a target="_blank" rel="noopener" href="https://www.cs.nott.ac.uk/~gmh/monparsing.pdf">Monadic Parser Combinators - Graham Hutton, Erik Meijer</a>
</li>
<li>
Codewars
<ul>
<li><a target="_blank" rel="noopener" href="http://www.codewars.com/kata/molecule-to-atoms">Molecule to atoms</a></li>
</ul>
</li>
<li>
Hackage: Official Haskell Package archive
<ul>
<li><a target="_blank" rel="noopener" href="https://hackage.haskell.org/package/base-4.8.1.0/docs/Text-ParserCombinators-ReadP.html">Text.ParserCombinators.ReadP</a></li>
</ul>
</li>
<li>
Haskell/Wikibooks
<ul>
<li><a target="_blank" rel="noopener" href="https://en.wikibooks.org/wiki/Haskell/ParseExps">Haskell/ParseExps</a></li>
</ul>
</li>
<li>
FP101x
<ul>
<li><a target="_blank" rel="noopener" href="https://www.edx.org/course/introduction-functional-programming-delftx-fp101x-0">edX course 10/15~</a></li>
<li><a target="_blank" rel="noopener" href="https://github.com/fptudelft/FP101x-Content">Contents</a></li>
</ul>
</li>
</ul>
</div></div>

devthewild

Seoh Char

What is the Functional?
Introduction
Algebraic Data Type
Maybe or Not
Monadic Molecule Parser
Codewars에 분자식(문자열)에서 원자들이 몇 개인지 세는 문제가 있었다. 이미제출한 답은 다음과 같은 구조였다.
옛날에 컴파일러 수업을 들었던 게 대충 생각나서 그래도 tokenizer로 식을 token단위로 끊고, lexer로 symbol로 만들고(원래는 scan할 때 한 번에 하는 작업이었던것으로 기억하지만), parse에서 Parse Tree를 만들어서 evaluator에서실행(계산)하도록 만들려고 짜다가 구현을 할수록 구조는 복잡해지는데 비해 난이도는올라가서 그냥 뒷부분은 한군데 섞어버렸다. 배운 걸 써먹기 위해서 이걸 다시Haskell로 도전해보았다. 일단 문제를 단순화시켜서 괄호 없는 분자식을 구현해보자.규칙은 다음과 같다.
원소기호는 대분자와 소문자, 혹은 대문자로 이루어진다.
개수는 원소기호 뒤에 오는 0자리 이상의 숫자로 없다면 1이 된다.
원소기호와 개수를 합쳐서 동원소분자(homoatomic; 물론 제대로 된 명칭인지는모름)라고 부른다.
분자식은 동원소분자가 1개 이상 이어진다.
BNF라는 명칭만 기억나고 정확한 내용은 기억나지 않지만 비슷하게 옮겨보자면
molecules  = homoatomic  | molecules
homoatomic = atom amount | atom
이제 이걸 적용할 수 있는 파서를 만들어보자. 일단 파서의 적절한 타입을만들어야 하는데, 함수형에서는 어떤 흐름을 기록하는데 자주 쓰이는State라는패턴이 있다. 모양은 대충 type State s a = s -> (a, s)가 된다. 즉, 현재의 어떤상태s에서 그 상태에서 원하는 결과 a와 다음 상태s를 동시에 가져오게 된다.상태는 변이(tramsform)되지만 원하는 값을 얻으면서 변수의 불변성(immutability)도만족해서, 메모리만 충분하다면 구조에 따라 상태 변이를 기록할 수 있어서 추적하기쉽다는 장점이 있다. 다시 돌아와서, State처럼 파싱할 문자열을 받아서 어떤 연산을규칙에 맞는 결과물 T를 가져온 뒤 남은 문자열과 함께 돌려주는 일종의 State같은타입을 Parser라고 정의해서 사용할 것이다.
먼저 앞에서 구현했던 것처럼 token을 가져오는 Parser를 만들어보자. Haskell의경우에는 강한 타입에다 패턴 매칭을 지원하는 언어라서 원하는 타입이나 원하는형태가 아니면 실패했다고 돌려줄 수 있지만, JavaScript는 둘 다 지원되지 않아서내가 원하는 것이 맞는지 글자를 소모하지 않고 확인할 수 있는 기능과 글자를소모해서 원하는 것인지 확인하는 기능 두 가지를 통해 tokenizer를 구현할 수 있다.
실패[]의 경우는 같고, 성공할 경우에 ahead는 아무것도 매칭하지 않은 채원래의 문자열str을 돌려주고, satisfy의 경우 매칭된 글자와 나머지 문자열을돌려준다. 원래는 튜플(Tuple)로 구현하는 게 좋지만, JavaScript에 그런 게있을 리가.
이제 다음 글자가 대문자라는 파서를 만들려면 다음과 같이 만들면 된다.
하지만 타입 확인도 패턴 매칭도 존재하지 않아서 적절한 입력인지 확인할 수 있는규칙과 그것을 합성할 수 있는 기능이 필요하다. 물론 합성 기능은 다음 글자가소문자라는 파서를 만들었을 때 그 파서와 합성하는 데 사용할 수도 있다.
이제 첫 번째 파서가 성공할 경우 [match1, rest1]를 받아서 rest1을 다음 파서에넘겨서 [match2, rest2]를 가져온 뒤에 [match1 + match2, rest2]라는 결과를만들어주는 파서를 생성할 수 있게 되었다. 물론 둘 중 하나라도 실패하면 실패[]가리턴된다. 이걸 사용해서 소문자 확인과 결합해보자.
그리고 앞서 만들어놓은 ahead와 더불어 원하는 조건인지 확인을 합성할 수도 있다.
다음 글자가 존재하는지, 존재할 때 원하는 범위의 글자가 맞는지를 한 번에 확인할수 있는 파서들이 만들어졌다. 이제 원소기호를 파싱할 때 대문자와 소문자가연속으로 올 때도 있지만, 대문자만 존재할 수 있으니 or를 만들어보자.
and처럼 파서 두 개를 받아서 새로운 파서를 만들어주는데, 차이는 첫 번째 파서가실패하면 바로 실패했다는 결과를 넘겨주고 뒤의 규칙은 확인하지 않으며, 두 번째파서가 실패할 경우에는 그 자체가 실패의 결괏값이므로 그냥 넘겨주면 된다. 이걸로원소기호를 가져와 보자.
이제 둘 다 만족하게 되었다. 그럼 다음은 숫자를 0개 이상 받을 때인데, 재귀적인규칙이라 앞에서 구현한 것들보다 약간 복잡해진다.
ES6에서 생긴 상수/변수인 const와 let은 호이스팅(hoisting)되지 않아서 이렇게만들면 작동하지 않는다. 그래서 함수가 실행된 뒤에 amount를 읽을 수 있도록소스가 약간 길어지지만 감수하면서 만들자면 다음과 같다.
하지만 0개 이상을 읽는 경우가 이번뿐이 아니므로 이걸 좀 다듬어보자.
이제 many를 사용하면 나머지를 완성할 수 있다.
원소기호와 개수가 나오는 경우 혹은 원소기호만 있는 경우가 0번 이상 반복되는 것을분자식이라고 한다. 아예 받지 않거나 실패하는 경우에는 아무것도 출력하지 않도록결과를 다듬어보자.
이제 satisfy(ch=>ch=='(') 같은 식으로 열고 닫는 괄호를 3종류로 나누어서 규칙을만들고 and와 or로 잘 조합하면 원래 문제의 답을 얻을 수 있을 것이다. 맨 위에적어놓은 것보다 훨씬 깔끔한 구조로 함수들을 연결해서 답을 만들어냈다. 다만 현재JavaScript 엔진들은 스코프를 생성하는 비용이 비싸서 함수 호출이 많아질수록 꽤느려질 수 있다. 다만 불변성 구조가 유행하고 있고 엔진들도 최적화가 많이 진행되고있으므로 trade-off를 통해 성능은 비슷하지만 구조는 깔끔하게 만들 수 있지 않을까기대한다.
예전에 Rx, LINQ 등을 만든 에릭 마이어(Erik Meijer)가 edX에서 함수형 프로그래밍입문을 강의한다길래 반가운 마음에 들어봤는데, 이상한 아저씨가 이상한 배경에하이톤으로 함수형에 대해 역사부터 열심히 설명하길래 거기까지만 듣고 포기했던적이 있다. 이번에 읽은 책이 Haskell 자체보다는 함수형 개념에 관해 설명한 책이라Haskell로 문제를 풀어보면서 모르는 게 있어서 리뷰하려고 다시 들어봤더니 여전히그 배경은 적응이 안 되지만 그래도 친절하고 좋은 강의였다(참고로 아래의 Contents링크에 들어가면 화질별 강의와 슬라이드, 자막이 있다). 10월 15일에 다음 강의가열리는데, 함수형이나 Haskell 입문에 관심 있는 분들께는 시각적인 어려움을참작하고라도 매우 도움이 되는 강의니 추천한다.
ps, 구직중
Reference
Monadic Parser Combinators - Graham Hutton, Erik Meijer
Codewars
Molecule to atoms
Hackage: Official Haskell Package archive
Text.ParserCombinators.ReadP
Haskell/Wikibooks
Haskell/ParseExps
FP101x
edX course 10/15~
Contents

WTF - 4. 모나드 분자식 파서(Monadic Molecule Parser)

댓글