Parser 의 bind

Programming/Haskell 2015.05.15 18:28

결론부터 이야기하자면, 잘 모르겠다. 

잘 모르겠으나 최대한 이해해 보려고 하는 차원에서 조금씩 뜯어보아 정리했다. 


여기서 bind ( >>= ) 는 시그니쳐를 풀어보면 a 타입의 parser 를 첫번째 인자로, a 타입을 인자로 해서 b 타입의 parser 로 변환하는 함수를 두번째 인자로해서 b 타입의 parser 를 리턴한다. 


정의를 살펴보면, .parse p inp 의 파싱이 성공한 경우 그 결과에 f 를 적용하여 Parser b 타입으로 ( 즉, b 타입을 파싱할 수 있는 함수 ) 변경하고, 이를 out 에 적용한다. ( 즉, out 으로부터 b 타입의 파싱을 시도한다 )


저작자 표시 비영리 변경 금지
신고

'Programming > Haskell' 카테고리의 다른 글

IO Type  (0) 2015.05.20
Parser in Haskell  (0) 2015.05.18
Parser 의 bind  (0) 2015.05.15


티스토리 툴바